C++高级编程六v1.1 暗影行者.pptx

C++高级编程 (六)联航精英训练营C++模板技术问题的引入int max(int a, int b){ return a b ? a : b;}float max(float a, float b){ return a b ? a : b;}char max(char a, char b){ return a b ? a : b;} 当我们需要求不同类型数值的最大值时，我们不得不重载代码几乎一样的不同版本的max函数 那么有没有办法让程序能够自动识别我们输入的类型并复用同样的代码呢？一个求最大值的问题？C++模板技术函数模板 函数模板模板的形参限制模板的实例化 类模板 类模板的优势类模板及成员函数的定义类模板的继承与派生 函数模板函数模板是一个独立于类型的函数，可产生函数特定类型的版本。通过对参数类型进行参数化，获取有相同形式的函数体。它是一个通用函数，它可适应一定范围内的不同类型对象的操作。函数模板将代表着不同类型的一组函数，它们都使用相同的代码，这样可以实现代码重用，避免重复劳动，又可增强程序的安全性。 函数模板函数模板的定义格式：template 模板形参表 类型 函数名(参数表) { //函数体 }模板形参表又称参数化类型名表，多个表项用逗号分隔。每个项称为一个模板参数（模板形参）。格式如下：class 参数名或typename参数名或非类型形参 参数名 // int , double ,char函数模板实例-t1.cpptemplate typename T // template class TT Max(const T a, const T b){ return a b ? a : b;} 括起部分就是模板的形参表，T是一个虚拟类型参数。注意，可以用多个虚拟参数构成模板形参表。不但普通函数可以声明为函数模板，类的成员函数也可以声明为函数模板void main(){ cout “Max(15, 60) = Max(15, 60) endl; cout “Max(‘a, ‘b) = Max(‘a, ‘b) endl; cout “Max(1.2, 16.2) = Max(1.2, 16.2) endl;}模板形参类型形参 类型形参跟在关键字class或typename之后定义，如class T 是名为T的类型形参。 template typename T int compare(const T v1, const T v2);非类型形参 在调用函数时非类型形参将用值代替，值的类型在模板形参表中指定。非类型形参通常为定义模板内部的常量值。 template class T, int rows void sum(T data[],T result) { result = 0; for(int i=0; irows; i++) result+=data[i]; }inline函数模板inline函数模板中，inline说明符要放在模板参数列表之后，返回值之前，不能放在template关键字之前。template typename T inline T fun(const T a, const T b);模板形参限制（一）typedef double T;template typename TT fun(const T a, const T b){ T tmp = a;…… return tmp;}template typename TT cacl(const T a){……}模板形参作用域 模板形参的名字可以在声明为模板形参之后直到模板声明或定义的末尾处使用。模板形参限制（二）template typename TT fun(const T a, const T b){ typedef double T; //Error! T tmp = a;…… return tmp;}template typename T, typename TT cacl(const T a, const T b){……}使用模板形参名字的限制 模板形参的名字在同一模板形参表中只能使用一次，并且不能在模板内部重定义。注意：不能出现如下定义模板形参限制（三）template typename T void fun(const T );template typename T void fun(const T );template typename U void fun(const U );template typename V void fun(const V a){……}模板声明模板可以像其他函数一样只声明而不定义。在同一模板的声明和定义中，模板形参名称可以不同。函数模板实例