模板到類模板的泛型實(shí)踐指南)
1. 從“重復(fù)造輪子”到“一勞永逸”為什么我們需要模板如果你寫過一段時(shí)間的C尤其是寫過一些需要處理多種數(shù)據(jù)類型的工具函數(shù)或數(shù)據(jù)結(jié)構(gòu)你大概率經(jīng)歷過這種痛苦為了給int、double、string各寫一個(gè)功能完全相同的max函數(shù)你需要復(fù)制粘貼三份代碼然后小心翼翼地修改參數(shù)和返回類型。這不僅僅是體力活更是維護(hù)的噩夢(mèng)——當(dāng)你發(fā)現(xiàn)算法里有個(gè)小bug你得在三處地方做同樣的修改稍有不慎就會(huì)遺漏。這其實(shí)就是C泛型編程要解決的核心痛點(diǎn)類型無關(guān)的代碼復(fù)用。而實(shí)現(xiàn)這一目標(biāo)的基石就是模板。模板不是運(yùn)行時(shí)特性而是一種強(qiáng)大的編譯時(shí)代碼生成機(jī)制。它允許你編寫一個(gè)“藍(lán)圖”編譯器會(huì)根據(jù)你使用這個(gè)藍(lán)圖時(shí)提供的具體類型為你生成一份份定制的代碼。這就像做月餅?zāi)０迨悄莻€(gè)模具int、double就是不同的餡料用同一個(gè)模具能壓出形狀相同但餡料各異的月餅。泛型編程的思想是寫出與數(shù)據(jù)類型無關(guān)的通用算法。在C中這主要通過函數(shù)模板和類模板來實(shí)現(xiàn)。它們讓STL標(biāo)準(zhǔn)模板庫成為可能——你用的vectorint、liststring、sort算法底層都是模板。沒有模板C的生態(tài)將倒退二十年。所以掌握模板不僅僅是多學(xué)一個(gè)語法更是打開現(xiàn)代C寶庫的鑰匙是從“寫代碼”到“設(shè)計(jì)代碼”的關(guān)鍵一步。2. 函數(shù)模板編寫你的第一個(gè)通用算法函數(shù)模板是泛型編程的起點(diǎn)。它的目標(biāo)很簡(jiǎn)單定義一個(gè)函數(shù)家族這些函數(shù)除了參數(shù)類型和返回類型不同其行為邏輯完全一致。2.1 基礎(chǔ)語法與聲明一個(gè)最簡(jiǎn)單的函數(shù)模板聲明如下template typename T T max(T a, T b) { return (a b) ? a : b; }我們來拆解這個(gè)聲明template typename T這是模板的引入聲明。template關(guān)鍵字告訴編譯器接下來要定義一個(gè)模板。尖括號(hào)里是模板參數(shù)列表。typename T這里定義了一個(gè)類型模板參數(shù)T。typename關(guān)鍵字表示T是一個(gè)類型占位符也可以用古老的class關(guān)鍵字兩者在此處等價(jià)。你可以把T想象成一個(gè)空盒子在編譯時(shí)編譯器會(huì)用實(shí)際的類型如int、double來“填充”這個(gè)盒子。T max(T a, T b)函數(shù)簽名。這里的T就是模板參數(shù)T它同時(shí)約束了參數(shù)a、b的類型以及函數(shù)的返回類型。這意味著調(diào)用max(1, 2)時(shí)T被推導(dǎo)為int調(diào)用max(3.14, 2.71)時(shí)T被推導(dǎo)為double。編譯器會(huì)分別為它們生成int max(int, int)和double max(double, double)兩個(gè)具體的函數(shù)實(shí)例這個(gè)過程叫做實(shí)例化。注意模板本身不是函數(shù)它不產(chǎn)生任何可執(zhí)行代碼。它只是一份藍(lán)圖。只有當(dāng)你在代碼中真正使用它如調(diào)用max(1, 2)時(shí)編譯器才會(huì)根據(jù)這份藍(lán)圖結(jié)合具體的類型參數(shù)生成一個(gè)實(shí)實(shí)在在的函數(shù)即模板實(shí)例這個(gè)過程發(fā)生在編譯期。2.2 模板參數(shù)推導(dǎo)與顯式指定大多數(shù)時(shí)候我們享受編譯器自動(dòng)推導(dǎo)模板參數(shù)的便利。推導(dǎo)規(guī)則很直觀編譯器會(huì)檢查函數(shù)調(diào)用時(shí)實(shí)參的類型并嘗試將它們匹配到模板參數(shù)T上。auto x max(10, 20); // T 被推導(dǎo)為 int auto y max(5.5, 4.4); // T 被推導(dǎo)為 double auto z max(‘a(chǎn)‘, ‘b‘); // T 被推導(dǎo)為 char但是自動(dòng)推導(dǎo)并非萬能。有時(shí)我們需要干預(yù)類型轉(zhuǎn)換max(10, 20.5)會(huì)編譯失敗因?yàn)榈谝粋€(gè)實(shí)參推導(dǎo)T為int第二個(gè)推導(dǎo)為double編譯器無法確定T到底是什么。此時(shí)需要顯式指定或強(qiáng)制轉(zhuǎn)換。期望返回不同類型比如我們有一個(gè)模板函數(shù)template typename T, typename U auto add(T a, U b) - decltype(ab)。如果我們調(diào)用add(1, 2.0)編譯器能推導(dǎo)出Tint, Udouble但如果我們想固定T為long呢調(diào)用歧義當(dāng)有多個(gè)重載的模板或函數(shù)時(shí)顯式指定可以消除歧義。顯式指定模板參數(shù)的語法是在函數(shù)名后使用尖括號(hào)auto a maxint(10, 20.5); // 顯式指定T為int20.5被隱式轉(zhuǎn)換為int auto b maxdouble(10, 20.5); // 顯式指定T為double10被隱式轉(zhuǎn)換為double // 一個(gè)更實(shí)際的例子防止整數(shù)除法 template typename T T divide(T a, T b) { return a / b; } auto result dividedouble(5, 2); // 結(jié)果是2.5。如果寫成divide(5,2)結(jié)果是2int除法2.3 多模板參數(shù)與返回類型處理現(xiàn)實(shí)中的函數(shù)很少只處理單一類型。模板支持多個(gè)類型參數(shù)。template typename T, typename U void printPair(const T first, const U second) { std::cout ( first , second ) std::endl; } printPair(42, Hello); // Tint, Uconst char*更復(fù)雜的情況是處理返回類型。當(dāng)操作涉及多個(gè)可能類型時(shí)返回類型可能不是任何一個(gè)模板參數(shù)。C11引入了尾置返回類型與decltype來解決。template typename T, typename U auto add(T a, U b) - decltype(a b) { return a b; } // C14 可以更簡(jiǎn)潔 template typename T, typename U auto add_simple(T a, U b) { return a b; // 編譯器自動(dòng)推導(dǎo)返回類型 }這里decltype(ab)會(huì)在編譯時(shí)推導(dǎo)出表達(dá)式ab的類型作為函數(shù)的返回類型。這完美處理了int double - double這類情況。2.4 實(shí)戰(zhàn)心得函數(shù)模板的陷阱與最佳實(shí)踐將聲明和定義都放在頭文件這是模板使用中最容易踩的坑。因?yàn)槟０迨窃诰幾g時(shí)根據(jù)使用情況進(jìn)行實(shí)例化的編譯器在編譯一個(gè).cpp文件時(shí)必須能看到模板的完整定義才能為當(dāng)前翻譯單元生成具體的實(shí)例代碼。如果把模板的聲明放在.h定義放在.cpp在鏈接其他調(diào)用該模板的.cpp文件時(shí)會(huì)找不到實(shí)例化的符號(hào)導(dǎo)致“未定義的引用”錯(cuò)誤。所以函數(shù)模板以及類模板的成員函數(shù)的定義必須寫在頭文件里。優(yōu)先使用const T作為參數(shù)對(duì)于可能昂貴的復(fù)制類型如std::string,std::vector使用常量引用可以避免不必要的拷貝。我們的max模板最初版本是按值傳遞對(duì)于基礎(chǔ)類型沒問題但對(duì)于大對(duì)象效率低下。改進(jìn)版如下template typename T const T max(const T a, const T b) { return (a b) ? a : b; }注意operator的可用性我們的max模板依賴于類型T定義了operator。如果你用它來比較兩個(gè)自定義的類對(duì)象必須確保該類重載了運(yùn)算符否則編譯失敗。這是模板的“契約”模板代碼對(duì)類型參數(shù)有隱式要求這被稱為“概念”Concepts C20已正式引入。在C17及之前違反契約會(huì)導(dǎo)致冗長的編譯錯(cuò)誤。處理特殊類型考慮指針類型。max(p1, p2)比較的是指針地址而非指針?biāo)竷?nèi)容。如果你需要比較指針指向的值可能需要針對(duì)指針類型提供特化版本后面會(huì)講或使用函數(shù)對(duì)象。3. 類模板構(gòu)建通用的數(shù)據(jù)結(jié)構(gòu)如果說函數(shù)模板讓算法通用化那么類模板就讓數(shù)據(jù)結(jié)構(gòu)的通用化成為可能。std::vectorstd::liststd::map這些容器都是類模板的經(jīng)典代表。3.1 類模板的定義與使用定義一個(gè)簡(jiǎn)單的棧Stack類模板template typename T class Stack { private: std::vectorT elems; // 使用vector作為底層存儲(chǔ) public: void push(const T elem) { elems.push_back(elem); } void pop() { if (!elems.empty()) { elems.pop_back(); } } const T top() const { if (!elems.empty()) { return elems.back(); } throw std::out_of_range(Stack::top(): empty stack); } bool empty() const { return elems.empty(); } };使用這個(gè)類模板時(shí)你必須在類名后面指定模板參數(shù)Stackint intStack; // 一個(gè)存儲(chǔ)int的棧 Stackstd::string strStack; // 一個(gè)存儲(chǔ)string的棧 intStack.push(42); strStack.push(hello); // Stack rawStack; // 錯(cuò)誤必須指定模板參數(shù)Stackint和Stackstd::string是兩個(gè)完全不同的類由編譯器在編譯時(shí)生成。它們之間沒有繼承關(guān)系。3.2 類模板的成員函數(shù)定義類模板的成員函數(shù)在類外定義時(shí)語法需要特別注意template typename T // 每個(gè)成員函數(shù)都需要獨(dú)立的template引入 void StackT::push(const T elem) { // 類名限定符是 StackT:: elems.push_back(elem); } template typename T const T StackT::top() const { if (elems.empty()) { throw std::out_of_range(Stack::top(): empty stack); } return elems.back(); }關(guān)鍵點(diǎn)在于成員函數(shù)定義前必須重復(fù)template typename T并且使用StackT::而非Stack::來指明這是哪個(gè)模板類的成員。3.3 默認(rèn)模板參數(shù)與多參數(shù)模板和函數(shù)參數(shù)一樣模板參數(shù)也可以有默認(rèn)值。這在標(biāo)準(zhǔn)庫中非常常見。template typename T, typename Container std::vectorT class Stack { private: Container elems; // 底層容器可配置 public: // ... 成員函數(shù) }; // 使用 Stackint s1; // 等價(jià)于 Stackint, std::vectorint Stackint, std::dequeint s2; // 使用deque作為底層容器這里我們定義了一個(gè)更通用的Stack它接受兩個(gè)模板參數(shù)存儲(chǔ)的元素類型T和底層容器類型Container并為Container提供了默認(rèn)值std::vectorT。這體現(xiàn)了策略模式的思想將“存儲(chǔ)策略”從棧算法中解耦出來。多參數(shù)模板還能用于定義映射關(guān)系例如template typename Key, typename Value, typename Compare std::lessKey class SimpleMap { // 使用 std::pairKey, Value 存儲(chǔ) Compare 用于比較Key // ... };3.4 在類模板內(nèi)部使用自身類型在類模板內(nèi)部當(dāng)引用這個(gè)類本身時(shí)有一個(gè)簡(jiǎn)化的寫法。例如我們想為Stack添加一個(gè)拷貝構(gòu)造函數(shù)template typename T class Stack { // ... public: Stack() default; // 拷貝構(gòu)造函數(shù) Stack(const Stack other) : elems(other.elems) {} // 正確Stack 是 StackT 的簡(jiǎn)寫 // 或者顯式寫出 Stack(const StackT other) : elems(other.elems) {} // 同樣正確 };在類模板StackT的作用域內(nèi)直接使用Stack等價(jià)于StackT。但在類外就必須使用StackT。3.5 實(shí)戰(zhàn)心得類模板的設(shè)計(jì)與性能考量考慮底層存儲(chǔ)的獨(dú)立性如上例所示將底層容器作為模板參數(shù)策略模式可以極大提高類的靈活性。std::stack就是這樣設(shè)計(jì)的它的第二個(gè)模板參數(shù)就是Container。這比寫死使用std::vector要優(yōu)雅得多。警惕分離編譯問題和函數(shù)模板一樣類模板的成員函數(shù)定義通常也必須放在頭文件中。如果你堅(jiān)持要將定義分離到.cpp文件那么你必須在這個(gè).cpp文件中顯式實(shí)例化所有你可能用到的模板類型例如template class Stackint;、template class Stackstd::string;。這很不靈活因此主流做法仍是全部放在頭文件。模板參數(shù)不一定是類型除了typename模板參數(shù)還可以是非類型參數(shù)比如整型常量、指針或引用。template typename T, std::size_t MaxSize class FixedStack { T elems[MaxSize]; // 固定大小的數(shù)組 std::size_t numElems{0}; public: void push(const T elem) { if (numElems MaxSize) { throw std::out_of_range(Stack is full); } elems[numElems] elem; } // ... }; FixedStackint, 100 intStack; // 一個(gè)最大容量為100的int棧非類型模板參數(shù)在編譯時(shí)必須是可知的常量表達(dá)式。它常用于指定緩沖區(qū)大小、數(shù)組維度等。性能與代碼膨脹模板會(huì)導(dǎo)致代碼膨脹Code Bloat。Stackint、Stackdouble、StackMyClass會(huì)生成三份不同的機(jī)器碼。雖然內(nèi)聯(lián)優(yōu)化可以緩解但對(duì)于大型模板庫這確實(shí)會(huì)增加二進(jìn)制文件大小。現(xiàn)代鏈接器有去重技術(shù)相同代碼折疊但設(shè)計(jì)時(shí)仍需有意識(shí)。如果某個(gè)成員函數(shù)與類型T完全無關(guān)考慮將其提取到非模板基類中。4. 模板特化與偏特化處理特殊情況模板提供了通用方案但總有特例。例如我們?yōu)閏onst char*C風(fēng)格字符串特制一個(gè)max函數(shù)讓它比較字符串內(nèi)容而非指針地址。這就是模板特化。4.1 函數(shù)模板特化// 通用版本 template typename T const T max(const T a, const T b) { return (a b) ? a : b; } // 為 const char* 特化的版本 template const char* maxconst char*(const char* a, const char* b) { return std::strcmp(a, b) 0 ? a : b; } // 調(diào)用 const char* s1 hello; const char* s2 world; auto result max(s1, s2); // 調(diào)用特化版本比較字符串內(nèi)容特化版本的語法是template 然后給出完全具體的函數(shù)簽名。編譯器在匹配時(shí)會(huì)優(yōu)先選擇最特化的版本。注意函數(shù)模板特化有時(shí)會(huì)帶來令人驚訝的重載決議結(jié)果且特化版本不參與函數(shù)重載的模板參數(shù)推導(dǎo)它已經(jīng)是一個(gè)具體的函數(shù)了。因此更現(xiàn)代、更安全的方法是使用函數(shù)重載而非特化來處理特殊情況const char* max(const char* a, const char* b) { // 普通函數(shù)重載 return std::strcmp(a, b) 0 ? a : b; }對(duì)于函數(shù)模板通常建議優(yōu)先使用重載特化主要用于類模板。4.2 類模板特化類模板特化更為常用和強(qiáng)大。它允許你為特定的模板參數(shù)組合提供完全不同的實(shí)現(xiàn)。全特化為所有模板參數(shù)都指定具體類型。// 通用版本 template typename T class MyContainer { public: void print() { std::cout Generic Container std::endl; } }; // 為 T int 全特化 template class MyContainerint { public: void print() { std::cout Specialized Container for int std::endl; } }; MyContainerdouble c1; c1.print(); // 輸出: Generic Container MyContainerint c2; c2.print(); // 輸出: Specialized Container for int偏特化部分特化只特化一部分模板參數(shù)或者對(duì)模板參數(shù)施加一些約束如特化為指針類型。// 通用版本同上... // 偏特化針對(duì)所有指針類型 template typename T class MyContainerT* { public: void print() { std::cout Partial specialization for pointer to typeid(T).name() std::endl; } }; // 偏特化針對(duì)兩個(gè)類型參數(shù)的情況 template typename T1, typename T2 class MyPair { /*...*/ }; template typename T class MyPairT, T { // 當(dāng)兩個(gè)類型相同時(shí)的特化 public: void print() { std::cout Pair with same types std::endl; } }; MyContainerint* ptrContainer; ptrContainer.print(); // 輸出: Partial specialization for pointer to int MyPairint, int samePair; samePair.print(); // 輸出: Pair with same types MyPairint, double diffPair; // 使用通用版本偏特化是模板元編程中非常重要的工具它允許我們根據(jù)類型的特性是否指針、是否具有某個(gè)成員等來分發(fā)不同的實(shí)現(xiàn)。C標(biāo)準(zhǔn)庫中的std::vectorbool就是一個(gè)著名的全特化例子它對(duì)bool類型進(jìn)行了空間優(yōu)化位存儲(chǔ)。4.3 實(shí)戰(zhàn)心得何時(shí)使用特化優(yōu)化特定類型最典型的例子就是std::vectorbool。由于bool只有兩個(gè)值用1個(gè)字節(jié)存儲(chǔ)非常浪費(fèi)。特化版本可以使用位域bitfield來壓縮存儲(chǔ)一個(gè)字節(jié)存8個(gè)bool。雖然這個(gè)特化因接口問題存在爭(zhēng)議但它清晰地展示了特化的價(jià)值為特定類型提供性能或內(nèi)存上的優(yōu)化實(shí)現(xiàn)。提供特殊語義比如你有一個(gè)Serializer模板類對(duì)于數(shù)值類型直接序列化對(duì)于std::string需要特殊處理編碼對(duì)于自定義類可能需要遞歸調(diào)用。這時(shí)就可以通過特化為不同類型提供不同的序列化邏輯。實(shí)現(xiàn)類型分發(fā)Tag Dispatch和特性萃取Type Traits的基礎(chǔ)這是高級(jí)模板技術(shù)的核心。例如標(biāo)準(zhǔn)庫的std::advance算法對(duì)于隨機(jī)訪問迭代器如vector::iterator使用iter n對(duì)于雙向迭代器如list::iterator使用循環(huán)iter或--iter。它通過iterator_traits萃取迭代器類別然后利用函數(shù)重載或特化來分發(fā)到不同的實(shí)現(xiàn)函數(shù)上。這背后依賴的就是對(duì)迭代器標(biāo)簽類型的特化。謹(jǐn)慎使用函數(shù)模板特化如前所述函數(shù)模板特化在重載決議中的行為有些反直覺。Scott Meyers在《Effective C》中明確建議“不要特化函數(shù)模板要重載它們”。對(duì)于函數(shù)使用普通的函數(shù)重載通常更清晰、更可控。類模板的特化則沒有這個(gè)問題可以放心使用。5. 模板元編程初窺與編譯期計(jì)算模板不僅僅用于生成代碼由于其發(fā)生在編譯期它本身就可以被用來執(zhí)行計(jì)算和做出決策這被稱為“模板元編程”。它像是“編譯期的C”雖然語法晦澀但能力強(qiáng)大。5.1 編譯期整數(shù)計(jì)算斐波那契數(shù)列最經(jīng)典的例子是編譯期計(jì)算斐波那契數(shù)列template unsigned N struct Fibonacci { static const unsigned value FibonacciN-1::value FibonacciN-2::value; }; // 基礎(chǔ)情況特化 template struct Fibonacci0 { static const unsigned value 0; }; template struct Fibonacci1 { static const unsigned value 1; }; // 使用 int main() { std::cout Fibonacci10::value std::endl; // 輸出55 // 這個(gè)值在編譯時(shí)就已經(jīng)計(jì)算好了運(yùn)行時(shí)直接使用常量。 }這里Fibonacci是一個(gè)類模板它通過遞歸的模板實(shí)例化FibonacciN-1和FibonacciN-2來計(jì)算值。Fibonacci10::value在編譯期就被替換為常量55。這展示了模板在編譯期進(jìn)行遞歸計(jì)算的能力。5.2 類型計(jì)算與選擇std::conditional模板元編程更常見的用途是進(jìn)行類型計(jì)算。例如標(biāo)準(zhǔn)庫中的std::conditional它根據(jù)一個(gè)布爾編譯期常量在兩個(gè)類型中選擇一個(gè)。template bool B, typename T, typename F struct conditional { using type T; }; template typename T, typename F struct conditionalfalse, T, F { using type F; }; // 使用根據(jù)某個(gè)條件選擇類型 using MyType typename std::conditional(sizeof(int) 4), long, int::type; // 如果int大于4字節(jié)MyType是long否則是int。這看起來像是一個(gè)if-else語句但它操作的是類型而非值并且發(fā)生在編譯期。5.3 SFINAE與std::enable_ifSFINAESubstitution Failure Is Not An Error替換失敗并非錯(cuò)誤是模板元編程中一個(gè)核心規(guī)則。它指的是在模板參數(shù)推導(dǎo)/替換過程中如果某個(gè)候選模板導(dǎo)致了無效的代碼如嘗試訪問不存在的類型成員編譯器不會(huì)立即報(bào)錯(cuò)而是簡(jiǎn)單地將這個(gè)候選從重載集中剔除繼續(xù)嘗試其他候選。std::enable_if是利用SFINAE的經(jīng)典工具用于根據(jù)條件啟用或禁用某個(gè)模板。template typename T typename std::enable_ifstd::is_integralT::value, T::type foo(T t) { std::cout Called integral version std::endl; return t; } template typename T typename std::enable_ifstd::is_floating_pointT::value, T::type foo(T t) { std::cout Called floating point version std::endl; return t; } foo(42); // 調(diào)用第一個(gè)版本Tint滿足is_integral foo(3.14); // 調(diào)用第二個(gè)版本Tdouble滿足is_floating_point // foo(hello); // 編譯錯(cuò)誤沒有匹配的模板因?yàn)閮蓚€(gè)enable_if條件都不滿足std::enable_ifCondition, T::type在Condition為true時(shí)才存在type這個(gè)成員定義為T否則它沒有type成員。根據(jù)SFINAE規(guī)則當(dāng)條件不滿足時(shí)該函數(shù)模板的實(shí)例化就會(huì)失敗被從候選集中移除。這就實(shí)現(xiàn)了編譯期的條件分發(fā)。5.4 實(shí)戰(zhàn)心得理解模板元編程的代價(jià)與價(jià)值編譯期開銷模板元編程尤其是深度遞歸的實(shí)例化如Fibonacci100會(huì)顯著增加編譯時(shí)間并消耗大量?jī)?nèi)存。編譯器需要生成并處理大量的臨時(shí)模板實(shí)例?？勺x性差模板元編程的代碼對(duì)于不熟悉的人來說如同天書。它大量使用嵌套的typename、::value、::type邏輯隱藏在特化和遞歸中。調(diào)試?yán)щy錯(cuò)誤信息極其冗長晦澀。一個(gè)簡(jiǎn)單的類型不匹配可能導(dǎo)致編譯器輸出數(shù)百行錯(cuò)誤其中大部分是模板實(shí)例化的回溯信息。用對(duì)地方價(jià)值連城盡管有缺點(diǎn)但在需要極致性能編譯期計(jì)算替換運(yùn)行時(shí)計(jì)算、實(shí)現(xiàn)類型安全的通用接口如STL算法、進(jìn)行復(fù)雜的類型操作如反射模擬時(shí)模板元編程是無可替代的工具。C11/14/17引入的constexpr函數(shù)在很多場(chǎng)景下可以替代簡(jiǎn)單的模板元編程且語法更友好。但對(duì)于復(fù)雜的類型計(jì)算模板仍是主力。從type_traits入手學(xué)習(xí)模板元編程最好的起點(diǎn)是標(biāo)準(zhǔn)庫的type_traits頭文件?？纯磗td::is_pointer、std::remove_reference、std::decay等是如何實(shí)現(xiàn)的。它們大多是通過一系列特化來實(shí)現(xiàn)的。理解它們你就掌握了模板元編程的基本模式。模板是C最強(qiáng)大也最復(fù)雜的特性之一。從簡(jiǎn)單的函數(shù)模板、類模板到特化、偏特化再到模板元編程它構(gòu)建了C泛型編程的整個(gè)大廈。初學(xué)時(shí)會(huì)覺得語法怪異錯(cuò)誤信息可怕但一旦掌握你將獲得編寫高度靈活、高效、類型安全代碼的能力。理解模板是理解現(xiàn)代C庫設(shè)計(jì)如STL、Boost的必經(jīng)之路。在實(shí)踐中從模仿開始多寫多試逐步體會(huì)其設(shè)計(jì)哲學(xué)和威力。記住泛型的最終目的是寫出更通用、更安全、更易于復(fù)用的代碼。 C++模板編程：從函數(shù)模板到類模板的泛型實(shí)踐指南
1. 從“重復(fù)造輪子”到“一勞永逸”為什么我們需要模板如果你寫過一段時(shí)間的C尤其是寫過一些需要處理多種數(shù)據(jù)類型的工具函數(shù)或數(shù)據(jù)結(jié)構(gòu)你大概率經(jīng)歷過這種痛苦為了給int、double、string各寫一個(gè)功能完全相同的max函數(shù)你需要復(fù)制粘貼三份代碼然后小心翼翼地修改參數(shù)和返回類型。這不僅僅是體力活更是維護(hù)的噩夢(mèng)——當(dāng)你發(fā)現(xiàn)算法里有個(gè)小bug你得在三處地方做同樣的修改稍有不慎就會(huì)遺漏。這其實(shí)就是C泛型編程要解決的核心痛點(diǎn)類型無關(guān)的代碼復(fù)用。而實(shí)現(xiàn)這一目標(biāo)的基石就是模板。模板不是運(yùn)行時(shí)特性而是一種強(qiáng)大的編譯時(shí)代碼生成機(jī)制。它允許你編寫一個(gè)“藍(lán)圖”編譯器會(huì)根據(jù)你使用這個(gè)藍(lán)圖時(shí)提供的具體類型為你生成一份份定制的代碼。這就像做月餅?zāi)０迨悄莻€(gè)模具int、double就是不同的餡料用同一個(gè)模具能壓出形狀相同但餡料各異的月餅。泛型編程的思想是寫出與數(shù)據(jù)類型無關(guān)的通用算法。在C中這主要通過函數(shù)模板和類模板來實(shí)現(xiàn)。它們讓STL標(biāo)準(zhǔn)模板庫成為可能——你用的vectorint、liststring、sort算法底層都是模板。沒有模板C的生態(tài)將倒退二十年。所以掌握模板不僅僅是多學(xué)一個(gè)語法更是打開現(xiàn)代C寶庫的鑰匙是從“寫代碼”到“設(shè)計(jì)代碼”的關(guān)鍵一步。2. 函數(shù)模板編寫你的第一個(gè)通用算法函數(shù)模板是泛型編程的起點(diǎn)。它的目標(biāo)很簡(jiǎn)單定義一個(gè)函數(shù)家族這些函數(shù)除了參數(shù)類型和返回類型不同其行為邏輯完全一致。2.1 基礎(chǔ)語法與聲明一個(gè)最簡(jiǎn)單的函數(shù)模板聲明如下template typename T T max(T a, T b) { return (a b) ? a : b; }我們來拆解這個(gè)聲明template typename T這是模板的引入聲明。template關(guān)鍵字告訴編譯器接下來要定義一個(gè)模板。尖括號(hào)里是模板參數(shù)列表。typename T這里定義了一個(gè)類型模板參數(shù)T。typename關(guān)鍵字表示T是一個(gè)類型占位符也可以用古老的class關(guān)鍵字兩者在此處等價(jià)。你可以把T想象成一個(gè)空盒子在編譯時(shí)編譯器會(huì)用實(shí)際的類型如int、double來“填充”這個(gè)盒子。T max(T a, T b)函數(shù)簽名。這里的T就是模板參數(shù)T它同時(shí)約束了參數(shù)a、b的類型以及函數(shù)的返回類型。這意味著調(diào)用max(1, 2)時(shí)T被推導(dǎo)為int調(diào)用max(3.14, 2.71)時(shí)T被推導(dǎo)為double。編譯器會(huì)分別為它們生成int max(int, int)和double max(double, double)兩個(gè)具體的函數(shù)實(shí)例這個(gè)過程叫做實(shí)例化。注意模板本身不是函數(shù)它不產(chǎn)生任何可執(zhí)行代碼。它只是一份藍(lán)圖。只有當(dāng)你在代碼中真正使用它如調(diào)用max(1, 2)時(shí)編譯器才會(huì)根據(jù)這份藍(lán)圖結(jié)合具體的類型參數(shù)生成一個(gè)實(shí)實(shí)在在的函數(shù)即模板實(shí)例這個(gè)過程發(fā)生在編譯期。2.2 模板參數(shù)推導(dǎo)與顯式指定大多數(shù)時(shí)候我們享受編譯器自動(dòng)推導(dǎo)模板參數(shù)的便利。推導(dǎo)規(guī)則很直觀編譯器會(huì)檢查函數(shù)調(diào)用時(shí)實(shí)參的類型并嘗試將它們匹配到模板參數(shù)T上。auto x max(10, 20); // T 被推導(dǎo)為 int auto y max(5.5, 4.4); // T 被推導(dǎo)為 double auto z max(‘a(chǎn)‘, ‘b‘); // T 被推導(dǎo)為 char但是自動(dòng)推導(dǎo)并非萬能。有時(shí)我們需要干預(yù)類型轉(zhuǎn)換max(10, 20.5)會(huì)編譯失敗因?yàn)榈谝粋€(gè)實(shí)參推導(dǎo)T為int第二個(gè)推導(dǎo)為double編譯器無法確定T到底是什么。此時(shí)需要顯式指定或強(qiáng)制轉(zhuǎn)換。期望返回不同類型比如我們有一個(gè)模板函數(shù)template typename T, typename U auto add(T a, U b) - decltype(ab)。如果我們調(diào)用add(1, 2.0)編譯器能推導(dǎo)出Tint, Udouble但如果我們想固定T為long呢調(diào)用歧義當(dāng)有多個(gè)重載的模板或函數(shù)時(shí)顯式指定可以消除歧義。顯式指定模板參數(shù)的語法是在函數(shù)名后使用尖括號(hào)auto a maxint(10, 20.5); // 顯式指定T為int20.5被隱式轉(zhuǎn)換為int auto b maxdouble(10, 20.5); // 顯式指定T為double10被隱式轉(zhuǎn)換為double // 一個(gè)更實(shí)際的例子防止整數(shù)除法 template typename T T divide(T a, T b) { return a / b; } auto result dividedouble(5, 2); // 結(jié)果是2.5。如果寫成divide(5,2)結(jié)果是2int除法2.3 多模板參數(shù)與返回類型處理現(xiàn)實(shí)中的函數(shù)很少只處理單一類型。模板支持多個(gè)類型參數(shù)。template typename T, typename U void printPair(const T first, const U second) { std::cout ( first , second ) std::endl; } printPair(42, Hello); // Tint, Uconst char*更復(fù)雜的情況是處理返回類型。當(dāng)操作涉及多個(gè)可能類型時(shí)返回類型可能不是任何一個(gè)模板參數(shù)。C11引入了尾置返回類型與decltype來解決。template typename T, typename U auto add(T a, U b) - decltype(a b) { return a b; } // C14 可以更簡(jiǎn)潔 template typename T, typename U auto add_simple(T a, U b) { return a b; // 編譯器自動(dòng)推導(dǎo)返回類型 }這里decltype(ab)會(huì)在編譯時(shí)推導(dǎo)出表達(dá)式ab的類型作為函數(shù)的返回類型。這完美處理了int double - double這類情況。2.4 實(shí)戰(zhàn)心得函數(shù)模板的陷阱與最佳實(shí)踐將聲明和定義都放在頭文件這是模板使用中最容易踩的坑。因?yàn)槟０迨窃诰幾g時(shí)根據(jù)使用情況進(jìn)行實(shí)例化的編譯器在編譯一個(gè).cpp文件時(shí)必須能看到模板的完整定義才能為當(dāng)前翻譯單元生成具體的實(shí)例代碼。如果把模板的聲明放在.h定義放在.cpp在鏈接其他調(diào)用該模板的.cpp文件時(shí)會(huì)找不到實(shí)例化的符號(hào)導(dǎo)致“未定義的引用”錯(cuò)誤。所以函數(shù)模板以及類模板的成員函數(shù)的定義必須寫在頭文件里。優(yōu)先使用const T作為參數(shù)對(duì)于可能昂貴的復(fù)制類型如std::string,std::vector使用常量引用可以避免不必要的拷貝。我們的max模板最初版本是按值傳遞對(duì)于基礎(chǔ)類型沒問題但對(duì)于大對(duì)象效率低下。改進(jìn)版如下template typename T const T max(const T a, const T b) { return (a b) ? a : b; }注意operator的可用性我們的max模板依賴于類型T定義了operator。如果你用它來比較兩個(gè)自定義的類對(duì)象必須確保該類重載了運(yùn)算符否則編譯失敗。這是模板的“契約”模板代碼對(duì)類型參數(shù)有隱式要求這被稱為“概念”Concepts C20已正式引入。在C17及之前違反契約會(huì)導(dǎo)致冗長的編譯錯(cuò)誤。處理特殊類型考慮指針類型。max(p1, p2)比較的是指針地址而非指針?biāo)竷?nèi)容。如果你需要比較指針指向的值可能需要針對(duì)指針類型提供特化版本后面會(huì)講或使用函數(shù)對(duì)象。3. 類模板構(gòu)建通用的數(shù)據(jù)結(jié)構(gòu)如果說函數(shù)模板讓算法通用化那么類模板就讓數(shù)據(jù)結(jié)構(gòu)的通用化成為可能。std::vectorstd::liststd::map這些容器都是類模板的經(jīng)典代表。3.1 類模板的定義與使用定義一個(gè)簡(jiǎn)單的棧Stack類模板template typename T class Stack { private: std::vectorT elems; // 使用vector作為底層存儲(chǔ) public: void push(const T elem) { elems.push_back(elem); } void pop() { if (!elems.empty()) { elems.pop_back(); } } const T top() const { if (!elems.empty()) { return elems.back(); } throw std::out_of_range(Stack::top(): empty stack); } bool empty() const { return elems.empty(); } };使用這個(gè)類模板時(shí)你必須在類名后面指定模板參數(shù)Stackint intStack; // 一個(gè)存儲(chǔ)int的棧 Stackstd::string strStack; // 一個(gè)存儲(chǔ)string的棧 intStack.push(42); strStack.push(hello); // Stack rawStack; // 錯(cuò)誤必須指定模板參數(shù)Stackint和Stackstd::string是兩個(gè)完全不同的類由編譯器在編譯時(shí)生成。它們之間沒有繼承關(guān)系。3.2 類模板的成員函數(shù)定義類模板的成員函數(shù)在類外定義時(shí)語法需要特別注意template typename T // 每個(gè)成員函數(shù)都需要獨(dú)立的template引入 void StackT::push(const T elem) { // 類名限定符是 StackT:: elems.push_back(elem); } template typename T const T StackT::top() const { if (elems.empty()) { throw std::out_of_range(Stack::top(): empty stack); } return elems.back(); }關(guān)鍵點(diǎn)在于成員函數(shù)定義前必須重復(fù)template typename T并且使用StackT::而非Stack::來指明這是哪個(gè)模板類的成員。3.3 默認(rèn)模板參數(shù)與多參數(shù)模板和函數(shù)參數(shù)一樣模板參數(shù)也可以有默認(rèn)值。這在標(biāo)準(zhǔn)庫中非常常見。template typename T, typename Container std::vectorT class Stack { private: Container elems; // 底層容器可配置 public: // ... 成員函數(shù) }; // 使用 Stackint s1; // 等價(jià)于 Stackint, std::vectorint Stackint, std::dequeint s2; // 使用deque作為底層容器這里我們定義了一個(gè)更通用的Stack它接受兩個(gè)模板參數(shù)存儲(chǔ)的元素類型T和底層容器類型Container并為Container提供了默認(rèn)值std::vectorT。這體現(xiàn)了策略模式的思想將“存儲(chǔ)策略”從棧算法中解耦出來。多參數(shù)模板還能用于定義映射關(guān)系例如template typename Key, typename Value, typename Compare std::lessKey class SimpleMap { // 使用 std::pairKey, Value 存儲(chǔ) Compare 用于比較Key // ... };3.4 在類模板內(nèi)部使用自身類型在類模板內(nèi)部當(dāng)引用這個(gè)類本身時(shí)有一個(gè)簡(jiǎn)化的寫法。例如我們想為Stack添加一個(gè)拷貝構(gòu)造函數(shù)template typename T class Stack { // ... public: Stack() default; // 拷貝構(gòu)造函數(shù) Stack(const Stack other) : elems(other.elems) {} // 正確Stack 是 StackT 的簡(jiǎn)寫 // 或者顯式寫出 Stack(const StackT other) : elems(other.elems) {} // 同樣正確 };在類模板StackT的作用域內(nèi)直接使用Stack等價(jià)于StackT。但在類外就必須使用StackT。3.5 實(shí)戰(zhàn)心得類模板的設(shè)計(jì)與性能考量考慮底層存儲(chǔ)的獨(dú)立性如上例所示將底層容器作為模板參數(shù)策略模式可以極大提高類的靈活性。std::stack就是這樣設(shè)計(jì)的它的第二個(gè)模板參數(shù)就是Container。這比寫死使用std::vector要優(yōu)雅得多。警惕分離編譯問題和函數(shù)模板一樣類模板的成員函數(shù)定義通常也必須放在頭文件中。如果你堅(jiān)持要將定義分離到.cpp文件那么你必須在這個(gè).cpp文件中顯式實(shí)例化所有你可能用到的模板類型例如template class Stackint;、template class Stackstd::string;。這很不靈活因此主流做法仍是全部放在頭文件。模板參數(shù)不一定是類型除了typename模板參數(shù)還可以是非類型參數(shù)比如整型常量、指針或引用。template typename T, std::size_t MaxSize class FixedStack { T elems[MaxSize]; // 固定大小的數(shù)組 std::size_t numElems{0}; public: void push(const T elem) { if (numElems MaxSize) { throw std::out_of_range(Stack is full); } elems[numElems] elem; } // ... }; FixedStackint, 100 intStack; // 一個(gè)最大容量為100的int棧非類型模板參數(shù)在編譯時(shí)必須是可知的常量表達(dá)式。它常用于指定緩沖區(qū)大小、數(shù)組維度等。性能與代碼膨脹模板會(huì)導(dǎo)致代碼膨脹Code Bloat。Stackint、Stackdouble、StackMyClass會(huì)生成三份不同的機(jī)器碼。雖然內(nèi)聯(lián)優(yōu)化可以緩解但對(duì)于大型模板庫這確實(shí)會(huì)增加二進(jìn)制文件大小。現(xiàn)代鏈接器有去重技術(shù)相同代碼折疊但設(shè)計(jì)時(shí)仍需有意識(shí)。如果某個(gè)成員函數(shù)與類型T完全無關(guān)考慮將其提取到非模板基類中。4. 模板特化與偏特化處理特殊情況模板提供了通用方案但總有特例。例如我們?yōu)閏onst char*C風(fēng)格字符串特制一個(gè)max函數(shù)讓它比較字符串內(nèi)容而非指針地址。這就是模板特化。4.1 函數(shù)模板特化// 通用版本 template typename T const T max(const T a, const T b) { return (a b) ? a : b; } // 為 const char* 特化的版本 template const char* maxconst char*(const char* a, const char* b) { return std::strcmp(a, b) 0 ? a : b; } // 調(diào)用 const char* s1 hello; const char* s2 world; auto result max(s1, s2); // 調(diào)用特化版本比較字符串內(nèi)容特化版本的語法是template 然后給出完全具體的函數(shù)簽名。編譯器在匹配時(shí)會(huì)優(yōu)先選擇最特化的版本。注意函數(shù)模板特化有時(shí)會(huì)帶來令人驚訝的重載決議結(jié)果且特化版本不參與函數(shù)重載的模板參數(shù)推導(dǎo)它已經(jīng)是一個(gè)具體的函數(shù)了。因此更現(xiàn)代、更安全的方法是使用函數(shù)重載而非特化來處理特殊情況const char* max(const char* a, const char* b) { // 普通函數(shù)重載 return std::strcmp(a, b) 0 ? a : b; }對(duì)于函數(shù)模板通常建議優(yōu)先使用重載特化主要用于類模板。4.2 類模板特化類模板特化更為常用和強(qiáng)大。它允許你為特定的模板參數(shù)組合提供完全不同的實(shí)現(xiàn)。全特化為所有模板參數(shù)都指定具體類型。// 通用版本 template typename T class MyContainer { public: void print() { std::cout Generic Container std::endl; } }; // 為 T int 全特化 template class MyContainerint { public: void print() { std::cout Specialized Container for int std::endl; } }; MyContainerdouble c1; c1.print(); // 輸出: Generic Container MyContainerint c2; c2.print(); // 輸出: Specialized Container for int偏特化部分特化只特化一部分模板參數(shù)或者對(duì)模板參數(shù)施加一些約束如特化為指針類型。// 通用版本同上... // 偏特化針對(duì)所有指針類型 template typename T class MyContainerT* { public: void print() { std::cout Partial specialization for pointer to typeid(T).name() std::endl; } }; // 偏特化針對(duì)兩個(gè)類型參數(shù)的情況 template typename T1, typename T2 class MyPair { /*...*/ }; template typename T class MyPairT, T { // 當(dāng)兩個(gè)類型相同時(shí)的特化 public: void print() { std::cout Pair with same types std::endl; } }; MyContainerint* ptrContainer; ptrContainer.print(); // 輸出: Partial specialization for pointer to int MyPairint, int samePair; samePair.print(); // 輸出: Pair with same types MyPairint, double diffPair; // 使用通用版本偏特化是模板元編程中非常重要的工具它允許我們根據(jù)類型的特性是否指針、是否具有某個(gè)成員等來分發(fā)不同的實(shí)現(xiàn)。C標(biāo)準(zhǔn)庫中的std::vectorbool就是一個(gè)著名的全特化例子它對(duì)bool類型進(jìn)行了空間優(yōu)化位存儲(chǔ)。4.3 實(shí)戰(zhàn)心得何時(shí)使用特化優(yōu)化特定類型最典型的例子就是std::vectorbool。由于bool只有兩個(gè)值用1個(gè)字節(jié)存儲(chǔ)非常浪費(fèi)。特化版本可以使用位域bitfield來壓縮存儲(chǔ)一個(gè)字節(jié)存8個(gè)bool。雖然這個(gè)特化因接口問題存在爭(zhēng)議但它清晰地展示了特化的價(jià)值為特定類型提供性能或內(nèi)存上的優(yōu)化實(shí)現(xiàn)。提供特殊語義比如你有一個(gè)Serializer模板類對(duì)于數(shù)值類型直接序列化對(duì)于std::string需要特殊處理編碼對(duì)于自定義類可能需要遞歸調(diào)用。這時(shí)就可以通過特化為不同類型提供不同的序列化邏輯。實(shí)現(xiàn)類型分發(fā)Tag Dispatch和特性萃取Type Traits的基礎(chǔ)這是高級(jí)模板技術(shù)的核心。例如標(biāo)準(zhǔn)庫的std::advance算法對(duì)于隨機(jī)訪問迭代器如vector::iterator使用iter n對(duì)于雙向迭代器如list::iterator使用循環(huán)iter或--iter。它通過iterator_traits萃取迭代器類別然后利用函數(shù)重載或特化來分發(fā)到不同的實(shí)現(xiàn)函數(shù)上。這背后依賴的就是對(duì)迭代器標(biāo)簽類型的特化。謹(jǐn)慎使用函數(shù)模板特化如前所述函數(shù)模板特化在重載決議中的行為有些反直覺。Scott Meyers在《Effective C》中明確建議“不要特化函數(shù)模板要重載它們”。對(duì)于函數(shù)使用普通的函數(shù)重載通常更清晰、更可控。類模板的特化則沒有這個(gè)問題可以放心使用。5. 模板元編程初窺與編譯期計(jì)算模板不僅僅用于生成代碼由于其發(fā)生在編譯期它本身就可以被用來執(zhí)行計(jì)算和做出決策這被稱為“模板元編程”。它像是“編譯期的C”雖然語法晦澀但能力強(qiáng)大。5.1 編譯期整數(shù)計(jì)算斐波那契數(shù)列最經(jīng)典的例子是編譯期計(jì)算斐波那契數(shù)列template unsigned N struct Fibonacci { static const unsigned value FibonacciN-1::value FibonacciN-2::value; }; // 基礎(chǔ)情況特化 template struct Fibonacci0 { static const unsigned value 0; }; template struct Fibonacci1 { static const unsigned value 1; }; // 使用 int main() { std::cout Fibonacci10::value std::endl; // 輸出55 // 這個(gè)值在編譯時(shí)就已經(jīng)計(jì)算好了運(yùn)行時(shí)直接使用常量。 }這里Fibonacci是一個(gè)類模板它通過遞歸的模板實(shí)例化FibonacciN-1和FibonacciN-2來計(jì)算值。Fibonacci10::value在編譯期就被替換為常量55。這展示了模板在編譯期進(jìn)行遞歸計(jì)算的能力。5.2 類型計(jì)算與選擇std::conditional模板元編程更常見的用途是進(jìn)行類型計(jì)算。例如標(biāo)準(zhǔn)庫中的std::conditional它根據(jù)一個(gè)布爾編譯期常量在兩個(gè)類型中選擇一個(gè)。template bool B, typename T, typename F struct conditional { using type T; }; template typename T, typename F struct conditionalfalse, T, F { using type F; }; // 使用根據(jù)某個(gè)條件選擇類型 using MyType typename std::conditional(sizeof(int) 4), long, int::type; // 如果int大于4字節(jié)MyType是long否則是int。這看起來像是一個(gè)if-else語句但它操作的是類型而非值并且發(fā)生在編譯期。5.3 SFINAE與std::enable_ifSFINAESubstitution Failure Is Not An Error替換失敗并非錯(cuò)誤是模板元編程中一個(gè)核心規(guī)則。它指的是在模板參數(shù)推導(dǎo)/替換過程中如果某個(gè)候選模板導(dǎo)致了無效的代碼如嘗試訪問不存在的類型成員編譯器不會(huì)立即報(bào)錯(cuò)而是簡(jiǎn)單地將這個(gè)候選從重載集中剔除繼續(xù)嘗試其他候選。std::enable_if是利用SFINAE的經(jīng)典工具用于根據(jù)條件啟用或禁用某個(gè)模板。template typename T typename std::enable_ifstd::is_integralT::value, T::type foo(T t) { std::cout Called integral version std::endl; return t; } template typename T typename std::enable_ifstd::is_floating_pointT::value, T::type foo(T t) { std::cout Called floating point version std::endl; return t; } foo(42); // 調(diào)用第一個(gè)版本Tint滿足is_integral foo(3.14); // 調(diào)用第二個(gè)版本Tdouble滿足is_floating_point // foo(hello); // 編譯錯(cuò)誤沒有匹配的模板因?yàn)閮蓚€(gè)enable_if條件都不滿足std::enable_ifCondition, T::type在Condition為true時(shí)才存在type這個(gè)成員定義為T否則它沒有type成員。根據(jù)SFINAE規(guī)則當(dāng)條件不滿足時(shí)該函數(shù)模板的實(shí)例化就會(huì)失敗被從候選集中移除。這就實(shí)現(xiàn)了編譯期的條件分發(fā)。5.4 實(shí)戰(zhàn)心得理解模板元編程的代價(jià)與價(jià)值編譯期開銷模板元編程尤其是深度遞歸的實(shí)例化如Fibonacci100會(huì)顯著增加編譯時(shí)間并消耗大量?jī)?nèi)存。編譯器需要生成并處理大量的臨時(shí)模板實(shí)例?？勺x性差模板元編程的代碼對(duì)于不熟悉的人來說如同天書。它大量使用嵌套的typename、::value、::type邏輯隱藏在特化和遞歸中。調(diào)試?yán)щy錯(cuò)誤信息極其冗長晦澀。一個(gè)簡(jiǎn)單的類型不匹配可能導(dǎo)致編譯器輸出數(shù)百行錯(cuò)誤其中大部分是模板實(shí)例化的回溯信息。用對(duì)地方價(jià)值連城盡管有缺點(diǎn)但在需要極致性能編譯期計(jì)算替換運(yùn)行時(shí)計(jì)算、實(shí)現(xiàn)類型安全的通用接口如STL算法、進(jìn)行復(fù)雜的類型操作如反射模擬時(shí)模板元編程是無可替代的工具。C11/14/17引入的constexpr函數(shù)在很多場(chǎng)景下可以替代簡(jiǎn)單的模板元編程且語法更友好。但對(duì)于復(fù)雜的類型計(jì)算模板仍是主力。從type_traits入手學(xué)習(xí)模板元編程最好的起點(diǎn)是標(biāo)準(zhǔn)庫的type_traits頭文件?？纯磗td::is_pointer、std::remove_reference、std::decay等是如何實(shí)現(xiàn)的。它們大多是通過一系列特化來實(shí)現(xiàn)的。理解它們你就掌握了模板元編程的基本模式。模板是C最強(qiáng)大也最復(fù)雜的特性之一。從簡(jiǎn)單的函數(shù)模板、類模板到特化、偏特化再到模板元編程它構(gòu)建了C泛型編程的整個(gè)大廈。初學(xué)時(shí)會(huì)覺得語法怪異錯(cuò)誤信息可怕但一旦掌握你將獲得編寫高度靈活、高效、類型安全代碼的能力。理解模板是理解現(xiàn)代C庫設(shè)計(jì)如STL、Boost的必經(jīng)之路。在實(shí)踐中從模仿開始多寫多試逐步體會(huì)其設(shè)計(jì)哲學(xué)和威力。記住泛型的最終目的是寫出更通用、更安全、更易于復(fù)用的代碼。