模板是 C 泛型編程的基礎(chǔ)。它讓我們先描述一套與具體類型無關(guān)的代碼再由編譯器根據(jù)實際使用方式生成具體版本。一、為什么需要模板假設(shè)要交換兩個值使用函數(shù)重載可以寫出多個版本voidSwap(intleft,intright);voidSwap(doubleleft,doubleright);voidSwap(charleft,charright);這些函數(shù)的實現(xiàn)幾乎完全相同只有類型不同。這樣的寫法有兩個問題代碼重復(fù)出現(xiàn)新類型時還要繼續(xù)增加重載。維護成本高修改邏輯時需要同步修改多個版本。泛型編程的思路是把類型抽象出來我們只寫一份“模具”編譯器根據(jù)類型生成真正可調(diào)用的函數(shù)或類。模板因此成為 C 代碼復(fù)用和 STL 的重要基礎(chǔ)。二、函數(shù)模板2.1 基本語法函數(shù)模板代表一個函數(shù)家族本身不是某個具體類型的函數(shù)?；靖袷饺缦聇emplatetypenameT1,typenameT2返回值類型FunctionName(參數(shù)列表){// 使用 T1、T2 編寫通用邏輯}交換函數(shù)可以改寫為templatetypenameTvoidSwap(Tleft,Tright){T templeft;leftright;righttemp;}typename和class都可以用來聲明類型模板參數(shù)templateclassTvoidSwap(Tleft,Tright);這里不能用struct代替class。需要注意的是模板參數(shù)中的class只是“類型參數(shù)”的語法關(guān)鍵字與類的默認訪問權(quán)限沒有關(guān)系。2.2 模板實例化從模具到具體函數(shù)模板可以理解為一份代碼藍圖。編譯器看到實際調(diào)用時會根據(jù)參數(shù)推導(dǎo)T再生成對應(yīng)的具體版本這個過程叫模板實例化。templateclassTTAdd(constTleft,constTright){returnleftright;}intmain(){inta1Add(1,2);doubleb1Add(1.1,2.0);couta1endl;coutb1endl;}隱式實例化隱式實例化由編譯器根據(jù)實參推導(dǎo)模板參數(shù)。推導(dǎo)要求同一個模板參數(shù)在各處得到一致的結(jié)果templateclassTTAdd(constTleft,constTright){returnleftright;}intmain(){doubled2.0;// Add(1, d); // 錯誤T 不可能同時是 int 和 doubleAdd(1,(int)d);// 讓兩個實參統(tǒng)一為 int}模板參數(shù)推導(dǎo)階段通常不會像普通函數(shù)那樣主動幫我們完成跨類型轉(zhuǎn)換。這樣做可以避免編譯器在不明確的情況下生成意外版本。顯式實例化調(diào)用可以在函數(shù)名后通過尖括號直接指定模板參數(shù)templateclassTTAdd(constTleft,constTright){returnleftright;}intmain(){doubled22.0;Addint(1,d2);// 明確指定 T 為 intd2 會嘗試轉(zhuǎn)換為 intreturn0;}這里的 Addint更準確地說是“顯式指定模板實參的調(diào)用”。它和后文分離編譯場景中的“顯式實例化定義”不是同一個概念二者不要混淆。2.3 函數(shù)模板與普通函數(shù)的匹配普通函數(shù)和同名函數(shù)模板可以同時存在intAdd(intleft,intright){returnleftright;}templateclassTTAdd(T left,T right){returnleftright;}voidTest(){Add(1,2);// 優(yōu)先匹配普通函數(shù)Adddouble(1,2);// 顯式要求調(diào)用模板版本}可以記住三條規(guī)則普通函數(shù)與模板都能匹配時若普通函數(shù)完全匹配通常優(yōu)先選擇普通函數(shù)。如果模板實例化后能得到更好的匹配編譯器可能選擇模板版本。普通函數(shù)允許常規(guī)隱式轉(zhuǎn)換模板推導(dǎo)本身要求類型關(guān)系明確不能依賴含糊的推導(dǎo)結(jié)果。三、類模板3.1 基本語法類模板用于生成一組結(jié)構(gòu)相同、元素類型不同的類下面是一個簡化的棧示例templateclassTclassStack{public:explicitStack(std::size_t capacity4):_array(newT[capacity]),_capacity(capacity),_size(0){}~Stack(){delete[]_array;}voidPush(constTdata);private:T*_array;std::size_t _capacity;std::size_t _size;};templateclassTvoidStackT::Push(constTdata){// 示例只展示模板成員函數(shù)的定義位置擴容邏輯略去_array[_size]data;}成員函數(shù)在類外定義時函數(shù)名前要寫出完整的模板限定形式Stack::Push。實際工程中還應(yīng)補充拷貝控制、越界檢查和擴容邏輯這里僅用于說明類模板語法。3.2 類模板的實例化類模板名不是最終的類型必須在尖括號中指定模板實參StackintintStack;// 生成一個元素類型為 int 的 StackStackdoubledoubleStack;// 生成一個元素類型為 double 的 Stack與函數(shù)模板可以依靠函數(shù)實參推導(dǎo)不同類模板實例化通常必須顯式寫出中的類型。四、非類型模板參數(shù)模板參數(shù)分為類型形參與非類型形參。類型形參出現(xiàn)在模板參數(shù)列表中跟在class或者typename之類的參數(shù)類型名稱。非類型形參就是用一個常量作為類(函數(shù))模板的一個參數(shù)在類(函數(shù))模板中可將該參數(shù)當(dāng)成常量來使用。注意浮點數(shù)、類對象以及字符串是不允許作為非類型模板參數(shù)的。非類型的模板參數(shù)必須在編譯期就能確認結(jié)果。接下來我使用模板定義一個靜態(tài)棧實現(xiàn)數(shù)組大小的可傳入控制那么這時候就可以使用非類型模板參數(shù)并且給這個非類型模板參數(shù)一個缺省值1000#defineN1000templateclassTclassStack{private:T _a[N];int_top;int_capacity;};intmain(){Stackints1;// 10Stackints2;// 1000return0;}如此不同大小的棧s1 s2就被定義出來了五、模板特化5.1 為什么需要特化模板解決的是“大多數(shù)類型都采用同一套邏輯”的問題。但某些類型的語義不同直接套用通用實現(xiàn)會得到錯誤結(jié)果。例如下面的比較模板對普通對象沒有問題templateclassTboolLess(constTleft,constTright){returnleftright;}如果T是Date*left right比較的是兩個地址而不是兩個日期對象的內(nèi)容。此時需要為指針類型提供特殊處理。5.2 函數(shù)模板特化函數(shù)模板特化必須先有基礎(chǔ)模板然后使用空模板參數(shù)列表template指定特化版本classDate{public:booloperator(constDateother)const;};templateclassTboolLess(constTleft,constTright){returnleftright;}templateboolLessDate*(Date*constleft,Date*constright){return*left*right;}函數(shù)特化的參數(shù)類型要和基礎(chǔ)模板實例化后的簽名保持一致否則可能出現(xiàn)難以理解的匹配或編譯錯誤。不過函數(shù)模板通常更推薦直接寫一個普通重載boolLess(Date*left,Date*right){return*left*right;}普通重載更直觀也更容易參與重載決議函數(shù)模板特化適合確實需要保留模板接口、又要替換某個具體實例的場景。六、類模板特化全特化與偏特化6.1 全特化全特化會把模板參數(shù)全部確定下來templateclassT1,classT2classData{public:Data(){coutDataT1, T2endl;}};templateclassDataint,char{public:Data(){coutDataint, charendl;}};Dataint, char會使用全特化版本其他組合繼續(xù)使用基礎(chǔ)模板。6.2 偏特化偏特化不是只“固定一部分參數(shù)”還包括對參數(shù)形式增加限制。常見寫法如下// 只固定第二個參數(shù)templateclassT1classDataT1,int{public:Data(){coutDataT1, intendl;}};// 兩個參數(shù)都必須是指針templateclassT1,classT2classDataT1*,T2*{public:Data(){coutDataT1*, T2*endl;}};于是Datadouble,inta;// 使用 T2 為 int 的偏特化Dataint,doubleb;// 使用基礎(chǔ)模板Dataint*,double*c;// 使用指針形式的偏特化偏特化只適用于類模板函數(shù)模板沒有同等形式的偏特化語法函數(shù)模板遇到特殊類型時通常采用重載或全特化。6.3 用類模板特化定制比較器STL 的排序算法接收比較器對象。可以把“指針應(yīng)該比較指向?qū)ο蟆边@一規(guī)則封裝在類模板特化中templateclassTstructLess{booloperator()(constTleft,constTright)const{returnleftright;}};templatestructLessDate*{booloperator()(constDate*left,constDate*right)const{return*left*right;}};// std::sort(begin, end, LessDate*{});這樣std::sort在處理Date對象時使用通用比較邏輯處理Date* 時自動切換到解引用后的比較邏輯。七、模板的分離編譯問題7.1 什么是分離編譯一個項目通常由多個源文件組成。每個.cpp單獨編譯生成目標(biāo)文件最后再由鏈接器把目標(biāo)文件合并為可執(zhí)行文件這就是分離編譯。7.2 為什么模板聲明和定義分開會鏈接失敗常見寫法是把聲明放進頭文件把定義放進源文件// add.htemplateclassTTAdd(constTleft,constTright);// add.cpptemplateclassTTAdd(constTleft,constTright){returnleftright;}// main.cpp#includeadd.hintmain(){returnAdd(1,2);}編譯main.cpp時編譯器只看到了模板聲明并不知道模板定義的具體內(nèi)容它無法在這一編譯單元中實例化Add。而編譯add.cpp時又沒有看到任何具體調(diào)用也就不會自動生成Add。最終鏈接階段找不到需要的實例出現(xiàn)鏈接錯誤。7.3 解決方式方式一把聲明和定義放在同一個頭文件通常使用 .hpp// add.hpptemplateclassTTAdd(constTleft,constTright){returnleftright;}調(diào)用方包含add.hpp后編譯器就能在使用點完成實例化。這是最常見、最推薦的做法。方式二在模板定義處顯式實例化// add.cpptemplateclassTTAdd(constTleft,constTright){returnleftright;}templateintAddint(constint,constint);這種方式要求提前知道所有需要支持的類型擴展性較差通常只在模板實現(xiàn)需要隱藏、且類型集合固定時使用。八、模板使用建議先確認通用邏輯對所有類型都成立再決定是否抽成模板。函數(shù)模板遇到特殊類型時優(yōu)先考慮普通重載類模板需要按類型形態(tài)定制時再使用全特化或偏特化。模板定義通常放在頭文件或.hpp中避免分離編譯導(dǎo)致的鏈接問題。通過約束、斷言或清晰的接口要求盡早表達模板參數(shù)必須支持的操作例如operator、拷貝構(gòu)造和賦值。注意模板實例化會增加代碼體積和編譯時間模板錯誤信息也往往較長應(yīng)從最先出現(xiàn)的報錯位置開始定位。九、總結(jié)模板的核心價值是把重復(fù)的類型差異交給編譯器處理函數(shù)模板復(fù)用算法邏輯類型由函數(shù)實參推導(dǎo)或顯式指定。類模板復(fù)用數(shù)據(jù)結(jié)構(gòu)實例化后才得到真正的類型。非類型模板參數(shù)把編譯期常量納入類型系統(tǒng)。特化讓模板在特殊類型上擁有不同實現(xiàn)類模板還支持偏特化。模板定義通常需要對使用者可見因此應(yīng)放在頭文件中或顯式實例化固定類型。從“寫多個重載”到“寫一份模板”再到“為特殊類型定制實現(xiàn)”這條路徑基本覆蓋了 C 模板入門和進階階段最重要的思維方式。