一、關鍵點
模板實參：模板參數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
}
?
