目录
1.前言:
在介绍模板之前,现提出个问题,有函数重载,为什么要引入模板呢?
其实在使用的时候也可以发现,函数重载只要新增一个类型,就需要重新写一个函数,非常的不方便,而且如果一个重载写出现问题,其他的重载函数也可能跟着遭殃,非常的不人性,所以就有了模板,我们给参数让编译器生成一份代码,非常的人性。
2.模板的概念:
函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生函数的特定类型版本。
3.函数模板格式:
template<typename T1, typename T2,......,typename Tn>typename 是用来定义模板类型的关键字,也可以使用class,不可以使用struct代替class
返回值类型 函数名(参数列表){}
template<typename T>
void Swap( T& left, T& right)
{
T temp = left;
left = right;
right = temp;
}
4.模板的原理:
在使用模板的时候,编译器会根据你传的参数,推导出类型,然后实例化出该类型的函数。
5.类模板的实例化
5.1显示实例化
直接在函数模板后加上<
需要的类型>,编译器会直接生成,该类型的参数。
swap<int>()
5.2隐式实例化
直接传参数,让编译器自己推导所需的类型
6. 模板参数的匹配原则
一个非模板函数可以和一个同名的函数模板同时存在,而且该函数模板还可以被实例化为这个非模板函数
int Add(int left, int right)
{
return left + right;
}
// 通用加法函数
template<class T>
T Add(T left, T right)
{
return left + right;
}
void Test()
{
Add(1, 2); // 与非模板函数匹配,编译器不需要特化
Add<int>(1, 2); // 调用编译器特化的Add版本
}
这里 Add(1, 2)会优先调用,自己定义的函数,Add<int>(1, 2)只会调用模板函数。
7.类模板
7.1类模板格式
template < class T1 , class T2 , ..., class Tn >class 类模板名{// 类内成员定义};
7.2类模板的实例化
类模板实例化与函数模板实例化不同,类模板实例化需要在类模板名字后跟<>,然后将实例化的类型放在<> 中即可,类模板名字不是真正的类,而实例化的结果才是真正的类。
// Vector类名,Vector<int>才是类型
Vector<int> s1;
Vector<double> s2;