函数模板和类模板

函数模板也可以提前声明，不过声明时需要带上模板头，并且模板头和函数定义（声明）是一个不可分割的整体，它们可以换行，但中间不能有分号。

类模板，在类外定义成员函数时不仅要加模板头，在类名的后面还有加上类型参数
例如：

template<typename T1, typename T2>
void Point<T1, T2>::setX(T1 x){
    m_x = x;
}

类模板在实例化时（创建对象时）必须显式地指明数据类型，编译器不能根据给定的数据推演出数据类型

函数模板常重载

函数模板和普通函数一样可以重载
类模板创建对象时需要显示指明实参类型，函数模板则不需要，那么函数模板的实参是如何推断出来的呢？

模板实参推断过程中的类型转换

普通函数调用时的参数转换包括：

• 算术转换 int转float char 转int
• 派生类向基类转换
• const转换
• 数组和数组指针转换
  模板函数只能进行的转换：
• const转换
• 数组或函数指针转换

template<typename T> void func1(T a, T b);
template<typename T> void func2(T *buffer);
template<typename T> void func3(const T &stu);
template<typename T> void func4(T a);
template<typename T> void func5(T &a)

int name[20];
Student stu1("张华", 20, 96.5);  //创建一个Student类型的对象
func1(12.5, 30);  //Error
func2(name);  //name的类型从int[20] 换转换为int *，所以 T 的真实类型为 int
func3(stu1);  //非const转换为const，T 的真实类型为 Student
func4(name);  //name的类型从int[20] 换转换为 int *，所以T的真实类型为int *
func5(name);  //name的类型依然为int[20]，不会转换为 int *，
//所以T的真实类型为 int [20]
;

当函数形参是引用类型时，数组不会转换为指针，以下为例

template<typename T> void func(T &a, T &b);
int str1[20];
int str2[10];
func(str1, str2);//error
由于 str1、str2 的类型分别为 int [20] 和 int [10]，
在函数调用过程中又不会转换为指针，所以编译器不知道应该将 T 实例化为 int [20]
还是 int [10]，导致调用失败。

为函数模板显式地指明实参

和类模板显示指定实参一样，显式指明的模板实参会按照从左到右的顺序与对应的模板参数匹配：第一个实参与第一个模板参数匹配，第二个实参与第二个模板参数匹配，以此类推。只有尾部（最右）的类型参数的实参可以省略，而且前提是它们可以从传递给函数的实参中推断出来。

template<typename T1, typename T2> void func(T1 a){
    T2 b;
}
调用时只有一个参数T1，无法确定T2的类型，因此需要对T2指明实参，
因为T2是第二个参数，所以同时也要对第一个参数T1指明实参

template<typename T1, typename T2> void func(T2 a){
    T1 b;
}
调用时只有一个参数T2，无法确定T1的类型，因此需要对T1指明实参，
因为T2是第二个参数，所以可以只指明第一个实参T1，T2可以自动推断出来
可以省略

显示指明实参可以进行类型转换

template<typename T> void func(T a, T b);
func(10, 23.5);  //Error
不知道把int转为float还是把float转为int 

func<float>(20, 93.7);  //Correct
显示指明转为float