一、泛型编程
二、函数模板
三、类模板
四、非类型模板参数
总结和思维导图
提示：以下是本篇文章正文内容，下面案例可供参考
一、泛型编程
1.1概念引入
我们如何实现一个通用的逆序函数？
voidReverse(int*left,int*right)
{
while(leftright)
{
inttmp=*left;
*left=*right;
*right=tmp;
left++;
right--;
}
}
voidReverse(double*left,double*right)
{
while(leftright)
{
doubletmp=*left;
*left=*right;
*right=tmp;
left++;
right--;
}
}
voidReverse(char*left,char*right)
{
while(leftright)
{
chartmp=*left;
*left=*right;
*right=tmp;
left++;
right--;
}
}
运用我们之前学习过的知识，我们知道使用函数重载虽然可以实现，但是有一下几个不好的地方：
1.重载的函数仅仅是类型不同，代码复用率比较低，只要有新类型出现时，就需要用户自己增
加对应的函数
2.代码的可维护性比较低，一个出错可能所有的重载均出错。
能否告诉编译器一个模子，让编译器根据不同的类型利用该模子来生成代码呢？
泛型编程：编写与类型无关的通用代码，是代码复用的一种手段。模板是泛型编程的基础。
其中，模板包括函数模板和类模板。
二、函数模板
2.1概念
函数模板代表了一个函数家族，该函数模板与类型无关，在使用时被参数化，根据实参类型产生函数的特定类型版本。
2.2函数模板格式
templatetypenameT1,typenameT2,…,typenameTn
返回值类型函数名(参数列表){}
实现一个通用的逆序函数。代码示例：
templateclassT
voidReverse(T*left,T*right)
{
while(leftright)
{
Ttmp=*left;
*left=*right;
*right=tmp;
left++;
right--;
}
}
注意：typename是用来定义模板参数关键字，也可以使用class(切记：不能使用struct代替class)
2.3函数模板的原理
**函数模板是一个蓝图，它本身并不是函数，是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就是将本来应该我们做的重复的事情交给了编译器。
**
在编译器编译阶段，对于模板函数的使用，编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如：当用double类型使用函数模板时，编译器通过对实参类型的推演，将T确定为double类型，然后产生一份专门处理double类型的代码，对于字符类型也是如此。
2.4函数模板的实例化
概念：用不同类型的参数使用函数模板时，称为函数模板的实例化。模板参数实例化分为：隐式实例化和显式实例化。
隐式实例化：让编译器根据实参推演模板参数的实际类型
代码示例：
templateclassT
voidReverse(T*left,T*right)
{
while(leftright)
{
Ttmp=*left;
*left=*right;
*right=tmp;
left++;
right--;
}
}
intmain()
{
inta[]={0};
charb[];
doublec[]={0.0};
for(inti=1;i=10;i++)
{
a[i]=i;
b[i]=i;
c[i]=(double)i;
}
Reverse(a,a+10);//这里就是隐式实例化
Reverse(b,b+10);
Reverse(c,c+10);
return0;
}
模板参数–很多用法和函数参数是很像的
模板参数–传递的是类型
函数参数–传递的对象值
2.显式实例化：在函数名后的中指定模板参数的实际类型
代码示例：
#includeiostream
usingnamespacestd;
templateclassT=char
T*func(intn)
{
returnnewT[n];
}
intmain()
{
//函数模板显示实例化
int*p=funcint(10);//加一个int显式实例化
double*p2=funcdouble(10);
char*p3=func(10);
return0;
}
2.5模板参数的匹配原则
1.一个非模板函数可以和一个同名的函数模板同时存在，而且该函数模板还可以被实例化为这个非模板函数。
2.对于非模板函数和同名函数模板，如果其他条件都相同，在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数，那么将选择模板。
3.模板函数不允许自动类型转换，但普通函数可以进行自动类型转换
函数定义和声明分离的情况
代码示例：
//声明
templatetypenameT
voidSwap(Tleft,Tright);
//定义
templatetypenameT
voidSwap(Tleft,Tright)
{
Ttem=left;
left=right;
right=tem;
}
注意：模板不支持声明和定义放到两个文件中。声明和定义分离在两个文件就会出现链接失败
三、类模板
3.1类模板的定义格式
templateclassT1,classT2,...,classTn
class类模板名
{
//类内成员定义
};
3.2类模板的实例化
概念：类模板实例化与函数模板实例化不同，类模板实例化需要在类模板名字后跟，然后将实例化的类型放在中即可，类模板名字不是真正的类，而实例化的结果才是真正的类。
templateclassT
classvector
{
public:
//初始化列表
vector(size_tcapacity=10);
private:
t*_pdata;//数组
size_t_size;
size_t_capacity;
};
intmain()
{
//Vector类名，Vectorint才是类型
Vectorintv1;
Vectorintv2;
}
四、非类型模板参数
概念：
模板参数分类类型形参与非类型形参。
类型形参即：出现在模板参数列表中，跟在class或者typename之类的参数类型名称。
非类型形参，就是用一个常量作为类(函数)模板的一个参数，在类(函数)模板中可将该参数当成常量来使用。
代码示例：定义一个模板类型的静态数组
templateclassT,size_tN=10
classarray
{
public:
Toperator[](size_tindex){return_array[index];}
constToperator[](size_tindex)const{return_array[index];}
size_tsize()const{return_size;}
boolempty()const{return0==_size;}
private:
T_array[N];
size_t_size;
};
注意：
1.浮点数、类对象以及字符串是不允许作为非类型模板参数的。
2.非类型的模板参数必须在编译期就能确认结果。
————————————————
版权声明：本文为CSDN博主「披星戴月的贾维斯」的原创文章，遵循CC4.0BY-SA版权协议，转载请附上原文出处链接及本声明。
原文链接：