1、泛型编程
- 编写与类型无关的通用代码,是代码复用的一种手段。模板是泛型编程的基础。
- 模板分为两种:函数模板 与 类模板
2、函数模板
- 函数模板代表了一个函数家族,该函数模板与类型无关,在使用时被参数化,根据实参类型产生函数的特定 类型版本。
- 函数模板格式:
template < typename T1, typename T2 ,..., ftypename Tn>(T为参数类型)
返回值类型 函数名(参数列表){ }
其中,typename 可以用 class 代替 (不能用 struct 代替),但是我们更多用 class
template <class T>
void swap(T& a, T& b)
{
T tmp = a;
a = b;
b = tmp;
}
-
模板函数的原理:模板它本身并不是函数,是编译器用使用方式产生特定具体类型函数的模具。所以其实模板就 是将本来应该我们做的重复的事情交给了编译器,在编译器编译阶段,对于模板函数的使用,编译器需要根据传入的实参类型来推演生成对应类型的函数以供 调用。比如:当用double类型使用函数模板时,编译器通过对实参类型的推演,将 T 确定为double类型,然 后产生一份专门处理double类型的代码,对于字符类型也是如此。
-
函数模板的实例化
用不同类型的参数使用函数模板时,称为函数模板的实例化。模板参数实例化分为:隐式实例化和显式实例化。
①:隐式实例化:让编译器根据实参推演模板参数的实际类型
template <class T>
T Add(T& x, T& y)
{
return x + y;
}
int main()
{
int a = 10, b = 20;
double c = 1.2, d = 1.3;
Add(a, b);//正常运行
Add(c, d);//正常运行
Add(a, c);//无法编译,编译器报错
该语句不能通过编译,因为在编译期间,当编译器看到该实例化时,需要推演其实参类型
通过实参a1将T推演为int,通实参d1将T推演为double类型,但模板参数列表中只有一个T,
编译器无法确定此处到底该将T确定为int 或者 double类型而报错
return 0;
但是如果想要解决这种问题,也是有办法的:
1. 用户自己来强制转化
Add(a,(int)b);
2. 使用显式实例化(下面介绍)
}
②:显式实例化:在函数名后的<>中指定模板参数的实际类型
int main()
{
int a = 10,b = 10;
double c = 1.2;
printf("%d\n", Add<int>(a, c));
//我在 VS2013 下编译时候报错了
return 0;
}
如果类型不匹配,编译器会尝试进行隐式类型转换,如果无法转换成功编译器将会报错。
-
模板函数的匹配原则
1.函数模板可以像普通函数一样被重载。
2.当普通函数和函数模板都符合调用时,会优先选择普通函数调用。
3.可以通过空模板实参列表(<>)的语法限定编译器只通过模板匹配。
4.如果函数模板能产生更好的匹配(当普通函数需要隐式转换),使用函数模板。
5 .模板函数不允许自动类型转换,但普通函数可以进行自动类型转换(隐式转换)。
3、类模板
- 类模板格式
template <class T1,class T2,...,class Tn>
class 类模板名
{
//类成员定义
}
- 使用类模板函数的说明:类模板中的成员函数既可以类模板内定义,也可以类模板外定义。在类模板类部定义成员函数的方法与普通成员函数的定义方法相同。但是在类模板外定义成员函数时,必须要加模板参数列表,举个例子:
template<class T>
class Vector
{
public:
Vector(size_t capacity = 10)
: _pData(new T[capacity])
, _size(0)
, _capacity(capacity)
{}
private:
T* _pData;
size_t _size;
size_t _capacity;
}
// 注意:类模板中函数放在类外进行定义时,需要加模板参数列表
template <class T>
size_t Vector<T>::size()
{
return _size;
}
注意:Vector不是具体的类,是编译器根据被实例化的类型生成具体类的模具
-
类模板的实例化
类模板实例化与函数模板实例化不同,类模板实例化需要在类模板名字后跟<>,然后将实例化的类型放在<> 中即可,类模板名字不是真正的类,而实例化的结果才是真正的类。
// Vector类名,Vector<int>才是类型
Vector<int> s1;
s1.PushBack(1);
s1.PushBack(2);
s1.PushBack(3);
Vector<double> s2;
s2.PushBack(1.0);
s2.PushBack(2.0);
s2.PushBack(3.0);