一、关键点
模板实参：模板参数T的实例类型，如int、string等
模板实参推断：从函数实参来确定模板实参的过程
模板类型参数与类型转换：const的转换、数组/函数到指针的转换
显式模板实参：当模板参数类型并未出现在函数参数列表时
通过函数指针推断模板实参：函数指针的类型决定了模板实参的类型
二、模板类型参数可以运用的类型转换
template <typename T> void func1(T, T);
template <typename T> void func2(const T&, const T&); int main()
{ string s1 = "hello";const string s2 = "aloha";func1(s1, s2); //s2的顶层const将被忽略，调用func1(string, string) func2(s1, s2); //将s1转换为const是允许的，调用func2(const string&, const string&) int a[5], b[10];func1(a, b); //调用func1(int*, int*)func2(a, b); //错误：形参是引用，数组不会转换为指针
}
小结：顶层const无论是在形参中还是在实参中，都会被忽略
小结：允许将一个非const对象的引用（或指针）传递给一个const对象的引用或指针
小结：如果函数参数不是引用类型，则可以对数组或函数类型的实参应用正常的指针转换
注：函数参数列表中的正常类型的类型转换不受模板影响
三、函数模板显式实参
1. 编译器无法推断出模板实参的情况：
template <typename T1, typename T2, typename T3>
T1 sum(T2, T3); //T1的类型无法判断auto ans = sum<long>(2, 3.14); //T1显式指定为long
注：显示模板实参按由左至右的顺序与对应的模板参数匹配
注：只有右边的显式模板参数可以省略（如T2、T3，它们可以从函数参数推断出来）
2. 正常类型转换可以应用于显式指定的实参
template <typename T>
bool cmp(const T&, const T&); int main()
{ long a;compare(a, 1024); //错误compare<int>(a, 1024); //a被转换为intcompare<long>(a, 1024); //1024被转换为long
}
