【c++初阶】泛型编程的基础——模板

一.函数模板

函数模板顾名思义就是写一个通用类型的模板.可以适用于多种不同类型.比方说，我们经常需写一个交换数据的swap函数.但对于不同类型我们的函数参数不一样，代码一样，挨个写过于麻烦，于是就产生了模板。

void Swap(char& left, char& right)
{
char temp = left;
left = right;
right = temp;
}

void Swap(int& left, int& right)
{
int temp = left;
left = right;
right = temp;
}

T是一个虚拟类型，它可以是任意类型，自定义类型或者内置类型. 对于模板而言，模板在接受到参数的时候会自动推演T的类型.并生成该类型的函数.其实本质上模板利用了c++重载的性质，不同类型参数的函数模板实质上是同时存在的.

template<typename T>//这里写class也可以基本一致
void Swap( T& left, T& right)
{
T temp = left;
left = right;
right = temp;
}

 二.函数模板的实例化

实例化分为隐式实例化和显式实例化。上文当中让编译器自行推导参数类型的方式就是隐式实例化，显式实例化就是在函数名后的<>中指定模板参数的实际类型.相当于告诉编译器你所指定的类型。有的情况下是必须要使用显式实例化的，比如说编译器无法推导出参数类型的时候，比如说swap的参数是两个类型，一个是int一个是double，这种时候编译器会不知道T究竟是什么类型，是int还是double

三.类模板

类模板和函数模板的写法基本类似，把模板放在类前面即可，注意一点是，类模板不能隐式实例化，因为编译器推导不出来参数类型。必须显式实例化.