一、關(guān)鍵點

模板實參：模板參數(shù)T的實例類型，如int、string等

模板實參推斷：從函數(shù)實參來確定模板實參的過程

模板類型參數(shù)與類型轉(zhuǎn)換：const的轉(zhuǎn)換、數(shù)組/函數(shù)到指針的轉(zhuǎn)換

顯式模板實參：當模板參數(shù)類型并未出現(xiàn)在函數(shù)參數(shù)列表時

通過函數(shù)指針推斷模板實參：函數(shù)指針的類型決定了模板實參的類型

?

二、模板類型參數(shù)可以運用的類型轉(zhuǎn)換

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將被忽略，調(diào)用func1(string, string) func2(s1, s2); //將s1轉(zhuǎn)換為const是允許的，調(diào)用func2(const string&, const string&) int a[5], b[10];func1(a, b); //調(diào)用func1(int*, int*)func2(a, b); //錯誤：形參是引用，數(shù)組不會轉(zhuǎn)換為指針 }

小結(jié)：頂層const無論是在形參中還是在實參中，都會被忽略

小結(jié)：允許將一個非const對象的引用（或指針）傳遞給一個const對象的引用或指針

小結(jié)：如果函數(shù)參數(shù)不是引用類型，則可以對數(shù)組或函數(shù)類型的實參應(yīng)用正常的指針轉(zhuǎn)換

注：函數(shù)參數(shù)列表中的正常類型的類型轉(zhuǎn)換不受模板影響

?

三、函數(shù)模板顯式實參

1. 編譯器無法推斷出模板實參的情況：

template <typename T1, typename T2, typename T3> T1 sum(T2, T3); //T1的類型無法判斷auto ans = sum<long>(2, 3.14); //T1顯式指定為long

注：顯示模板實參按由左至右的順序與對應(yīng)的模板參數(shù)匹配

注：只有右邊的顯式模板參數(shù)可以省略（如T2、T3，它們可以從函數(shù)參數(shù)推斷出來）

2. 正常類型轉(zhuǎn)換可以應(yīng)用于顯式指定的實參

template <typename T> bool cmp(const T&, const T&); int main() { long a;compare(a, 1024); //錯誤compare<int>(a, 1024); //a被轉(zhuǎn)換為intcompare<long>(a, 1024); //1024被轉(zhuǎn)換為long }

?

轉(zhuǎn)載于:https://www.cnblogs.com/xzxl/p/7856629.html

總結(jié)

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

如果覺得生活随笔網(wǎng)站內(nèi)容還不錯，歡迎將生活随笔推薦給好友。