1. 項(xiàng)目概述為什么C模板是泛型編程的基石如果你寫過(guò)C尤其是寫過(guò)一些需要處理多種數(shù)據(jù)類型的通用代碼比如一個(gè)通用的排序函數(shù)或者一個(gè)鏈表容器那你大概率已經(jīng)和模板打過(guò)交道了。我第一次被模板“震撼”到是在嘗試寫一個(gè)可以比較任意類型數(shù)據(jù)大小的函數(shù)時(shí)。不用模板你可能需要為int、double、string分別寫一個(gè)max函數(shù)代碼冗余不說(shuō)維護(hù)起來(lái)也是個(gè)噩夢(mèng)。而模板就像是一個(gè)代碼的“模具”它允許你編寫與類型無(wú)關(guān)的代碼讓編譯器在編譯時(shí)根據(jù)你使用的具體類型自動(dòng)“澆筑”出對(duì)應(yīng)的函數(shù)或類。這個(gè)過(guò)程我們稱之為泛型編程。簡(jiǎn)單來(lái)說(shuō)函數(shù)模板讓你能定義一個(gè)通用的函數(shù)“公式”而類模板則讓你能定義一個(gè)通用的類“藍(lán)圖”。它們共同構(gòu)成了C靜態(tài)多態(tài)和代碼復(fù)用的核心機(jī)制。理解模板不僅僅是學(xué)會(huì)語(yǔ)法更是理解C編譯器的“思考方式”。很多高級(jí)特性如STL標(biāo)準(zhǔn)模板庫(kù)中的vector、map以及現(xiàn)代C中的元編程都深深植根于模板技術(shù)。對(duì)于中高級(jí)C開(kāi)發(fā)者而言精通模板是寫出高效、靈活且類型安全代碼的必經(jīng)之路。接下來(lái)我將帶你從最基礎(chǔ)的語(yǔ)法開(kāi)始一步步拆解函數(shù)模板和類模板的實(shí)現(xiàn)機(jī)制、使用技巧以及那些容易踩坑的細(xì)節(jié)。2. 函數(shù)模板深度解析從通用算法到特化定制2.1 函數(shù)模板的基本語(yǔ)法與實(shí)例化過(guò)程讓我們從一個(gè)最簡(jiǎn)單的例子開(kāi)始一個(gè)交換兩個(gè)變量值的函數(shù)。沒(méi)有模板你需要為每種類型寫一遍。void swapInt(int a, int b) { int temp a; a b; b temp; } void swapDouble(double a, double b) { double temp a; a b; b temp; } // ... 更多類型無(wú)窮無(wú)盡使用函數(shù)模板一切都變得簡(jiǎn)潔template typename T // 模板聲明T是一個(gè)占位符類型參數(shù) void mySwap(T a, T b) { T temp a; a b; b temp; }這短短幾行代碼的威力在于當(dāng)你調(diào)用mySwap(intA, intB)時(shí)編譯器看到實(shí)參是int類型就會(huì)將模板中的T全部替換為int生成一個(gè)void mySwap(int, int)的函數(shù)版本。這個(gè)過(guò)程叫做模板實(shí)例化。同樣調(diào)用mySwap(doubleA, doubleB)會(huì)實(shí)例化出double版本。編譯器為你自動(dòng)完成了代碼生成。這里有幾個(gè)關(guān)鍵點(diǎn)需要注意template typename T這是模板的引入關(guān)鍵字。typename可以用class關(guān)鍵字替代兩者在此處含義完全相同。T是類型參數(shù)的名稱你可以用任何有效的標(biāo)識(shí)符如Type,Elem等但T是約定俗成的選擇。類型推導(dǎo)在大多數(shù)情況下編譯器可以根據(jù)函數(shù)調(diào)用時(shí)傳入的實(shí)參類型自動(dòng)推導(dǎo)出模板參數(shù)T的具體類型無(wú)需顯式指定。例如mySwap(a, b)編譯器通過(guò)a和b的類型推導(dǎo)T。顯式指定如果無(wú)法推導(dǎo)或你想強(qiáng)制使用特定類型可以顯式指定mySwapint(a, b)。注意模板的實(shí)例化發(fā)生在編譯期。這意味著如果你用int和double各調(diào)用了一次mySwap最終的可執(zhí)行文件中會(huì)存在兩個(gè)不同版本的mySwap函數(shù)函數(shù)重載。這可能會(huì)輕微增加代碼體積即“代碼膨脹”但換來(lái)了運(yùn)行時(shí)的零開(kāi)銷因?yàn)樗蓄愋托畔⒃诰幾g時(shí)都已確定。2.2 模板參數(shù)推導(dǎo)的規(guī)則與陷阱編譯器推導(dǎo)模板類型參數(shù)的規(guī)則看似直觀但有些細(xì)節(jié)容易讓人困惑?？紤]這個(gè)模板函數(shù)template typename T void print(const T value) { std::cout value std::endl; }當(dāng)你調(diào)用print(42)時(shí)T被推導(dǎo)為int函數(shù)參數(shù)類型是const int。 當(dāng)你調(diào)用print(std::string(“hello”))時(shí)T被推導(dǎo)為std::string參數(shù)類型是const std::string。陷阱1引用和常量性的推導(dǎo)當(dāng)模板參數(shù)是引用類型時(shí)推導(dǎo)規(guī)則會(huì)保留實(shí)參的常量性const-ness和引用性。template typename T void f(T param) {} template typename T void g(T param) {} int x 10; const int cx x; const int rx x; f(x); // T 推導(dǎo)為 int f(cx); // T 推導(dǎo)為 int (注意const被剝離了) f(rx); // T 推導(dǎo)為 int (引用和const都被剝離了) g(x); // T 推導(dǎo)為 int, param類型是 int g(cx); // T 推導(dǎo)為 const int, param類型是 const int (const被保留) g(rx); // T 推導(dǎo)為 const int, param類型是 const intf是按值傳遞所以傳入的const和引用屬性在推導(dǎo)T時(shí)會(huì)被忽略。而g是按引用傳遞這些屬性會(huì)被保留。理解這一點(diǎn)對(duì)于編寫正確的模板函數(shù)至關(guān)重要特別是當(dāng)你需要修改傳入?yún)?shù)或保證其不被修改時(shí)。陷阱2數(shù)組和函數(shù)指針的退化這是一個(gè)經(jīng)典問(wèn)題template typename T void h(T param) {} template typename T void j(T param) {} const char name[] “Hello World”; // name的類型是 const char[12] h(name); // 按值傳遞數(shù)組會(huì)退化為指針。T被推導(dǎo)為 const char*。 j(name); // 按引用傳遞數(shù)組類型得以保留。T被推導(dǎo)為 const char ()[12]。如果你需要在模板函數(shù)內(nèi)部知道數(shù)組的大小就必須使用引用傳遞的方式否則信息會(huì)丟失。2.3 函數(shù)模板的重載與特化當(dāng)通用模板無(wú)法滿足所有類型或者對(duì)某些特定類型有更優(yōu)的實(shí)現(xiàn)時(shí)我們就需要重載或特化。重載和普通函數(shù)重載一樣你可以定義同名但參數(shù)列表不同的函數(shù)模板。template typename T void debugPrint(const T value) { std::cout “Value: “ value std::endl; } // 重載版本針對(duì)指針類型提供更安全的信息 template typename T void debugPrint(T* ptr) { if (ptr) { std::cout “Pointer to: “ *ptr “ at address: “ ptr std::endl; } else { std::cout “Null pointer.” std::endl; } }編譯器會(huì)根據(jù)調(diào)用時(shí)的最佳匹配規(guī)則選擇最合適的版本。特化特化是為特定的模板參數(shù)提供一個(gè)完全定制的實(shí)現(xiàn)。它像是為通用模具開(kāi)的一個(gè)“小灶”。// 通用模板 template typename T bool isEqual(const T a, const T b) { return a b; } // 全特化針對(duì) const char* 類型 template bool isEqualconst char*(const char* const a, const char* const b) { return strcmp(a, b) 0; }對(duì)于字符串直接使用比較的是指針地址而非字符串內(nèi)容。通過(guò)特化我們提供了正確的比較邏輯。全特化時(shí)template 表示這是一個(gè)特化版本尖括號(hào)內(nèi)為空因?yàn)樗蓄愋蛥?shù)都已指定。實(shí)操心得函數(shù)模板的特化在實(shí)際項(xiàng)目中需謹(jǐn)慎使用。過(guò)度特化會(huì)導(dǎo)致代碼分散維護(hù)困難。很多時(shí)候通過(guò)函數(shù)重載或使用if constexprC17在通用模板內(nèi)部進(jìn)行條件編譯是更清晰的選擇。特化更常用于類模板。3. 類模板全面剖析構(gòu)建通用數(shù)據(jù)結(jié)構(gòu)的藍(lán)圖如果說(shuō)函數(shù)模板是通用算法的利器那么類模板就是構(gòu)建通用容器和數(shù)據(jù)結(jié)構(gòu)的基礎(chǔ)。STL中的vectorlistmap都是類模板的杰出代表。3.1 類模板的定義與成員函數(shù)實(shí)現(xiàn)一個(gè)簡(jiǎn)單的棧Stack類模板可以這樣定義// stack.h template typename T class Stack { private: T* elements; // 存儲(chǔ)元素的數(shù)組 int capacity; // 棧的容量 int topIndex; // 棧頂索引 public: Stack(int size 10); // 構(gòu)造函數(shù) ~Stack(); // 析構(gòu)函數(shù) void push(const T element); // 入棧 T pop(); // 出棧 bool isEmpty() const; // 判斷是否為空 // ... 其他成員函數(shù) };類模板的聲明和函數(shù)模板類似使用template typename T開(kāi)頭。這里的T代表了棧中存儲(chǔ)的元素類型。成員函數(shù)的實(shí)現(xiàn)類模板的成員函數(shù)在定義時(shí)每一個(gè)都必須被聲明為函數(shù)模板。// 構(gòu)造函數(shù)實(shí)現(xiàn) template typename T StackT::Stack(int size) : capacity(size), topIndex(-1) { elements new T[capacity]; // 這里要求類型T有默認(rèn)構(gòu)造函數(shù) } // 入棧操作實(shí)現(xiàn) template typename T void StackT::push(const T element) { if (topIndex capacity - 1) { // 擴(kuò)容邏輯...此處省略 } elements[topIndex] element; } // 出棧操作實(shí)現(xiàn) template typename T T StackT::pop() { if (isEmpty()) { throw std::out_of_range(“Stack is empty!”); } return elements[topIndex--]; }注意StackT::這個(gè)語(yǔ)法它表明這個(gè)函數(shù)是屬于StackT這個(gè)特定實(shí)例化類的成員。由于模板代碼通常需要放在頭文件中原因下文詳述常見(jiàn)的做法是將類聲明和成員函數(shù)定義都放在同一個(gè).hpp或.h文件中。3.2 模板參數(shù)的非類型參數(shù)與默認(rèn)參數(shù)模板參數(shù)不僅僅是類型。還可以是整型、枚舉、指針或引用指向具有靜態(tài)存儲(chǔ)期的對(duì)象或函數(shù)等非類型參數(shù)。template typename T, std::size_t N // N 是一個(gè)非類型模板參數(shù) class FixedArray { private: T data[N]; // 使用編譯期已知大小的數(shù)組 public: std::size_t size() const { return N; } T operator[](std::size_t index) { /* 邊界檢查 */ return data[index]; } }; FixedArrayint, 100 intArray; // 創(chuàng)建一個(gè)固定大小為100的int數(shù)組非類型參數(shù)N的值必須在編譯期確定。這允許你在編譯時(shí)就分配固定大小的內(nèi)存避免了動(dòng)態(tài)內(nèi)存分配的開(kāi)銷常用于嵌入式或高性能計(jì)算場(chǎng)景。默認(rèn)模板參數(shù)和函數(shù)參數(shù)一樣模板參數(shù)也可以有默認(rèn)值。template typename T int, std::size_t N 10 // 默認(rèn)類型為int默認(rèn)大小為10 class FixedArray { /* ... */ }; FixedArray array1; // 等價(jià)于 FixedArrayint, 10 FixedArraydouble array2; // 等價(jià)于 FixedArraydouble, 10 FixedArraydouble, 20 array3;這大大增加了類模板的靈活性STL的vector就有分配器Allocator作為默認(rèn)模板參數(shù)。3.3 類模板的特化與偏特化類模板的特化比函數(shù)模板更常見(jiàn)也更有用。它允許你為特定的類型或類型組合提供完全不同的實(shí)現(xiàn)。全特化為所有模板參數(shù)指定具體類型。// 通用模板 template typename T class DataHolder { T data; public: void print() { std::cout “Generic: “ data std::endl; } }; // 全特化針對(duì) bool 類型 template class DataHolderbool { bool data; public: void print() { std::cout “Bool: “ (data ? “true” : “false”) std::endl; } };當(dāng)你使用DataHolderint時(shí)調(diào)用通用模板的print。當(dāng)你使用DataHolderbool時(shí)調(diào)用特化版本的print。偏特化部分特化只特化一部分模板參數(shù)或者對(duì)模板參數(shù)施加一些約束如特化為指針類型。// 通用模板 template typename T, typename Allocator class MyVector { /* ... */ }; // 偏特化當(dāng)?shù)诙€(gè)參數(shù)是特定的分配器時(shí) template typename T class MyVectorT, SpecialAllocator { /* ... */ }; // 偏特化針對(duì)所有指針類型 template typename T class DataHolderT* { T* data; public: void print() { std::cout “Pointer to: “ *data std::endl; } };偏特化非常強(qiáng)大它是模板元編程和類型萃取Type Traits技術(shù)的基礎(chǔ)。例如標(biāo)準(zhǔn)庫(kù)中的std::vectorbool就是一個(gè)著名的全特化它通常以位壓縮的方式存儲(chǔ)bool值以節(jié)省空間。注意事項(xiàng)類模板的成員函數(shù)只有在被用到時(shí)才會(huì)被實(shí)例化。這意味著即使Stackstd::string的pop函數(shù)里有個(gè)語(yǔ)法錯(cuò)誤但只要你沒(méi)調(diào)用過(guò)這個(gè)pop函數(shù)代碼依然能編譯通過(guò)。這既是優(yōu)點(diǎn)減少編譯時(shí)間也可能隱藏錯(cuò)誤。4. 模板實(shí)戰(zhàn)進(jìn)階技巧、陷阱與元編程初探掌握了基本語(yǔ)法后我們來(lái)看看在實(shí)際項(xiàng)目中運(yùn)用模板時(shí)的高級(jí)技巧和常見(jiàn)陷阱。4.1 模板與分離編譯模型為什么模板代碼要放在頭文件這是C模板新手遇到的第一大編譯問(wèn)題。如果你像普通類一樣將類模板的聲明放在.h文件定義放在.cpp文件然后在另一個(gè).cpp文件中#include “.h”并使用模板鏈接器會(huì)報(bào)“未定義的引用”錯(cuò)誤。原因模板不是普通的代碼它是編譯器生成代碼的“說(shuō)明書”。當(dāng)編譯器在main.cpp中看到Stackint myStack時(shí)它需要看到Stack模板的完整定義包括成員函數(shù)體才能實(shí)例化出Stackint的代碼。如果定義在另一個(gè).cpp文件里main.cpp的編譯單元看不到它就無(wú)法實(shí)例化。解決方案最常見(jiàn)將模板的定義和聲明都放在頭文件.hpp或.h中。這是STL和大多數(shù)庫(kù)的做法。使用顯式實(shí)例化。在模板定義的.cpp文件末尾強(qiáng)制實(shí)例化你需要的所有類型template class Stackint;template class Stackdouble;。但這失去了模板的靈活性你需要預(yù)知所有會(huì)用到的類型。C11引入了外部模板e(cuò)xtern template可以在一個(gè)編譯單元中實(shí)例化在另一個(gè)中聲明為外部引用以節(jié)省編譯時(shí)間但并未解決根本的分離問(wèn)題。4.2 類型萃取與SFINAE讓模板更智能有時(shí)我們希望模板能根據(jù)類型的特性是否有某個(gè)成員、是否是某種類別選擇不同的實(shí)現(xiàn)路徑。這就需要類型萃取Type Traits和SFINAESubstitution Failure Is Not An Error技術(shù)。SFINAE在模板參數(shù)推導(dǎo)和重載決議過(guò)程中如果替換模板參數(shù)導(dǎo)致了一個(gè)無(wú)效的代碼如無(wú)效的類型、表達(dá)式編譯器不會(huì)報(bào)錯(cuò)而是簡(jiǎn)單地將這個(gè)候選從重載集中剔除。利用SFINAE我們可以約束模板只對(duì)某些類型生效。C11之前常用typename std::enable_if來(lái)實(shí)現(xiàn)。// 一個(gè)函數(shù)只對(duì)具有“size_type”成員類型的類生效 template typename T typename T::size_type getSize(const T container, typename std::enable_if!std::is_integralT::value::type* nullptr) { return container.size(); } // 針對(duì)整數(shù)類型的重載版本 template typename T T getSize(T number, typename std::enable_ifstd::is_integralT::value::type* nullptr) { return number; }std::enable_if條件如果條件為真它會(huì)定義一個(gè)type成員默認(rèn)為void如果條件為假則沒(méi)有type成員導(dǎo)致替換失敗該函數(shù)模板被從候選集中移除。類型萃取std::is_integralT就是一個(gè)類型萃取工具它檢查T是否為整型。標(biāo)準(zhǔn)庫(kù)type_traits提供了大量這樣的工具如is_pointer,is_class,remove_reference等。它們是編譯期的類型判斷和操作工具是模板元編程的基石。C17引入了if constexpr讓這類編譯期條件判斷寫起來(lái)更直觀template typename T auto getSize(const T val) { if constexpr (std::is_integral_vT) { return val; } else if constexpr (has_size_member_vT) { // 假設(shè)有一個(gè)自定義的traits return val.size(); } else { static_assert(false, “T must be integral or have size() member”); } }4.3 可變參數(shù)模板處理任意數(shù)量參數(shù)C11的可變參數(shù)模板允許模板接受任意數(shù)量的模板參數(shù)這用于實(shí)現(xiàn)像std::tuple、std::make_shared這樣的工具。// 遞歸終止函數(shù) void print() { std::cout “\n”; } // 可變參數(shù)模板函數(shù) template typename T, typename... Args // Args是一個(gè)模板參數(shù)包 void print(T first, Args... rest) { // rest是一個(gè)函數(shù)參數(shù)包 std::cout first “ “; print(rest...); // 遞歸展開(kāi)參數(shù)包 } // 使用 print(1, 2.5, “hello”, ‘a(chǎn)’); // 輸出1 2.5 hello atypename... Args定義了一個(gè)模板參數(shù)包Args... rest定義了一個(gè)函數(shù)參數(shù)包。通過(guò)遞歸調(diào)用自身并不斷剝離第一個(gè)參數(shù)直到參數(shù)包為空調(diào)用終止函數(shù)。類模板也可以使用可變參數(shù)例如實(shí)現(xiàn)一個(gè)簡(jiǎn)單的元組template typename... Types class Tuple; // 基本模板空元組 template class Tuple {}; // 遞歸定義一個(gè)元素剩余元素的元組 template typename Head, typename... Tail class TupleHead, Tail... : private TupleTail... { private: Head head; public: Tuple(const Head h, const Tail... t) : head(h), TupleTail...(t...) {} Head getHead() { return head; } TupleTail... getTail() { return *this; } };這是通過(guò)模板偏特化和遞歸繼承實(shí)現(xiàn)的。可變參數(shù)模板是C模板元編程中實(shí)現(xiàn)編譯期列表、函數(shù)式編程等高級(jí)特性的關(guān)鍵。4.4 模板元編程簡(jiǎn)介將計(jì)算移至編譯期模板元編程是利用模板在編譯期執(zhí)行計(jì)算的技術(shù)。一個(gè)經(jīng)典的例子是編譯期計(jì)算階乘template unsigned n struct Factorial { static const unsigned value n * Factorialn - 1::value; }; // 特化作為遞歸終止條件 template struct Factorial0 { static const unsigned value 1; }; int main() { // 計(jì)算在編譯期完成運(yùn)行時(shí)直接使用結(jié)果 std::cout Factorial5::value std::endl; // 輸出 120 return 0; }這里Factorial5::value在編譯時(shí)就已經(jīng)被計(jì)算為120。模板元編程可以用于生成高效的、針對(duì)特定配置的代碼在性能要求極高的領(lǐng)域如游戲引擎、金融計(jì)算有重要應(yīng)用。現(xiàn)代CC11/14/17引入了constexpr關(guān)鍵字使得很多編譯期計(jì)算可以用更直觀的函數(shù)語(yǔ)法完成但模板元編程在類型操作和代碼生成方面仍有不可替代的優(yōu)勢(shì)。5. 常見(jiàn)問(wèn)題與性能調(diào)優(yōu)實(shí)戰(zhàn)5.1 模板導(dǎo)致的代碼膨脹如何應(yīng)對(duì)模板實(shí)例化會(huì)為每一種用到的類型組合生成一份代碼。一個(gè)包含大量復(fù)雜成員函數(shù)的類模板被用于幾十種不同類型時(shí)二進(jìn)制體積可能會(huì)顯著增長(zhǎng)。應(yīng)對(duì)策略提取公共代碼將不依賴模板參數(shù)的邏輯提取到非模板基類或獨(dú)立的工具函數(shù)中。使用類型擦除對(duì)于某些接口可以使用像std::function、void*或繼承自公共非模板基類的方式來(lái)統(tǒng)一類型減少模板實(shí)例化。但這會(huì)帶來(lái)一定的運(yùn)行時(shí)開(kāi)銷。顯式實(shí)例化常用類型如果你能預(yù)知只會(huì)有少數(shù)幾種類型被使用可以在一個(gè).cpp文件中顯式實(shí)例化它們并隱藏模板定義其他文件通過(guò)頭文件聲明來(lái)使用。這既控制了膨脹又實(shí)現(xiàn)了分離編譯。編譯器優(yōu)化現(xiàn)代編譯器很智能會(huì)對(duì)完全相同的實(shí)例化代碼進(jìn)行合并COMDAT折疊。確保開(kāi)啟鏈接時(shí)優(yōu)化LTO可以幫助減少最終體積。5.2 編譯時(shí)間過(guò)長(zhǎng)怎么辦模板特別是深度嵌套或大量使用的模板是編譯時(shí)間的主要?dú)⑹种弧?yōu)化策略前向聲明與減少頭文件依賴在模板類的聲明中盡量使用前向聲明而非包含完整頭文件。如果類模板的某個(gè)成員函數(shù)只是用到了某個(gè)類型的指針那么包含該類型的聲明即可無(wú)需包含其定義。使用 extern template在廣泛使用的頭文件中對(duì)于已知會(huì)實(shí)例化的常見(jiàn)類型如std::vectorint使用extern template class std::vectorint;來(lái)阻止當(dāng)前編譯單元實(shí)例化它前提是你在另一個(gè)地方如預(yù)編譯的庫(kù)中提供了該實(shí)例化。預(yù)編譯頭文件將幾乎不變的標(biāo)準(zhǔn)庫(kù)和項(xiàng)目基礎(chǔ)頭文件放入預(yù)編譯頭如stdafx.h或pch.h可以大幅加速這些部分的編譯。模塊化C20的模塊Modules是解決編譯時(shí)問(wèn)題的終極武器之一。它允許你更清晰地分離接口和實(shí)現(xiàn)編譯器不需要反復(fù)解析龐大的頭文件內(nèi)容。5.3 調(diào)試模板錯(cuò)誤如何解讀天書般的編譯錯(cuò)誤模板編譯錯(cuò)誤信息往往又長(zhǎng)又晦澀充斥著大量的內(nèi)部類型名和展開(kāi)信息。調(diào)試技巧從第一行和最后一行看起編譯器通常會(huì)先報(bào)一個(gè)核心錯(cuò)誤如“沒(méi)有匹配的函數(shù)”然后展開(kāi)一大堆實(shí)例化軌跡。直接看最后一行找到你自己代碼對(duì)應(yīng)的行號(hào)然后向上追溯。使用static_assert進(jìn)行友好提示在模板代碼中提前加入靜態(tài)斷言可以給出更清晰的錯(cuò)誤信息。template typename T void process(T val) { static_assert(std::is_arithmetic_vT, “T must be an arithmetic type (int, float, etc.)”); // ... 處理邏輯 }簡(jiǎn)化重現(xiàn)如果錯(cuò)誤很復(fù)雜嘗試創(chuàng)建一個(gè)最小的、能重現(xiàn)錯(cuò)誤的代碼片段。這能幫你隔離問(wèn)題也方便向他人求助。借助IDE和工具現(xiàn)代IDE如CLion, Visual Studio對(duì)模板錯(cuò)誤的解析和著色越來(lái)越好。一些在線編譯器如Compiler Explorer也能清晰展示實(shí)例化過(guò)程。5.4 模板與動(dòng)態(tài)多態(tài)的選擇模板編譯期多態(tài)和虛函數(shù)運(yùn)行期多態(tài)是C中實(shí)現(xiàn)多態(tài)的兩種主要方式。模板靜態(tài)多態(tài)優(yōu)點(diǎn)零運(yùn)行時(shí)開(kāi)銷無(wú)虛表查找編譯器可以進(jìn)行深度優(yōu)化如內(nèi)聯(lián)。類型安全錯(cuò)誤在編譯期暴露。缺點(diǎn)可能導(dǎo)致代碼膨脹編譯時(shí)間長(zhǎng)。無(wú)法處理運(yùn)行時(shí)才確定的類型集合。適用場(chǎng)景性能關(guān)鍵路徑算法與數(shù)據(jù)結(jié)構(gòu)如STL類型在編譯期已知的情況。虛函數(shù)動(dòng)態(tài)多態(tài)優(yōu)點(diǎn)運(yùn)行時(shí)靈活通過(guò)基類指針/接口操作不同的派生類對(duì)象。二進(jìn)制接口穩(wěn)定利于庫(kù)的版本管理。缺點(diǎn)有運(yùn)行時(shí)開(kāi)銷虛函數(shù)調(diào)用、RTTI編譯器優(yōu)化機(jī)會(huì)少。適用場(chǎng)景需要運(yùn)行時(shí)動(dòng)態(tài)綁定設(shè)計(jì)框架和插件系統(tǒng)處理異構(gòu)對(duì)象集合。在實(shí)際項(xiàng)目中兩者常常結(jié)合使用。例如使用“類型擦除”技術(shù)如std::function可以提供類似動(dòng)態(tài)多態(tài)的接口而內(nèi)部可能用模板實(shí)現(xiàn)以獲得效率或者在一個(gè)框架中核心接口用虛函數(shù)定義而具體的策略或算法用模板實(shí)現(xiàn)以獲得高性能。理解兩者的優(yōu)劣才能在合適的場(chǎng)景做出正確的選擇。模板的奧秘遠(yuǎn)不止于此從CRTP奇異遞歸模板模式到概念ConceptsC20每一層深入都能帶來(lái)新的編程范式和解法。掌握它你手中的C將從一個(gè)強(qiáng)大的語(yǔ)言進(jìn)化為一套靈活高效的代碼生成工具。