1. 從“重復(fù)造輪子”到“一勞永逸”為什么我們需要模板如果你寫(xiě)過(guò)一段時(shí)間的C尤其是寫(xiě)過(guò)一些需要處理多種數(shù)據(jù)類(lèi)型的工具函數(shù)或數(shù)據(jù)結(jié)構(gòu)你大概率會(huì)經(jīng)歷過(guò)這種痛苦為了給int、double、string甚至自定義類(lèi)型都實(shí)現(xiàn)一個(gè)功能完全相同的swap交換函數(shù)你不得不復(fù)制粘貼好幾份代碼然后小心翼翼地修改其中的類(lèi)型聲明。這不僅僅是代碼冗余的問(wèn)題更致命的是維護(hù)成本。當(dāng)你發(fā)現(xiàn)交換邏輯有個(gè)小bug或者需要優(yōu)化性能時(shí)你得把所有復(fù)制出來(lái)的版本都修改一遍稍有遺漏就會(huì)引入難以察覺(jué)的錯(cuò)誤。這種場(chǎng)景就是C模板Template誕生的最直接驅(qū)動(dòng)力。模板的本質(zhì)是讓編譯器幫你寫(xiě)代碼。你只需要寫(xiě)一份“藍(lán)圖”或“模具”編譯器會(huì)根據(jù)你使用這份藍(lán)圖時(shí)提供的具體“材料”類(lèi)型自動(dòng)生成一份份針對(duì)該類(lèi)型特化的、完全類(lèi)型安全的代碼。這就是泛型編程Generic Programming的核心思想?？纯淳W(wǎng)絡(luò)上的熱詞“c函數(shù)模板”、“c 可變參數(shù) 類(lèi)模板”被頻繁搜索這說(shuō)明大量開(kāi)發(fā)者正卡在如何讓代碼更通用、更靈活這個(gè)坎上。很多人學(xué)了基礎(chǔ)語(yǔ)法一到實(shí)際項(xiàng)目面對(duì)需要支持多種數(shù)據(jù)類(lèi)型的容器或算法時(shí)就不知道如何下手了。模板正是打通從“能寫(xiě)代碼”到“會(huì)寫(xiě)高質(zhì)量、可復(fù)用代碼”的關(guān)鍵橋梁。簡(jiǎn)單來(lái)說(shuō)模板解決了兩個(gè)核心痛點(diǎn)類(lèi)型安全下的代碼復(fù)用用宏#define也能實(shí)現(xiàn)某種程度的“通用”但它只是簡(jiǎn)單的文本替換沒(méi)有類(lèi)型檢查極易出錯(cuò)。模板在編譯期進(jìn)行類(lèi)型推導(dǎo)和實(shí)例化保證了類(lèi)型安全。提升抽象層次將算法或數(shù)據(jù)結(jié)構(gòu)與它們所操作的具體數(shù)據(jù)類(lèi)型解耦。你首先思考的是“邏輯”而不是“類(lèi)型”。比如你設(shè)計(jì)一個(gè)“比較大小”的算法模板讓你關(guān)注于比較的邏輯本身至于比較的是整數(shù)、浮點(diǎn)數(shù)還是學(xué)生對(duì)象那是使用模板時(shí)決定的事情。本篇我們就從最基礎(chǔ)的函數(shù)模板和類(lèi)模板入手拆解這個(gè)強(qiáng)大工具的工作原理、使用姿勢(shì)和那些新手最容易踩進(jìn)去的坑。我會(huì)盡量用直白的語(yǔ)言和貼近實(shí)戰(zhàn)的例子讓你不僅能看懂更能立刻用起來(lái)。2. 函數(shù)模板告別重復(fù)的“瑞士軍刀”函數(shù)模板是模板中最直觀(guān)、最常用的部分。它允許你定義一個(gè)函數(shù)家族這些函數(shù)除了參數(shù)類(lèi)型不同操作邏輯完全一致。2.1 基本語(yǔ)法與編譯器的工作機(jī)制一個(gè)最簡(jiǎn)單的交換函數(shù)模板長(zhǎng)這樣// 模板聲明T 是一個(gè)占位符代表某種類(lèi)型 templatetypename T // 也可以用 templateclass T 在這是等價(jià)的 void mySwap(T a, T b) { T temp a; a b; b temp; }這里templatetypename T是模板參數(shù)列表它告訴編譯器接下來(lái)我要定義一個(gè)模板其中用到了一個(gè)類(lèi)型參數(shù)T。T是一個(gè)類(lèi)型形參在模板定義里它就代表某種未知但一致的類(lèi)型。編譯器在背后做了什么當(dāng)你寫(xiě)下mySwap(x, y);時(shí)如果x和y是int類(lèi)型編譯器會(huì)進(jìn)行“模板實(shí)例化”推導(dǎo)編譯器看到實(shí)參x,y是int推導(dǎo)出模板形參T應(yīng)該是int。生成編譯器拿著T int這個(gè)“材料”去“模具”模板里把所有的T替換成int生成一個(gè)實(shí)實(shí)在在的、針對(duì)int類(lèi)型的函數(shù)void mySwap(int a, int b) { int temp a; a b; b temp; }。編譯這個(gè)生成的函數(shù)稱(chēng)為模板的一個(gè)實(shí)例會(huì)像普通函數(shù)一樣被編譯。這個(gè)過(guò)程是編譯期完成的所以模板不會(huì)帶來(lái)任何運(yùn)行時(shí)開(kāi)銷(xiāo)。你調(diào)用mySwap幾次編譯器就生成幾個(gè)對(duì)應(yīng)的實(shí)例如果類(lèi)型不同。這也就是為什么模板代碼通常放在頭文件.h或.hpp里——因?yàn)榫幾g器需要在每個(gè)用到它的編譯單元中都看到模板的完整定義才能進(jìn)行實(shí)例化。注意這里有一個(gè)關(guān)鍵點(diǎn)mySwap并不是一個(gè)真正的函數(shù)它只是一個(gè)生成函數(shù)的藍(lán)圖。在最終的程序里存在的是mySwapint,mySwapdouble這些實(shí)例。2.2 類(lèi)型推導(dǎo)的規(guī)則與隱式接口函數(shù)模板的魅力很大程度上來(lái)自于其自動(dòng)類(lèi)型推導(dǎo)的能力。你通常不需要顯式指定類(lèi)型編譯器會(huì)根據(jù)傳入的實(shí)參來(lái)推斷T。但它的推導(dǎo)規(guī)則需要仔細(xì)理解templatetypename T T add(const T a, const T b) { return a b; } int main() { int i1 1, i2 2; double d1 1.1, d2 2.2; std::string s1 Hello, , s2 World!; auto r1 add(i1, i2); // 正確T被推導(dǎo)為int生成addint auto r2 add(d1, d2); // 正確T被推導(dǎo)為double生成adddouble auto r3 add(s1, s2); // 正確T被推導(dǎo)為std::string生成addstd::string // auto r4 add(i1, d1); // 錯(cuò)誤編譯器困惑T應(yīng)該是int還是double // 兩個(gè)實(shí)參類(lèi)型不同編譯器無(wú)法推導(dǎo)出唯一的T auto r4 adddouble(i1, d1); // 正確顯式指定T為doubleint的i1會(huì)隱式轉(zhuǎn)換為double }推導(dǎo)失敗的情況提醒我們模板定義了一個(gè)隱式接口。對(duì)于add函數(shù)其隱式接口要求類(lèi)型T必須支持operator操作。如果你嘗試用不支持的自定義類(lèi)型調(diào)用add編譯器會(huì)在實(shí)例化時(shí)報(bào)錯(cuò)而不是在模板定義時(shí)。這就是所謂的“鴨子類(lèi)型”Duck Typing在編譯期的體現(xiàn)“如果它走起來(lái)像鴨子叫起來(lái)像鴨子那么它就是鴨子。”在模板里“如果它支持操作那么它就可以作為add的參數(shù)?！?.3 非類(lèi)型模板參數(shù)與模板特化模板參數(shù)不一定非得是類(lèi)型。// 非類(lèi)型模板參數(shù)一個(gè)整型常量 templatetypename T, int N class FixedSizeArray { public: T arr[N]; int size() const { return N; } }; FixedSizeArraydouble, 10 arr1; // 一個(gè)大小為10的double數(shù)組 FixedSizeArrayint, 100 arr2; // 一個(gè)大小為100的int數(shù)組 // N必須是編譯期常量模板特化Template Specialization是為特定的模板參數(shù)提供定制化的實(shí)現(xiàn)。當(dāng)通用模板的邏輯對(duì)某些特殊類(lèi)型不適用或效率不高時(shí)就需要特化。// 通用模板 templatetypename T bool isEqual(T a, T b) { return a b; } // 全特化針對(duì) const char* 類(lèi)型 template bool isEqualconst char*(const char* a, const char* b) { return strcmp(a, b) 0; } // 調(diào)用 int main() { std::cout isEqual(1, 1) std::endl; // 調(diào)用通用版本 const char* s1 hello; const char* s2 hello; std::cout isEqual(s1, s2) std::endl; // 調(diào)用特化版本比較字符串內(nèi)容而非指針地址 }全特化相當(dāng)于完全重寫(xiě)了一個(gè)版本。還有一種偏特化Partial Specialization主要用于類(lèi)模板它允許你針對(duì)模板參數(shù)的一部分進(jìn)行特化我們稍后在類(lèi)模板部分會(huì)看到。3. 類(lèi)模板構(gòu)建通用容器的基石如果說(shuō)函數(shù)模板讓算法變得通用那么類(lèi)模板就讓數(shù)據(jù)結(jié)構(gòu)變得通用。C標(biāo)準(zhǔn)庫(kù)中的vector,list,map等容器無(wú)一不是類(lèi)模板的杰作。3.1 從零實(shí)現(xiàn)一個(gè)簡(jiǎn)易的MyVector讓我們通過(guò)實(shí)現(xiàn)一個(gè)極度簡(jiǎn)化的MyVector來(lái)理解類(lèi)模板的基本結(jié)構(gòu)。這比單純看語(yǔ)法要有趣得多。// MyVector.h #ifndef MYVECTOR_H #define MYVECTOR_H templatetypename T class MyVector { private: T* m_data; // 指向動(dòng)態(tài)數(shù)組的指針 size_t m_size; // 當(dāng)前元素?cái)?shù)量 size_t m_capacity; // 當(dāng)前分配的內(nèi)存能容納的元素?cái)?shù)量 void reallocate(size_t new_capacity) { // 內(nèi)存重新分配的邏輯簡(jiǎn)化版 T* new_data new T[new_capacity]; for(size_t i 0; i m_size; i) { new_data[i] std::move(m_data[i]); // 使用移動(dòng)語(yǔ)義提升效率 } delete[] m_data; m_data new_data; m_capacity new_capacity; } public: // 構(gòu)造函數(shù) MyVector() : m_data(nullptr), m_size(0), m_capacity(0) {} explicit MyVector(size_t count, const T value T()) { m_data new T[count]; m_size m_capacity count; for(size_t i 0; i count; i) { m_data[i] value; } } // 析構(gòu)函數(shù) ~MyVector() { delete[] m_data; } // 拷貝構(gòu)造函數(shù)需要深拷貝 MyVector(const MyVector other) : m_size(other.m_size), m_capacity(other.m_capacity) { m_data new T[m_capacity]; for(size_t i 0; i m_size; i) { m_data[i] other.m_data[i]; } } // 拷貝賦值運(yùn)算符 MyVector operator(const MyVector other) { if (this ! other) { delete[] m_data; m_size other.m_size; m_capacity other.m_capacity; m_data new T[m_capacity]; for(size_t i 0; i m_size; i) { m_data[i] other.m_data[i]; } } return *this; } // 移動(dòng)構(gòu)造函數(shù) (C11) MyVector(MyVector other) noexcept : m_data(other.m_data), m_size(other.m_size), m_capacity(other.m_capacity) { other.m_data nullptr; other.m_size other.m_capacity 0; } // 元素訪(fǎng)問(wèn) T operator[](size_t index) { // 應(yīng)該添加邊界檢查這里簡(jiǎn)化了 return m_data[index]; } const T operator[](size_t index) const { return m_data[index]; } // 容量相關(guān) size_t size() const { return m_size; } size_t capacity() const { return m_capacity; } bool empty() const { return m_size 0; } // 添加元素 void push_back(const T value) { if (m_size m_capacity) { reallocate(m_capacity 0 ? 1 : m_capacity * 2); // 簡(jiǎn)單擴(kuò)容策略 } m_data[m_size] value; } void push_back(T value) { // 右值引用重載支持移動(dòng) if (m_size m_capacity) { reallocate(m_capacity 0 ? 1 : m_capacity * 2); } m_data[m_size] std::move(value); } // ... 其他成員函數(shù)如 pop_back, clear, insert, erase 等 }; #endif // MYVECTOR_H關(guān)鍵點(diǎn)解析模板聲明templatetypename T class MyVector {...}。整個(gè)類(lèi)的定義都基于這個(gè)類(lèi)型參數(shù)T。成員變量T* m_data。這意味著m_data可以指向任何類(lèi)型T的數(shù)組。MyVectorint的m_data是int*MyVectorstd::string的m_data是std::string*。成員函數(shù)所有成員函數(shù)都自動(dòng)成為“函數(shù)模板”。例如push_back(const T value)在MyVectorint實(shí)例中就是push_back(const int value)。在類(lèi)外定義成員函數(shù)如果你想把成員函數(shù)的定義放在類(lèi)外語(yǔ)法需要特別注意templatetypename T // 必須再次聲明模板參數(shù) void MyVectorT::push_back(const T value) { // 類(lèi)名后要加上T // 函數(shù)體 }使用MyVectorint vec1;MyVectorstd::string vec2;。編譯器會(huì)為你生成兩個(gè)完全不同的類(lèi)MyVectorint和MyVectorstd::string。它們之間沒(méi)有繼承關(guān)系是獨(dú)立的類(lèi)型。3.2 類(lèi)模板的偏特化與默認(rèn)模板參數(shù)偏特化允許你為模板參數(shù)的一部分提供特殊版本。最常見(jiàn)的是針對(duì)指針類(lèi)型的特化。// 通用版本 templatetypename T class MyContainer { // 假設(shè)通用版本存儲(chǔ)T對(duì)象并進(jìn)行深拷貝等操作 }; // 偏特化版本針對(duì) T* 類(lèi)型指針 templatetypename T class MyContainerT* { // 針對(duì)指針的特殊處理例如可能只拷貝指針本身淺拷貝 // 或者提供不同的內(nèi)存管理策略。 // 注意這里的T是指針指向的類(lèi)型例如 MyContainerint* 則 T 是 int。 };默認(rèn)模板參數(shù)讓使用變得更方便標(biāo)準(zhǔn)庫(kù)的vector就有第二個(gè)參數(shù)分配器。templatetypename T, typename Allocator std::allocatorT class MyAdvancedVector { // 使用Allocator來(lái)分配/釋放內(nèi)存而不是直接使用new/delete }; MyAdvancedVectorint vec; // 等價(jià)于 MyAdvancedVectorint, std::allocatorint3.3 依賴(lài)類(lèi)型與typename關(guān)鍵字在類(lèi)模板內(nèi)部有時(shí)編譯器無(wú)法區(qū)分一個(gè)標(biāo)識(shí)符是類(lèi)型還是靜態(tài)成員。這時(shí)需要用typename關(guān)鍵字來(lái)顯式告知編譯器“這是一個(gè)類(lèi)型”。templatetypename T class MyClass { T::SubType* ptr; // 歧義T::SubType 是類(lèi)型那么這是指針聲明還是靜態(tài)成員那么這是乘法運(yùn)算 };如果T::SubType是一個(gè)類(lèi)型比如一個(gè)嵌套的類(lèi)或typedef正確的寫(xiě)法是templatetypename T class MyClass { typename T::SubType* ptr; // 明確告訴編譯器 T::SubType 是一個(gè)類(lèi)型 };這個(gè)規(guī)則被稱(chēng)為“依賴(lài)名稱(chēng)Dependent Name”規(guī)則。因?yàn)镾ubType依賴(lài)于模板參數(shù)T在模板定義時(shí)編譯器不知道T具體是什么所以需要typename來(lái)消除歧義。在類(lèi)模板中編寫(xiě)代碼時(shí)這是一個(gè)非常容易出錯(cuò)的地方。4. 模板實(shí)戰(zhàn)分離編譯的“坑”與解決方案這是模板學(xué)習(xí)路上最大的攔路虎之一無(wú)數(shù)新手在此折戟。問(wèn)題很簡(jiǎn)單為什么我把模板的聲明放在.h文件定義放在.cpp文件編譯鏈接時(shí)會(huì)報(bào)“未定義的引用”錯(cuò)誤4.1 問(wèn)題重現(xiàn)經(jīng)典的鏈接錯(cuò)誤假設(shè)我們有如下文件結(jié)構(gòu)myMath.h(聲明)// myMath.h #ifndef MYMATH_H #define MYMATH_H templatetypename T T add(const T a, const T b); #endifmyMath.cpp(定義)// myMath.cpp #include myMath.h templatetypename T T add(const T a, const T b) { return a b; } // 顯式實(shí)例化一種解決方案但不完美 template int addint(const int, const int);main.cpp(使用)// main.cpp #include myMath.h #include iostream int main() { int sum add(1, 2); // 調(diào)用 addint std::cout sum std::endl; double dsum add(1.1, 2.2); // 調(diào)用 adddouble 這里會(huì)鏈接錯(cuò)誤 std::cout dsum std::endl; return 0; }編譯并鏈接g -c myMath.cpp -o myMath.o g -c main.cpp -o main.o g main.o myMath.o -o main對(duì)于add(1,2)因?yàn)槲覀冊(cè)趍yMath.cpp中顯式實(shí)例化了addint所以myMath.o里有addint的代碼鏈接成功。 對(duì)于add(1.1, 2.2)編譯器在main.cpp中看到調(diào)用需要adddouble的實(shí)例。它去myMath.o里找沒(méi)找到因?yàn)槲覀冎伙@式實(shí)例化了int版本于是鏈接器報(bào)錯(cuò)undefined reference todouble add (double const, double const)。4.2 根因分析編譯單元與實(shí)例化時(shí)機(jī)C的編譯模型是“分離編譯”。每個(gè).cpp文件連同它包含的.h文件是一個(gè)獨(dú)立的編譯單元Translation Unit, TU。編譯器一次處理一個(gè)TU。對(duì)于普通函數(shù)main.cpp里看到add的聲明知道它存在。鏈接時(shí)鏈接器去myMath.o里找到add函數(shù)體的定義合并到一起萬(wàn)事大吉。對(duì)于函數(shù)模板add不是一個(gè)函數(shù)而是一個(gè)生成函數(shù)的藍(lán)圖。當(dāng)編譯器處理main.cpp這個(gè)TU時(shí)它看到了adddouble的調(diào)用也看到了add的模板聲明來(lái)自myMath.h但它看不到模板的定義定義在另一個(gè)TUmyMath.cpp里。編譯器無(wú)法在main.cpp這個(gè)TU里為adddouble進(jìn)行實(shí)例化生成代碼。于是它只能假設(shè)這個(gè)實(shí)例會(huì)在別的TU里生成并留下一個(gè)待鏈接的符號(hào)。而編譯器處理myMath.cpp這個(gè)TU時(shí)它看到了add模板的完整定義但沒(méi)有看到任何地方要求實(shí)例化adddouble我們只顯式實(shí)例化了int版本。所以它不會(huì)生成adddouble的代碼。最終鏈接器在所有的.o文件里都找不到adddouble的實(shí)現(xiàn)于是報(bào)錯(cuò)。4.3 解決方案將模板定義放在頭文件中主流做法既然問(wèn)題在于編譯器在需要實(shí)例化的TU里看不到模板定義那最直接的辦法就是把定義也放到頭文件里讓所有包含該頭文件的TU都能看到完整定義。// myMath.h (聲明與定義合一) #ifndef MYMATH_H #define MYMATH_H templatetypename T T add(const T a, const T b) { // 定義直接寫(xiě)在頭文件里 return a b; } #endif現(xiàn)在main.cpp包含了myMath.h編譯器在處理main.cpp時(shí)既看到了adddouble的調(diào)用也看到了add模板的完整定義。于是它當(dāng)場(chǎng)實(shí)例化出adddouble的代碼編譯進(jìn)main.o。鏈接時(shí)自然就沒(méi)有問(wèn)題了。這是C模板編程中最常用、最推薦的做法。標(biāo)準(zhǔn)庫(kù)的所有模板實(shí)現(xiàn)也都是放在頭文件里的比如vector的實(shí)現(xiàn)就在vector頭文件中。優(yōu)缺點(diǎn)優(yōu)點(diǎn)簡(jiǎn)單直觀(guān)對(duì)任何類(lèi)型都能自動(dòng)實(shí)例化。缺點(diǎn)暴露實(shí)現(xiàn)細(xì)節(jié)用戶(hù)會(huì)看到你的所有源代碼。編譯時(shí)間增長(zhǎng)模板代碼在每個(gè)包含它的TU中都會(huì)被編譯一次。如果模板很復(fù)雜且在多個(gè)文件中被廣泛使用會(huì)顯著增加編譯時(shí)間?？赡茉斐纱a膨脹同一個(gè)模板在不同TU中可能被實(shí)例化多次雖然鏈接器會(huì)去重但編譯期開(kāi)銷(xiāo)是存在的。4.4 替代方案顯式實(shí)例化與導(dǎo)出模板較少用如果你堅(jiān)持要將定義放在.cpp文件就必須在使用該模板的所有可能類(lèi)型的地方進(jìn)行顯式實(shí)例化。// myMath.cpp #include myMath.h templatetypename T T add(const T a, const T b) { return a b; } // 顯式實(shí)例化所有你可能用到的類(lèi)型 template int addint(const int, const int); template double adddouble(const double, const double); template float addfloat(const float, const float); // ... 更多類(lèi)型這種方法非常不靈活每增加一種新的使用類(lèi)型你就要回來(lái)修改.cpp文件并重新編譯它。只適用于模板參數(shù)類(lèi)型非常有限且確定的場(chǎng)景。至于C標(biāo)準(zhǔn)曾嘗試引入的export template關(guān)鍵字它允許在某個(gè)TU中定義模板在其他TU中使用。但該特性實(shí)現(xiàn)復(fù)雜支持度極低主要只有Comeau C編譯器支持在C11中已被棄用現(xiàn)代C編程中完全不應(yīng)考慮。我的實(shí)戰(zhàn)建議對(duì)于項(xiàng)目自用的模板毫不猶豫地采用“定義放在頭文件”的方式。這是最省心、最不容易出錯(cuò)的做法。對(duì)于編譯時(shí)間的擔(dān)憂(yōu)可以通過(guò)合理的頭文件包含管理、前置聲明、以及利用編譯器的預(yù)編譯頭文件PCH等技術(shù)來(lái)緩解。只有當(dāng)你在構(gòu)建一個(gè)庫(kù)并且希望隱藏某些復(fù)雜模板的實(shí)現(xiàn)細(xì)節(jié)時(shí)才需要考慮更高級(jí)的技術(shù)如使用顯式實(shí)例化來(lái)封裝到動(dòng)態(tài)庫(kù)中但這屬于進(jìn)階話(huà)題了。5. 模板元編程初窺與編譯期計(jì)算模板的能力遠(yuǎn)不止生成類(lèi)型安全的通用代碼。利用模板的特性和編譯器的實(shí)例化機(jī)制我們可以在編譯期執(zhí)行計(jì)算、做出決策這就是“模板元編程”Template Metaprogramming, TMP。它聽(tīng)起來(lái)很高深但基礎(chǔ)概念可以從一個(gè)經(jīng)典的例子開(kāi)始編譯期階乘計(jì)算。5.1 編譯期階乘當(dāng)模板遇見(jiàn)遞歸// 通用模板計(jì)算 FactorialN::value templateunsigned int N struct Factorial { static const unsigned long long value N * FactorialN - 1::value; }; // 特化遞歸基例當(dāng) N 為 0 時(shí) template struct Factorial0 { static const unsigned long long value 1; }; int main() { // 值在編譯期就已經(jīng)計(jì)算完畢 std::cout Factorial5::value std::endl; // 輸出 120 std::cout Factorial10::value std::endl; // 輸出 3628800 // 下面這行代碼會(huì)導(dǎo)致編譯期遞歸實(shí)例化如果編譯器遞歸深度不夠會(huì)報(bào)錯(cuò) // std::cout Factorial100::value std::endl; // 可能編譯失敗或溢出 return 0; }發(fā)生了什么當(dāng)編譯器看到Factorial5::value時(shí)它需要實(shí)例化Factorial5這個(gè)模板。根據(jù)通用模板Factorial5::value等于5 * Factorial4::value。這要求編譯器再去實(shí)例化Factorial4。這個(gè)過(guò)程遞歸進(jìn)行直到需要Factorial0::value。編譯器發(fā)現(xiàn)存在針對(duì)0的全特化版本其value為1。然后遞歸回溯Factorial1::value 1 * 1 1Factorial2::value 2 * 1 2 ... 最終計(jì)算出Factorial5::value 120。所有這些計(jì)算都發(fā)生在編譯期。最終生成的程序里Factorial5::value就是一個(gè)直接被替換為120的常量。運(yùn)行時(shí)沒(méi)有任何計(jì)算開(kāi)銷(xiāo)。這就是模板元編程的威力將計(jì)算從運(yùn)行時(shí)轉(zhuǎn)移到編譯時(shí)。它常用于生成高性能的、針對(duì)特定常量的優(yōu)化代碼比如在數(shù)學(xué)庫(kù)、序列化庫(kù)或游戲引擎中。5.2 類(lèi)型萃取Type Traits與std::enable_if模板元編程更常見(jiàn)的應(yīng)用是“類(lèi)型萃取”Type Traits即獲取或判斷類(lèi)型的屬性。C標(biāo)準(zhǔn)庫(kù)在type_traits中提供了大量工具。例如判斷一個(gè)類(lèi)型是否為指針templatetypename T struct IsPointer { static const bool value false; }; templatetypename T struct IsPointerT* { // 針對(duì)指針類(lèi)型的偏特化 static const bool value true; }; int main() { std::cout std::boolalpha; std::cout IsPointerint::value std::endl; // false std::cout IsPointerint*::value std::endl; // true std::cout IsPointerstd::string*::value std::endl; // true }結(jié)合std::enable_if可以實(shí)現(xiàn)SFINAESubstitution Failure Is Not An Error技術(shù)用于在編譯期根據(jù)類(lèi)型條件選擇不同的函數(shù)重載或模板特化。這是實(shí)現(xiàn)編譯期多態(tài)和約束模板的強(qiáng)大工具。#include type_traits #include iostream // 版本1處理算術(shù)類(lèi)型int, double, float... templatetypename T typename std::enable_ifstd::is_arithmeticT::value, void::type print(const T val) { std::cout Arithmetic value: val std::endl; } // 版本2處理其他類(lèi)型比如指針這里簡(jiǎn)單處理 templatetypename T typename std::enable_if!std::is_arithmeticT::value, void::type print(const T val) { std::cout Non-arithmetic type. std::endl; } int main() { print(42); // 調(diào)用版本1 print(3.14); // 調(diào)用版本1 int* p nullptr; print(p); // 調(diào)用版本2 }std::enable_ifCondition, Type是一個(gè)模板只有當(dāng)Condition為true時(shí)它才有一個(gè)名為type的成員即Type否則它沒(méi)有type成員。SFINAE規(guī)則規(guī)定在模板參數(shù)推導(dǎo)/替換時(shí)如果導(dǎo)致一個(gè)沒(méi)有意義的類(lèi)型比如訪(fǎng)問(wèn)不存在的type這個(gè)模板候選并不會(huì)導(dǎo)致編譯錯(cuò)誤而是被簡(jiǎn)單地忽略。這樣編譯器就會(huì)選擇另一個(gè)匹配的候選。模板元編程是C中最深?yuàn)W的特性之一它打開(kāi)了編譯期計(jì)算和類(lèi)型操縱的大門(mén)。對(duì)于初學(xué)者理解其基本思想編譯期遞歸、特化、類(lèi)型計(jì)算即可。在實(shí)際開(kāi)發(fā)中更多的是使用標(biāo)準(zhǔn)庫(kù)提供的現(xiàn)成type_traits而不是從頭自己寫(xiě)復(fù)雜的模板元程序。6. 常見(jiàn)陷阱、調(diào)試技巧與最佳實(shí)踐模板功能強(qiáng)大但也容易產(chǎn)生令人困惑的編譯錯(cuò)誤和運(yùn)行時(shí)問(wèn)題。掌握一些常見(jiàn)陷阱和調(diào)試方法至關(guān)重要。6.1 晦澀的編譯錯(cuò)誤信息模板相關(guān)的錯(cuò)誤信息通常又長(zhǎng)又晦澀因?yàn)榫幾g器會(huì)把整個(gè)模板實(shí)例化的路徑都打印出來(lái)。例如一個(gè)簡(jiǎn)單的類(lèi)型不匹配錯(cuò)誤templatetypename T void foo(T a, T b) {} int main() { foo(10, 3.14); // 錯(cuò)誤 }GCC的錯(cuò)誤信息可能包含幾十行核心信息埋在中間。關(guān)鍵要學(xué)會(huì)從錯(cuò)誤信息中尋找“第一手線(xiàn)索”直接看錯(cuò)誤信息的最后幾行編譯器通常會(huì)把最直接的問(wèn)題放在最后。尋找error:關(guān)鍵字后面的內(nèi)容。注意涉及的具體類(lèi)型比如int和double在錯(cuò)誤信息中的出現(xiàn)。對(duì)于上面的例子核心錯(cuò)誤可能是could not deduce template parameter ‘T’ from ‘double’或no matching function for call to ‘foo(int, double)’。Clang編譯器的錯(cuò)誤信息通常比GCC更友好一些。使用現(xiàn)代的IDE如CLion, Visual Studio也能很好地高亮顯示錯(cuò)誤位置和原因。6.2 兩階段查找與依賴(lài)名稱(chēng)這是類(lèi)模板中一個(gè)高級(jí)但重要的坑?？紤]以下代碼templatetypename T class Base { public: void bar() { std::cout Base::bar std::endl; } }; templatetypename T class Derived : public BaseT { public: void foo() { bar(); // 這里能編譯通過(guò)嗎 } };在Derived::foo()中調(diào)用bar()意圖是調(diào)用基類(lèi)BaseT的bar()。但在某些編譯器或標(biāo)準(zhǔn)下這可能會(huì)編譯失敗原因是兩階段查找Two-phase lookup。第一階段模板定義時(shí)編譯器解析模板本身此時(shí)它不知道BaseT具體是什么因?yàn)門(mén)未知。它會(huì)進(jìn)行“非依賴(lài)名稱(chēng)”的查找。bar()在這里看起來(lái)不依賴(lài)于模板參數(shù)T它不是一個(gè)成員也不是通過(guò)this-或BaseT::訪(fǎng)問(wèn)所以編譯器會(huì)在當(dāng)前作用域和外圍作用域查找bar如果找不到可能就會(huì)報(bào)錯(cuò)。第二階段模板實(shí)例化時(shí)當(dāng)Derivedint被實(shí)例化時(shí)編譯器知道BaseT就是Baseint此時(shí)會(huì)進(jìn)行“依賴(lài)名稱(chēng)”的查找。為了讓編譯器知道bar()是依賴(lài)于模板參數(shù)T的因?yàn)樗菑腂aseT繼承來(lái)的我們需要用this-或顯式指定基類(lèi)域來(lái)訪(fǎng)問(wèn)它void foo() { this-bar(); // 方法1通過(guò)this指針表明bar是成員依賴(lài)于this的類(lèi)型即DerivedT進(jìn)而依賴(lài)于T // 或者 BaseT::bar(); // 方法2顯式指定基類(lèi)域 }6.3 最佳實(shí)踐小結(jié)模板定義放頭文件這是避免分離編譯問(wèn)題最簡(jiǎn)單有效的方法。使用有意義的模板參數(shù)名除了簡(jiǎn)單的T對(duì)于有特定要求的參數(shù)可以使用Container,Iterator,Predicate等名字提高可讀性。約束模板參數(shù)C20起如果可能使用C20的Concepts來(lái)明確約束模板參數(shù)必須滿(mǎn)足的條件這可以大幅提升錯(cuò)誤信息的可讀性。// C20 之前錯(cuò)誤可能很隱晦 templatetypename T void sortContainer(T container) { /* 要求T有.begin()和.end() */ } // C20 使用Concepts templatestd::ranges::range T void sortContainer(T container) { /* ... */ } // 如果傳入非范圍類(lèi)型錯(cuò)誤信息會(huì)直接告訴你“不滿(mǎn)足約束‘range’”警惕代碼膨脹模板會(huì)為每種用到的類(lèi)型生成一份代碼。避免在模板中內(nèi)聯(lián)過(guò)大的函數(shù)體尤其是那些不依賴(lài)于模板參數(shù)的代碼可以考慮提取到非模板函數(shù)或基類(lèi)中。善用特化和重載為特殊類(lèi)型提供特化版本以?xún)?yōu)化性能或修正行為。從簡(jiǎn)單開(kāi)始先寫(xiě)一個(gè)具體類(lèi)型的版本確保邏輯正確然后將其“模板化”。這比一開(kāi)始就寫(xiě)通用模板要容易調(diào)試得多。理解實(shí)例化過(guò)程心里要清楚vectorint和vectorstring是兩個(gè)完全無(wú)關(guān)的類(lèi)。這有助于理解模板的優(yōu)缺點(diǎn)。模板是C從“面向?qū)ο笳Z(yǔ)言”升維到“多范式語(yǔ)言”的關(guān)鍵特性。它提供的編譯期多態(tài)和代碼生成能力是編寫(xiě)高效、靈活、可復(fù)用庫(kù)的基石。初學(xué)時(shí)會(huì)覺(jué)得語(yǔ)法古怪、錯(cuò)誤難懂但一旦掌握你將擁有更強(qiáng)大的抽象能力和問(wèn)題解決工具。從寫(xiě)好一個(gè)簡(jiǎn)單的swap模板開(kāi)始逐步深入到容器、算法、智能指針的實(shí)現(xiàn)你會(huì)發(fā)現(xiàn)之前很多看似復(fù)雜的庫(kù)設(shè)計(jì)其核心思想都離不開(kāi)模板。