模板是泛型编程的基础。所谓泛型编程就是编写与类型无关的逻辑代码,是一种复用的方式。模板分为模板函数和模板类。
如果是交换两个数据,我们会定义对应类型的函数,比如要交换int类型数据,我们会定义int类型swap函数,如果是交换double类型数据,会再定义double类型交换函数。
void Swap(int& a, int &b)
{
int c = a;
a = b;
b = c;
}
void Swap(double& a, double &b)
{
double c = a;
a = b;
b = c;
}
这样重复定义函数,代码重复度十分高,但是模板来说不需要用户自己定义多种类型的函数,只需要定义一个模板就可以。模板分为函数模板和类模板。
函数模板
函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生函数的特定类型版本
函数模板格式
template<typename 形参名1,typename 形参名2,typename形参名3>
返回类型 函数名(参数列表)
{…}
模板参数的定义既可以用typename,也可以用class(但是不能用struct),含义是相同的
template<typename T> //模板参数的定义
void Swap( T& a, T& b)
{
T c = a;
a = b;
b = c; //没有实例化不会报错
}
如果函数模板内部出现错误,编译期间将不会报错,因为是在实例化时才检查模板内容,即当用Sw