模板是编写与类型无关的通用代码,是泛型编程的基础
1. 泛型编程
2. 函数模板
3. 类模板
1、泛型编程
泛型编程顾名思义:可以通泛的使用,比如我们要使用一个Add加法函数,
void Add(int& a, int& b)
{
return a + b;
}
void Add(double& a, double& b)
{
return a + b;
}
void Add(float& a, float& b)
{
return a + b;
}
...
那我们可以通过函数重载来实现,但是函数重载有不好的地方,那就是 :
1、重载的函数只是参数类型不同,代码的复用率较低,而且只要出现新类型,就要增加相应的函数。
2、代码的可维护性比较低,一个出错可能导致所有重载都出错。
所以c++中提供了模板,我们通过给模板中填充不同的“材料”,来生成我们所需要的不同的代码。
2、函数模板
函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参产生函数的指定函数版本。(也就是说,我们在使用的时候,模板会根据我们填充的类型来生成相应的代码)
函数模板格式:
template<typename T1, typename T2,…typename Tn>
返回值类型 函数名(参数列表)
template<class T>
T Add(const T& left, const T& right)
{
return left + right;
}
这里的 typename 是用来定义模板参数关键字,也可以用 class 来替换,但是不能用 struct 来替换(C++保留struct是为了兼容C,但是C没有模板,所以没有必要再支持struct声明模板形参)
要注意:模板只是一个蓝图,它本身不是函数,是编译器使用这种方式产生特定类型函数的模板。
在编译器编译阶段,对于函数模板的使用,编译器根据传入实参的类型来推演生成对应类型的函数以供调用。比如:当传入函数模板的实参的类型是double,那么编译器通过对实参类型的推演,将 T 确定为 double 类型,然后产生一份专门处理 double 类型的代码,对字符类型也是如此 (可以查看汇编语言调用过程,调用不同类型是不同函数)
像上图这样调用模板叫做隐式实例化
但是当这样调用Add(a1, d1)时,编译器不知道如何推演,不知道推演成int 还是double,所以就会报错,这种情况有两种处理方式:
1、用户自己强制类型转换
cout << Add(a1, (int)d1) << endl; //类型强转为int
cout << Add((double)a1, d1) << endl;//类型强转为double
2、显示实例化
cout << Add<double>(a1, d1) << endl; //显式实例化
还有这种情况需要注意:
//两个加法函数不构成重载
T Add(const T& left, const T& right)
{
return left + right;
}
int Add(int left, int right)
{
return left + right;
}
这种,只能在模板推演后可能构成重载,如果用 int 的参数调用加法函数,优先调用 int 型的,而非模板,因为模板还要推演,效率变低。但是显式实例化调用的是模板。
Add(a1, d1); //调用int型Add
Add<int>(a1, d1); //调用模板
3、类模板
类模板的定义格式:
template<class T1, class T2, ... ,class Tn>
class 类模板名
{
类成员定义
};
在STL中的容器都是模板,我们在实例化的时候是这样写的:
Vector<int> s;
list<double> l;
queue<float> q;
类模板实例化与函数模板实例化不同,类模板实例化需要在类模板名字后面跟<>,然后将实例化的类型放在<>中,类模板名字不是真正的类,而实例化的结果才是真正的类。
注意:在类中初始化是按需实例化,就是说当对象没有调用某一个函数时,编译器不会生成这个函数的代码,即使这个函数没有定义完全或者定义出错,编译器也不会报错。但是当对象调用的函数出错,编译器就会报错。