前言
在学习c++的过程中,我们常常会使用函数重载,而重载的函数仅仅是类型不同,代码复用率较低,只要有新类型出现时,就要用户自己增加对应的函数
函数重载的代码可维护性较低,一个出错可能所以函数均出错
模板就很好的解决了这些问题
什么是模板?
模版是泛型编程的基础,模板是创建泛型类或函数的蓝图或公式。它并不是函数本身,是编译器产生特定具体类型的模具。
函数模板
函数模板在使用时被参数化,根据实参类型产生函数的特定类型版本
模板格式
template <typename T1,typename T2,......,typename Tn>
template <typename T>
void Func(T& name1,T& name2);
在编译器编译阶段,对于模板函数的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以供调用。比如:当用double类型使用函数模板时,编译器通过对实参类型的推演,将T确定为double类型,然后产生一份专门处理double类型的代码,对于字符类型也是如此。
模板函数的实例化
用不同类型的参数使用函数模板时,称为函数模板的实例化。模板参数实例化分为:隐式实例化和显式实例化。
- 隐式实例化:让编译器根据实参推演模板参数的实际类型
template <typename T>
void Func(T& name1,T& name2)
{}
int main()
{
int a=1,b=2;
Func(a,b);
}
2.显示实例化:函数名后的<>中指定模板参数的实际类型
template <typename T>
void Func(T& name1,T& name2)
{
//
}
int main()
{
int a=1,b=2;
Func<int>(a,b);
}
模板参数的匹配原则
1.一个非模板函数和一个同名的模板函数可以同时存在,而且该函数还可被实例化为这个非模板函数
// 专门处理int的加法函数
int Add(int left, int right)
{
return left + right;
}
// 通用加法函数
template <class T>
T Add(T left, T right)
{
return left + right;
}
2.对于非模板函数和同名函数模板,如果其他条件都相同,在调动时会优先调用非模板函数而不会从该模板产生出一个实例。如果模板可以产生一个具有更好匹配的函数, 那么将选择模板
int main()
{
Add(1,2);//优先使用非模板函数
Add(1.1,2);//优先使用模板函数
}
类模板
类模板定义格式
template <class T1,class T2,......,class Tn>
class 类模板名
{
//类成员定义
}
//Vector不是具体的类,是编译器根据被实例化的类型生成具体类的模具
template <class T1,class T2,......,class T3>
class Vector
{
public:
~Vector()
private:
T* _pData;
}
// 注意:类模板中函数放在类外进行定义时,需要加模板参数列表
template <class T>
Vector<T>::~Vector()
{
if(_pData)
delete[] _pData;
_size = _capacity = 0;
}
类模板的实例化
类模板实例化与函数模板实例化不同,类模板实例化需要在类模板名字后跟<>,然后将实例化的类型放在<>中即可,类模板名字不是真正的类,而实例化的结果才是真正的类
Vector<int> s1;
Vector<double> s2;