模板Template這個詞寫 C 的人早晚要面對。初學階段你可能已經(jīng)用過vectorint、pairstring, int這類容器也知道加個尖括號就能讓一個類適配不同數(shù)據(jù)類型但一旦要自己動手寫模板函數(shù)、模板類不少人就開始犯怵。這篇內(nèi)容就是給卡在“會用但不清楚怎么寫”這個階段的朋友準備的我會從函數(shù)模板講到類模板再到模板編譯的底層邏輯和常見報錯的排查方式盡量把我自己踩過的坑和驗證過的結(jié)論一起寫進來。你不需要提前掌握多深的理論只要對 C 的類、函數(shù)、頭文件機制有基本概念就能跟著走通這條初階路線。1. 模板初印象它到底是干什么的1.1 從“寫重復代碼”到“寫一次模具”寫程序的時候我們經(jīng)常會遇到一種情況邏輯完全一樣只是處理的數(shù)據(jù)類型不同。比如寫一個交換函數(shù)想交換兩個int寫完發(fā)現(xiàn)還要交換兩個double再過一會兒又要交換兩個string。如果每次都復制粘貼改類型代碼量看著沒漲多少但維護起來非常痛苦——今天修了一個 Bug明天得記得把所有版本都改一遍。模板解決的就是這個問題。它把“數(shù)據(jù)類型”本身當作一個參數(shù)讓你把“邏輯”先寫出來具體用什么類型由調(diào)用方?jīng)Q定。拿交換函數(shù)來說templatetypename T void mySwap(T a, T b) { T temp a; a b; b temp; }這個mySwap定義一次后面不管你是int、double還是某個自定義類只要這個類型支持拷貝構(gòu)造和賦值都能直接使用。編譯器會在你調(diào)用時自動生成對應版本的代碼。這個過程叫模板實例化就像用模具生產(chǎn)零件一樣——模具只有一套但壓出來的零件可以五花八門。剛開始學模板最關(guān)鍵的心態(tài)轉(zhuǎn)換就是以前我們面向“具體類型”編程現(xiàn)在要面向“類型參數(shù)”編程。你寫T的時候腦子里要想的是“這里可以是任意類型”但又不能太任意——它需要滿足你在函數(shù)體里對它的所有操作要求。比如你把T賦值給另一個變量那T就必須支持賦值操作你調(diào)用a b那T必須支持加法。編譯器會在實例化時替你做這些檢查。1.2 模板、宏和重載選哪個很多人第一次接觸“寫一次到處用”的概念腦子里的第一反應是宏定義#define。宏確實能做到文本層面的替換比如#define SWAP(a, b, T)但它的問題非常明顯沒有類型檢查報錯信息難讀而且會污染全局作用域容易產(chǎn)生奇怪的副作用?，F(xiàn)代 C 里除非是做條件編譯或者特別底層的封裝否則幾乎不該用宏來實現(xiàn)泛型邏輯。函數(shù)重載則是另一種思路同一個函數(shù)名寫多個不同參數(shù)類型的版本。它的問題也很直白要多少類型就得寫多少份而且重載決議的結(jié)果有時會和預期不一致。模板比重載更徹底因為它要的是“一類邏輯”而不是“一一列舉”。用表格總結(jié)三者的差異方案類型檢查代碼去重調(diào)試友好度適用場景宏無有一定去重差條件編譯、簡單文本替換重載有較差好函數(shù)數(shù)量少且類型有限模板有徹底中等偏上需熟悉報錯泛型算法、容器、通用組件我自己的建議是能用模板的地方優(yōu)先模板但要清楚模板報錯的復雜度和編譯時間成本工具簡單但必須學讀報錯否則會被“幾百行錯誤信息”勸退。2. 函數(shù)模板最基礎(chǔ)的一塊拼圖2.1 函數(shù)模板的寫法與參數(shù)推導函數(shù)模板的定義以template關(guān)鍵字開頭后面跟尖括號包住模板參數(shù)列表一個常見的問題是typename和class用哪個。兩者在模板參數(shù)列表里基本等價class是歷史遺留模板功能從 C 早期引入時只有classtypename是在標準化的過程中新增的語義上更準確——因為模板參數(shù)不一定非得是類也可能是個基礎(chǔ)類型?，F(xiàn)在的主流習慣是參數(shù)列表用typename但看到別人用class也別奇怪兩者都能編譯。寫函數(shù)模板時遵循一個套路templatetypename T T myMax(T a, T b) { return a b ? a : b; }調(diào)用時你可以顯式指定類型也可以讓編譯器自己推導cout myMaxint(3, 5) endl; // 顯式指定 cout myMax(3, 5) endl; // 編譯器自動推導 T int cout myMax(2.7, 3.1) endl; // 編譯器自動推導 T double自動推導的時候編譯器會根據(jù)實參類型“猜”出T是什么。猜出來的過程和普通函數(shù)做類型轉(zhuǎn)換不一樣它不做隱式轉(zhuǎn)換后面這一點很容易踩坑。顯式指定則給了你控制權(quán)比如你想強制把兩個int按double比較那就寫成myMaxdouble(3, 5)好了。模板參數(shù)推導規(guī)則會看實參的“精確類型”頂層const會被忽略數(shù)組和函數(shù)名會退化成指針但這些細節(jié)初階階段可以先放過記住最核心的一句話模板推導不做隱式轉(zhuǎn)換試試就逝世的地方在于——傳一個int和一個double給上面那個myMax編譯器會懵T到底是int還是double它不會幫你選一個最優(yōu)解而是直接報告推導失敗。2.2 實例化編譯器在背后做了什么函數(shù)模板本身不是函數(shù)。你沒調(diào)用它的時候它只是一段“圖紙”。當你寫下myMax(3, 5)的那一刻編譯器才會為int版本生成一份真正的函數(shù)代碼這個過程叫實例化instantiation。編譯器實例化時會把模板里的T全部替換成具體類型然后做一次完整的編譯檢查。如果此時發(fā)現(xiàn)T不支持你寫的操作比如你調(diào)用了.length()但傳進來的類型沒有這個成員函數(shù)立刻報錯。所以模板的“類型檢查”并不是在定義階段完成而是在實例化階段才完整進行。定義階段編譯器只做一些基礎(chǔ)語法檢查加上對“不依賴模板參數(shù)”的代碼做校驗。舉個能說明“定義階段檢查有限”的例子templatetypename T void foo(T x) { x.nonexistentMethod(); // 定義時可編譯因為不知道 T 是什么 }這段代碼定義時不會報錯但當有人用fooint(42)實例化時編譯器就會立刻指出int沒有nonexistentMethod。理解“實例化發(fā)生在調(diào)用處”非常重要因為它直接影響工程組織。后面第 4 節(jié)我會專門講為什么模板定義要在頭文件里現(xiàn)在只需要記住編譯器必須“看見”模板的完整定義才能實例化。如果只看到聲明它是沒法憑空造出機器碼的。2.3 實參隱式轉(zhuǎn)換與模板實參推導的坑剛才提過模板推導不做隱式轉(zhuǎn)換這值得單獨展開。普通函數(shù)的參數(shù)如果類型對不上編譯器會嘗試做類型提升、截斷、轉(zhuǎn)換比如double傳進int參數(shù)編譯器默默截斷但模板推導時T必須找到一個統(tǒng)一的值它不會為了“湊合”而把一個參數(shù)先轉(zhuǎn)成另一種類型?？催@段templatetypename T T myMax(T a, T b); myMax(3, 4.5); // 推導失敗3是int4.5是double編譯器推導T時看到兩個候選值。因為int可以轉(zhuǎn)成double有些人會以為模板能把3轉(zhuǎn)成double然后一路編譯過。但實際不是這樣模板推導階段根本不考慮隱式轉(zhuǎn)換直接報“無法推導 T 的類型”。解決辦法有三種顯式指定模板參數(shù)myMaxdouble(3, 4.5)這時候3會轉(zhuǎn)換成double。用兩個模板參數(shù)templatetypename T1, typename T2 ...但注意函數(shù)的返回值類型仍然需要你決定auto是常見選擇。重載一個非模板版本或者讓調(diào)用方自己保證兩個實參類型一致。這個坑在初階階段幾乎人人都會踩多踩幾次之后就會習慣模板的“嚴格”不是缺點反而是類型安全的保障它擋住的正是那些可能出問題的隱式轉(zhuǎn)換。3. 類模板把數(shù)據(jù)類型變成參數(shù)3.1 類模板的定義與基本使用函數(shù)模板解決的是“一組函數(shù)”類模板解決的是“一組類”。最常見的例子是一個棧Stacktemplatetypename T class Stack { public: void push(const T value) { data.push_back(value); } void pop() { if (!data.empty()) data.pop_back(); } T top() const { return data.back(); } bool empty() const { return data.empty(); } private: std::vectorT data; };用的時候這樣寫Stackint intStack; Stackstd::string strStack;看到區(qū)別了吧類模板不是“一個類”而是一族類。Stackint和Stackstd::string本質(zhì)上是兩個不同的類型它們內(nèi)部的數(shù)據(jù)成員類型完全不同成員函數(shù)的機器碼也不同。這跟函數(shù)模板實例化出多個函數(shù)版本是同一個道理。類模板的成員函數(shù)可以在類內(nèi)定義也可以在類外定義。類內(nèi)定義最簡單編譯器會當作內(nèi)聯(lián)處理類外定義則要寫成這樣templatetypename T void StackT::push(const T value) { data.push_back(value); }注意StackT::這個寫法它表示“這是 Stack 這個類模板實例化出的某個類中的一個成員”。如果你漏了templatetypename T那一行或者漏了T編譯器都會直接報錯。這里沒有捷徑多寫幾遍就會習慣。3.2 成員函數(shù)、默認模板參數(shù)與友元的細節(jié)類模板還有個容易忽略的點模板參數(shù)不僅可以用在數(shù)據(jù)成員類型上還可以決定成員函數(shù)的行為。比如你可以設(shè)計一個容器類T限定為某種類型也可以讓成員函數(shù)自身額外接受新的模板參數(shù)。templatetypename T class Converter { public: templatetypename U U convertTo() { return static_castU(data); } private: T data; };這種“類模板的成員函數(shù)又是函數(shù)模板”的寫法在泛型庫中非常常見。調(diào)用時語法是conv.convertTodouble()編譯器不會自動推導U因為U不參與函數(shù)參數(shù)。類模板還支持默認模板參數(shù)語法和默認函數(shù)參數(shù)類似templatetypename T int class DefaultBox { public: T value; };如果不指定DefaultBox會被當成DefaultBoxint。再說一個稍微特殊的情況類模板里的static成員。每個模板實例化類型都會擁有自己單獨的一份靜態(tài)成員Stackint::count和Stackdouble::count是兩個完全獨立的變量。這個特性可以用在“統(tǒng)計每種類型創(chuàng)建的對象個數(shù)”這類需求上但也容易忽略它的獨立性。友元在類模板中是個相對麻煩的話題。因為模板類實例化出的是不同類型友元函數(shù)/類也往往需要是模板。初階階段我的建議是如果剛接觸模板盡量少在模板類里聲明友元等對實例化過程和模板參數(shù)推導都熟了再回來研究友元模板的各種寫法。這不是偷懶而是友元模板有幾個不同的綁定規(guī)則比如依賴模板參數(shù)的友元與不依賴模板參數(shù)的友元在知識體系沒建起來之前很容易繞暈。3.3 非類型模板參數(shù)不只是類型能當參數(shù)模板參數(shù)不一定必須是類型它也可以是編譯期常量值比如整數(shù)、枚舉、指針、nullptr、整型字面量等。這種參數(shù)叫非類型模板參數(shù)Non-type Template Parameter。最常見的例子是實現(xiàn)一個固定大小的數(shù)組類templatetypename T, size_t N class FixedArray { public: size_t size() const { return N; } T operator[](size_t i) { return data[i]; } private: T data[N]; }; FixedArrayint, 16 arr;這里的N不是運行時變量而是一個編譯期常量。每次實例化FixedArrayint, 16和FixedArrayint, 32都會生成不同的類類型它們的size()返回值不同編譯器可以據(jù)此做很多優(yōu)化。非類型模板參數(shù)帶來的一個明顯好處是類型安全。如果說FixedArrayint, 16是一個類型那當你調(diào)用一個期望FixedArrayint, 32的函數(shù)時傳FixedArrayint, 16進去會直接編譯錯誤而不會像傳統(tǒng) C 數(shù)組或者std::vector那樣需要運行時檢查。這個“錯誤提早在編譯期暴露”的特性是模板體系最吸引人的地方之一。初階階段要提醒的是非類型模板參數(shù)不能是double或類類型對象在 C20 之前是這樣限制的C20 放寬了一些但常規(guī)用法仍然以整型為主而且必須在編譯期確定不能用運行時變量傳進去。如果你想在運行期指定數(shù)組大小老老實實用std::vector這才是它的活兒。4. 編譯原理與工程組織模板為什么非要寫在頭文件里4.1 兩階段編譯與實例化時機很多從 Java、C# 轉(zhuǎn)過來的朋友不理解一個問題為什么 C 的模板聲明和實現(xiàn)不能拆到.h和.cpp里在普通類里頭文件放聲明源文件放實現(xiàn)鏈接時找符號就行。換成模板卻行不通根源在于模板的編譯模型。編譯器處理模板時分為兩個階段第一階段解析模板定義本身做語法檢查以及與模板參數(shù)無關(guān)的那些語義檢查。這一階段編譯器只把模板當成一段“未完成的文本”遇到T a;這種代碼知道它合法但不會去驗證T是否有默認構(gòu)造。第二階段實例化。當你寫下Stackint s;或者調(diào)用myMax(1, 2)時編譯器會把模板定義和模板參數(shù)綁定在一起生成具體代碼然后對新生成的代碼做一次完整的編譯檢查。這次檢查才會驗證T是否具有你用到的所有操作。關(guān)鍵來了第二階段發(fā)生的位置是“調(diào)用發(fā)生的地方”。也就是說編譯器在編譯main.cpp時它需要在現(xiàn)場看到Stack的完整定義否則無法生成實例化代碼。所以類模板和函數(shù)模板的定義必須放在頭文件里或者放在調(diào)用者能“看到完整定義”的某個頭文件中。4.2 頭文件組織方式避免鏈接錯誤初階最常見的錯誤是這樣// template_foo.h templatetypename T T myMax(T a, T b); // template_foo.cpp templatetypename T T myMax(T a, T b) { return a b ? a : b; } // main.cpp #include template_foo.h int main() { std::cout myMax(3, 5) std::endl; }這段代碼在鏈接階段會報undefined reference to ...。為什么因為main.cpp中調(diào)用myMax(3, 5)時編譯器只看到了頭文件里的聲明沒有看到函數(shù)體定義它無法實例化T int的那個版本。而template_foo.cpp雖然包含定義但沒有任何地方調(diào)用它編譯器也就不會為它生成任何機器碼。兩邊都沒人“觸發(fā)”實例化鏈接器自然找不到符號。正確姿勢是把定義直接放到頭文件// template_foo.h templatetypename T T myMax(T a, T b) { return a b ? a : b; }這樣做不會造成多重定義因為模板實例化的符號在多個翻譯單元中出現(xiàn)時鏈接器允許它們重復弱符號合并。這是模板跟普通全局函數(shù)的顯著區(qū)別。如果擔心頭文件太臃腫可以拆一個.ipp或.inl文件專門放模板實現(xiàn)然后在.h文件末尾#include進來。整體代碼結(jié)構(gòu)清爽本質(zhì)上還是把定義放進了頭文件對編譯器來說沒有任何區(qū)別。4.3 分離編譯的替代方案如果你真的希望把模板定義藏在.cpp里同時還能讓外部調(diào)用C 也提供了顯式實例化機制// template_foo.cpp templatetypename T T myMax(T a, T b) { return a b ? a : b; } // 顯式實例化告訴編譯器提前生成 int 和 double 兩個版本 template int myMaxint(int, int); template double myMaxdouble(double, double);這時頭文件里仍然只有聲明外部使用時編譯器看到聲明就夠了鏈接器會在另一個.cpp里找到已經(jīng)生成好的符號。這個方案最大的局限是你得預先知道所有需要支持的類型每一類都要寫一行顯式實例化。稍微來一個新類型就用不了實用性遠不如“定義進頭文件”方案。所以在工程實踐中模板的通用做法就是定義即頭文件。這也是為什么很多模板庫比如某些頭文件庫只有一個.hpp文件沒有對應的.cpp。理解了背后的機制就不會再為“為什么模板老是鏈接錯”發(fā)愁了。5. 模板實參匹配與特化入門5.1 函數(shù)模板的匹配規(guī)則當你同時定義了一個普通函數(shù)和一個函數(shù)模板參數(shù)類型又都能對上時編譯器會優(yōu)先選哪個我直接說結(jié)論普通函數(shù)優(yōu)先。int myMax(int a, int b) { return a b ? a : b; } templatetypename T T myMax(T a, T b) { return a b ? a : b; } myMax(1, 2); // 優(yōu)先調(diào)用普通函數(shù) myMax(1.2, 3.4); // 沒有 double 的普通版本調(diào)用模板實例這個規(guī)則的底層邏輯是普通函數(shù)是完全精確的匹配成本最低函數(shù)模板需要實例化編譯器更傾向“盡量用現(xiàn)成的”。但如果你顯式寫出模板實參myMaxint(1, 2)那就明確是在調(diào)用模板版本。如果同時有多個函數(shù)模板都能匹配編譯器會選擇“更特化”的版本。比如templatetypename T void func(T value); // 通用版本 templatetypename T void func(T *ptr); // 指針版本更特化傳一個指針時第二個模板會更匹配。這里不需要完全掌握匹配規(guī)則初階記住兩點即可普通函數(shù)優(yōu)先于模板多個模板競爭時越具體的越優(yōu)先。5.2 全特化與偏特化初探特化Specialization是模板的進階操作它允許你針對特定類型寫一份不同的實現(xiàn)。比如你有一個Wrappertemplatetypename T struct Wrapper { T data; std::string describe() const { return generic version; } };你希望bool類型有特殊處理就可以寫全特化template struct Wrapperbool { bool data; std::string describe() const { return bool version; } };這叫全特化因為模板參數(shù)列表里已經(jīng)沒有任何自由參數(shù)所有東西都定死了。類模板還支持偏特化Partial Specialization也就是只固定部分參數(shù)templatetypename T struct WrapperT * { T *ptr; std::string describe() const { return pointer version; } };寫了一個 T 來接收原來的類型但把入?yún)⑾薅橹羔?。這樣當你使用Wrapperint *時匹配到的是這個偏特化版本而不是通用版本。函數(shù)模板只支持全特化不支持偏特化標準 C 目前不允許函數(shù)模板偏特化雖然可以通過重載實現(xiàn)類似效果。這個限制不常遇到但面試或看源碼時會見到先有印象。特化還有一個重要原則特化版本仍然必須是模板實例化的一種形態(tài)。全特化本質(zhì)上沒有自由參數(shù)所以它要定義在原有模板存在的前提下編譯器才能正確匹配。如果你特化了一個不存在的模板或者特化聲明放在使用之后都會得到編譯錯誤或非預期行為。還有個容易踩的坑全特化定義要放在頭文件中同一個位置避免不同翻譯單元看到不一致的聲明不然鏈接時會出各種奇怪問題。6. 常見問題與排查技巧實錄6.1 讀懂模板報錯信息模板報錯是初學階段最大的攔路虎。一條簡單的調(diào)用錯誤編譯器可能給你甩出十幾行甚至幾百行嵌套信息。這不是你的代碼“特別爛”而是編譯器在實例化過程中需要把一層層模板調(diào)用的現(xiàn)場全部展開。排查模板報錯的通用策略從第一條錯誤開始往下找而不是在報錯堆里翻找“最后一行”。優(yōu)先看前幾行那里通常有真正的錯誤原因后面的幾百行往往是“跟著錯”的連鎖反應。找到包含required from here、required from instantiation、in instantiation of這類關(guān)鍵詞的行它指示實例化發(fā)生的位置通常對應你自己的代碼。舉個例子你寫了std::vectorint v; v.push_back(hello);報錯信息會很長但關(guān)鍵信息就是“無法將const char*轉(zhuǎn)換為int”。大部分時候錯誤倒不在模板內(nèi)部而是你傳給模板實參的類型不滿足要求。6.2 實例化失敗與類型不匹配整理幾個初階常見的編譯失敗場景癥狀原因解法提示no matching function for call to ...模板參數(shù)推導失敗或?qū)崊㈩愋筒黄ヅ錂z查是否混用了不兼容類型必要時顯式指定模板參數(shù)undefined reference且指到模板名模板定義沒放在頭文件或缺少顯式實例化把定義搬到頭文件或補充顯式實例化一堆帶in instantiation of的長報錯某種類型不滿足模板內(nèi)部的操作要求從第一條錯誤定位檢查是否缺少某個成員函數(shù)、運算符或構(gòu)造函數(shù)提示redefinition或 ODR 沖突模板特化被重復定義特化通常放在頭文件不要同時在多個.cpp定義同一份特化還有一種情況容易被忽略數(shù)組作為模板參數(shù)時的退化。如果你把一個數(shù)組傳給模板函數(shù)參數(shù)聲明是const T arr那數(shù)組還會保留數(shù)組類型但如果參數(shù)聲明是T arr數(shù)組會退化成指針。這個細節(jié)會影響模板推導后的類型極端場景下會造成意想不到的重載選擇先知道這個坑存在即可。6.3 幾個實用小技巧第一個技巧是使用static_assert提前做約束。模板的報錯晚而且難讀是因為問題在實例化時爆發(fā)。你可以在一開始就給模板參數(shù)加上約束templatetypename T class NumberWrapper { static_assert(std::is_arithmetic_vT, T must be a number type); // ... };這樣如果用戶傳了std::string編譯器會輸出一句清晰的話而不是一行“無法找到operator”的深層錯誤。這個習慣越早養(yǎng)成越好。第二個技巧是給長類型起別名。C11 開始支持模板別名templatetypename T using VectorPtr std::shared_ptrstd::vectorT; VectorPtrint vp;這能大幅度簡化后續(xù)代碼的書寫。第三個技巧是遇到報錯時把模板代碼“手動替換”成具體類型跑一遍。比如你寫了一個templatetypename T T getMax(T a, T b)編譯失敗那就先試著手寫一個int getMax(int a, int b)看看類型是否滿足。很多時候問題不是模板語法而是你的邏輯本來就寫錯了。模板只是把這個問題“延遲”到了實例化階段。第四個技巧是多看標準庫實現(xiàn)和文檔。std::vector、std::pair都是模板研究它們是理解模板的最佳素材。打開你手邊編譯器的標準庫頭文件跳過那些_M_前置的內(nèi)部細節(jié)只看函數(shù)模板定義結(jié)構(gòu)你就會發(fā)現(xiàn)模板語言的骨架并沒有想象中復雜。第五個技巧是漸進式編寫。不要一口氣寫完一個復雜的模板類再去編譯。先把最簡單的版本寫出來確認能實例化、能運行然后逐步增加模板參數(shù)、特化、嵌套模板。每加一層就編譯一次報錯時定位范圍會小很多。這個習慣在寫多參數(shù)模板或遞歸模板時尤為寶貴。7. 模板的邊界與延伸方向個人實踐體會寫到這個位置模板初階的核心內(nèi)容基本覆蓋到了但真正用它寫項目時還會有兩個明顯感受值得單獨提一下。第一個感受是模板的“語法”不難難的是“是否該用模板”和“模板參數(shù)該設(shè)計到什么程度”。我最初寫模板時恨不得把所有函數(shù)都模板化后來發(fā)現(xiàn)一個常量參數(shù)列表加上一堆模板特化代碼可讀性迅速下降而且編譯時間增長肉眼可見。后來慢慢體會到模板適合的是“邏輯高度統(tǒng)一、類型可能變化”的場景如果每個類型對應不同的行為那更合適的可能是普通函數(shù)重載或者運行時多態(tài)。模板切換類型是編譯期行為虛函數(shù)切換行為是運行期行為兩者解決的層次不同。設(shè)計模板時先用一兩個具體類型做驗證再抽象比直接從抽象出發(fā)更容易落地。第二個感受是模板報錯雖然可怕但是可訓練。有一段時間我?guī)缀趺刻於荚诤湍０鍒箦e搏斗后來發(fā)現(xiàn)只要掌握了“先看第一條錯誤、再找實例化點位”的原則大部分問題幾分鐘內(nèi)能解決。真正復雜的是模板遞歸或者模板元編程那種深層展開初階階段不會遇到太多。這個過程中我還有一個習慣遇到迷惑的實例化行為就寫一個十幾行的最小例子來驗證而不是在項目里反復試。十五行代碼一分鐘就能跑出結(jié)果項目里定位一次可能半小時都不夠。再留一個延伸方向供感興趣的朋友繼續(xù)探索C11 到 C20 之間模板玩法一直在擴展。變參模板sizeof...和包展開讓你可以寫出任意參數(shù)個數(shù)的模板函數(shù)類型萃取std::is_same、std::enable_if等讓編譯期“條件判斷”成為可能概念C20 的concept/requires終于給模板參數(shù)的約束提供了正規(guī)語法讓報錯信息像普通函數(shù)一樣友好。這些內(nèi)容都在“模板初階”之后但根基仍然是這篇內(nèi)容里講到的那套東西——模板參數(shù)、實例化、特化、推導規(guī)則。把這幾個概念反復理解透了后續(xù)進階就是一個自然延伸的過程。我個人在實際調(diào)試中還有一個很管用的小習慣在模板代碼出問題時我會先把所有template關(guān)鍵字刪掉把類型寫死確認邏輯本身沒問題然后再把類型替換回模板參數(shù)。這個方法看起來繞遠路但能幫你把“模板問題”和“邏輯問題”徹底切開。如果你也被模板的編譯錯誤折磨過不妨試一試。