一、关键点

模板实参：模板参数T的实例类型，如int、string等

模板实参推断：从函数实参来确定模板实参的过程

模板类型参数与类型转换：const的转换、数组/函数到指针的转换

显式模板实参：当模板参数类型并未出现在函数参数列表时

通过函数指针推断模板实参：函数指针的类型决定了模板实参的类型

 

二、模板类型参数可以运用的类型转换

template 
     
       void func1(T, T);template 
      
        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 
     
      T1 sum(T2, T3);		//T1的类型无法判断auto ans = sum
      
       (2, 3.14);	//T1显式指定为long
      
     

注：显示模板实参按由左至右的顺序与对应的模板参数匹配

注：只有右边的显式模板参数可以省略（如T2、T3，它们可以从函数参数推断出来）

2. 正常类型转换可以应用于显式指定的实参

template 
     
      bool cmp(const T&, const T&); int main(){		long a;	compare(a, 1024);		//错误	compare
      
       (a, 1024);	//a被转换为int	compare
       
        (a, 1024);	//1024被转换为long }