一、關鍵點

模板實參：模板參數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 }

?

轉載于:https://www.cnblogs.com/xzxl/p/7856629.html

總結

以上是生活随笔為你收集整理的模板进阶——模板实参推断的全部內容，希望文章能夠幫你解決所遇到的問題。

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。