1. 項(xiàng)目概述從“會(huì)用”到“懂用”的STL進(jìn)階之路如果你已經(jīng)跟著前兩篇內(nèi)容把C STL里的vector、string、list這些基礎(chǔ)容器玩得比較熟了能熟練地push_back、find、sort那恭喜你你已經(jīng)成功渡過(guò)了新手村。但不知道你有沒(méi)有過(guò)這樣的感覺(jué)看別人的代碼里面那些帶著尖括號(hào)的、像std::pairint, std::string或者自己寫(xiě)的MyContainerT總覺(jué)得有點(diǎn)神秘用起來(lái)也戰(zhàn)戰(zhàn)兢兢生怕寫(xiě)錯(cuò)了編譯器報(bào)一堆看不懂的天書(shū)。又或者你想寫(xiě)一個(gè)函數(shù)既能處理int數(shù)組又能處理double數(shù)組難道要寫(xiě)兩個(gè)幾乎一樣的函數(shù)嗎這些問(wèn)題的鑰匙就是C模板。“C STL編程學(xué)習(xí)三”我們不再滿(mǎn)足于僅僅調(diào)用STL提供的現(xiàn)成工具。這一篇的核心目標(biāo)是深入STL的“制造車(chē)間”——模板。STL本身就是一個(gè)用模板技術(shù)構(gòu)建的龐大庫(kù)vectorT、mapK, V這些容器都是類(lèi)模板的產(chǎn)物。不理解模板你對(duì)STL的理解就永遠(yuǎn)停留在表面無(wú)法真正駕馭它更談不上寫(xiě)出同樣優(yōu)雅、通用的高質(zhì)量C代碼。本文將聚焦于類(lèi)模板和函數(shù)模板我會(huì)用大量貼近實(shí)際開(kāi)發(fā)的例子帶你弄明白模板的語(yǔ)法、原理以及那些真正影響性能和代碼質(zhì)量的細(xì)節(jié)。無(wú)論你是想徹底讀懂STL源碼還是希望自己的代碼能像STL一樣靈活強(qiáng)大這里的內(nèi)容都是你必須啃下的硬骨頭。2. 模板基礎(chǔ)泛型編程的“模具”在開(kāi)始之前我們得先統(tǒng)一思想。模板不是運(yùn)行時(shí)的東西它是一套編譯期的“藍(lán)圖”或“模具”系統(tǒng)。它的核心思想是泛型編程編寫(xiě)與數(shù)據(jù)類(lèi)型無(wú)關(guān)的代碼。你可以把它想象成做月餅的模具。模具模板本身不能吃但當(dāng)你把面粉int、豆沙double或者冰皮MyClass塞進(jìn)去就能壓出對(duì)應(yīng)口味的月餅具體的類(lèi)或函數(shù)。2.1 函數(shù)模板告別重復(fù)代碼我們先從更簡(jiǎn)單的函數(shù)模板開(kāi)始。假設(shè)你需要一個(gè)函數(shù)來(lái)交換兩個(gè)變量的值。沒(méi)有模板的時(shí)代你得為每種類(lèi)型寫(xiě)一個(gè)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; } // 如果需要交換自定義的Student對(duì)象呢再寫(xiě)一個(gè)swapStudent...這顯然是災(zāi)難。函數(shù)模板來(lái)解決template typename T // 模板聲明T是一個(gè)占位符類(lèi)型參數(shù) void mySwap(T a, T b) { T temp a; a b; b temp; }關(guān)鍵點(diǎn)解析template typename T這是模板的“開(kāi)場(chǎng)白”告訴編譯器后面要定義一個(gè)模板T是一個(gè)待定的類(lèi)型參數(shù)。typename也可以用class關(guān)鍵字替代兩者在這里基本等價(jià)但typename更直觀。void mySwap(T a, T b)函數(shù)簽名。這里的T就是上面聲明的類(lèi)型參數(shù)。這意味著a和b必須是同一種類(lèi)型。函數(shù)體和普通函數(shù)一樣只是用T代替了具體類(lèi)型。如何使用編譯器會(huì)根據(jù)你調(diào)用時(shí)傳入的實(shí)際類(lèi)型自動(dòng)“實(shí)例化”出一個(gè)具體版本的函數(shù)。這個(gè)過(guò)程叫模板實(shí)例化。int x 1, y 2; mySwap(x, y); // 編譯器生成并調(diào)用 void mySwapint(int, int) double m 3.14, n 2.71; mySwap(m, n); // 編譯器生成并調(diào)用 void mySwapdouble(double, double) std::string s1 hello, s2 world; mySwap(s1, s2); // 編譯器生成并調(diào)用 void mySwapstd::string(std::string, std::string)實(shí)操心得typename T里的T只是一個(gè)習(xí)慣命名你可以用任何合法的標(biāo)識(shí)符比如template typename ElementType。但保持簡(jiǎn)潔如T,U,K,V是社區(qū)慣例尤其在模板參數(shù)多時(shí)T1,T2反而比長(zhǎng)名字更清晰。2.2 類(lèi)模板構(gòu)建你自己的“Vector”理解了函數(shù)模板類(lèi)模板就順理成章了。我們的目標(biāo)是打造一個(gè)簡(jiǎn)化版的vector就叫它MyVector吧。template typename T // 類(lèi)模板聲明 class MyVector { private: T* m_data; // 指向動(dòng)態(tài)數(shù)組的指針元素類(lèi)型為T(mén) size_t m_size; // 當(dāng)前元素?cái)?shù)量 size_t m_capacity; // 當(dāng)前分配的內(nèi)存能容納的元素?cái)?shù)量 public: // 構(gòu)造函數(shù) MyVector() : m_data(nullptr), m_size(0), m_capacity(0) {} // 帶初始大小的構(gòu)造函數(shù) explicit MyVector(size_t count, const T value T()) { m_data static_castT*(operator new[](count * sizeof(T))); // 分配原始內(nèi)存 m_size m_capacity count; for (size_t i 0; i count; i) { new(m_data[i]) T(value); // 在原始內(nèi)存上構(gòu)造對(duì)象定位new } } // 析構(gòu)函數(shù) ~MyVector() { clear(); // 先析構(gòu)所有對(duì)象 operator delete[](m_data); // 釋放內(nèi)存 m_data nullptr; } // 尾插元素 void push_back(const T val) { if (m_size m_capacity) { // 容量不足需要擴(kuò)容這里簡(jiǎn)化每次翻倍 size_t new_capacity (m_capacity 0) ? 1 : m_capacity * 2; reserve(new_capacity); } new(m_data[m_size]) T(val); // 在末尾構(gòu)造新對(duì)象 m_size; } // 訪問(wèn)元素不檢查邊界簡(jiǎn)化版 T operator[](size_t index) { return m_data[index]; } const T operator[](size_t index) const { return m_data[index]; } // 獲取大小 size_t size() const { return m_size; } // 清理元素析構(gòu)但不釋放內(nèi)存 void clear() { for (size_t i 0; i m_size; i) { m_data[i].~T(); // 顯式調(diào)用析構(gòu)函數(shù) } m_size 0; } // 預(yù)留容量 void reserve(size_t new_capacity) { if (new_capacity m_capacity) return; T* new_data static_castT*(operator new[](new_capacity * sizeof(T))); // 將舊數(shù)據(jù)移動(dòng)或拷貝到新內(nèi)存 for (size_t i 0; i m_size; i) { new(new_data[i]) T(std::move(m_data[i])); // 使用移動(dòng)語(yǔ)義提高效率 m_data[i].~T(); } operator delete[](m_data); m_data new_data; m_capacity new_capacity; } };代碼深度解析與避坑指南內(nèi)存分配與對(duì)象構(gòu)造的分離這是C容器設(shè)計(jì)的核心。我們使用operator new[]分配的是“原始內(nèi)存”raw memory它只是一塊字節(jié)區(qū)域還沒(méi)有T類(lèi)型的對(duì)象。因此必須在分配的內(nèi)存地址上使用定位newplacement new語(yǔ)法new(address) T(args...)來(lái)構(gòu)造對(duì)象。同理銷(xiāo)毀時(shí)不能直接用delete[]因?yàn)閐elete[]會(huì)先調(diào)用析構(gòu)函數(shù)再釋放內(nèi)存。我們需要先顯式調(diào)用析構(gòu)函數(shù)m_data[i].~T()再用operator delete[]釋放原始內(nèi)存。這一步如果搞混會(huì)導(dǎo)致未定義行為內(nèi)存泄漏或程序崩潰。顯式構(gòu)造函數(shù)explicitexplicit MyVector(size_t count, const T value T())中的explicit關(guān)鍵字防止了隱式類(lèi)型轉(zhuǎn)換。沒(méi)有它MyVectorint vec 10;這樣的代碼會(huì)被編譯器解釋為MyVectorint vec(10)這可能不是程序員的本意。給單參數(shù)的構(gòu)造函數(shù)加上explicit是一個(gè)好習(xí)慣。默認(rèn)參數(shù)T()const T value T()為第二個(gè)參數(shù)提供了默認(rèn)值T()即調(diào)用類(lèi)型T的默認(rèn)構(gòu)造函數(shù)創(chuàng)建一個(gè)臨時(shí)對(duì)象。對(duì)于int、double等內(nèi)置類(lèi)型T()意味著值初始化int()是0double()是0.0。這允許用戶(hù)調(diào)用MyVectorint vec(5);來(lái)創(chuàng)建5個(gè)0而不必寫(xiě)MyVectorint vec(5, 0);。移動(dòng)語(yǔ)義std::move在reserve函數(shù)中我們使用了std::move(m_data[i])。這會(huì)將m_data[i]轉(zhuǎn)換為右值引用從而在構(gòu)造new_data[i]時(shí)如果類(lèi)型T支持移動(dòng)構(gòu)造就會(huì)調(diào)用移動(dòng)構(gòu)造函數(shù)只轉(zhuǎn)移資源如內(nèi)部指針而不進(jìn)行深拷貝極大提升了重新分配內(nèi)存時(shí)的性能。這是現(xiàn)代C高效編程的關(guān)鍵。如何使用這個(gè)MyVector// 存儲(chǔ)int MyVectorint intVec; intVec.push_back(42); intVec.push_back(100); std::cout intVec[0] std::endl; // 輸出 42 // 存儲(chǔ)string MyVectorstd::string strVec(3, hello); // 創(chuàng)建3個(gè)hello strVec.push_back(world); for (size_t i 0; i strVec.size(); i) { std::cout strVec[i] ; } // 輸出hello hello hello world // 存儲(chǔ)自定義類(lèi)型 class Point { public: int x, y; Point(int a0, int b0) : x(a), y(b) {} }; MyVectorPoint pointVec; pointVec.push_back(Point(1, 2));3. 模板進(jìn)階讓“模具”更智能基礎(chǔ)的模板能解決類(lèi)型泛化的問(wèn)題但真實(shí)的場(chǎng)景往往更復(fù)雜。比如我們想比較兩個(gè)對(duì)象的大小但有的對(duì)象用比較有的可能需要一個(gè)特殊的比較函數(shù)。3.1 非類(lèi)型模板參數(shù)模板參數(shù)不一定非得是類(lèi)型也可以是整型常量、枚舉或指針。template typename T, std::size_t N // N是一個(gè)非類(lèi)型模板參數(shù) class FixedArray { private: T m_data[N]; // 棧上固定大小的數(shù)組性能極高 public: std::size_t size() const { return N; } T operator[](std::size_t idx) { return m_data[idx]; } // ... }; FixedArrayint, 10 arr1; // 一個(gè)包含10個(gè)int的固定數(shù)組 FixedArraydouble, 100 arr2; // 一個(gè)包含100個(gè)double的固定數(shù)組 // arr1和arr2是不同的類(lèi)型FixedArrayint, 10和FixedArrayint, 20也是不同類(lèi)型。應(yīng)用場(chǎng)景std::arrayT, N就是使用非類(lèi)型模板參數(shù)的典型。它替代了傳統(tǒng)的C風(fēng)格數(shù)組提供了安全的接口和迭代器支持同時(shí)保持了棧上分配的零開(kāi)銷(xiāo)高性能。3.2 默認(rèn)模板參數(shù)和函數(shù)參數(shù)可以有默認(rèn)值一樣模板參數(shù)也可以。template typename T, typename Container std::vectorT // Container默認(rèn)為vectorT class Stack { private: Container m_elems; public: void push(const T elem) { m_elems.push_back(elem); } void pop() { m_elems.pop_back(); } T top() { return m_elems.back(); } }; Stackint s1; // 使用默認(rèn)的std::vectorint作為底層容器 Stackint, std::dequeint s2; // 顯式指定使用std::dequeint這提供了極大的靈活性。STL的stack和queue實(shí)際上就是這樣的“容器適配器”它們可以基于deque、list或vector工作。3.3 模板特化為特定類(lèi)型定制行為有時(shí)候泛化的模板邏輯對(duì)某些特殊類(lèi)型不合適需要“特事特辦”。這就是模板特化。函數(shù)模板特化不推薦通常用重載替代template typename T bool isEqual(const T a, const T b) { return a b; } // 為const char* 特化因?yàn)橹苯颖容^指針地址沒(méi)有意義 template bool isEqualconst char*(const char* const a, const char* const b) { return strcmp(a, b) 0; }類(lèi)模板特化更常用// 主模板 template typename T class DataSerializer { public: static std::string serialize(const T data) { return std::to_string(data); // 假設(shè)T可以轉(zhuǎn)為字符串 } }; // 全特化為std::string類(lèi)型提供完全不同的實(shí)現(xiàn) template class DataSerializerstd::string { public: static std::string serialize(const std::string data) { return \ data \; // 給字符串加上引號(hào) } }; // 偏特化部分特化針對(duì)指針類(lèi)型 template typename T class DataSerializerT* { public: static std::string serialize(const T* data) { if (data) { return Pointer to: DataSerializerT::serialize(*data); } else { return Null pointer; } } }; std::cout DataSerializerint::serialize(42) std::endl; // 42 std::cout DataSerializerstd::string::serialize(hello) std::endl; // \hello\ int val 100; std::cout DataSerializerint*::serialize(val) std::endl; // Pointer to: 100注意事項(xiàng)模板特化是強(qiáng)大的工具但過(guò)度使用會(huì)讓代碼變得復(fù)雜難懂。在決定特化之前先考慮是否可以通過(guò)函數(shù)重載或修改主模板邏輯來(lái)解決問(wèn)題。特化通常用于性能優(yōu)化如為bool類(lèi)型提供位級(jí)存儲(chǔ)的vectorbool特化或處理特殊語(yǔ)義如指針、C風(fēng)格字符串。4. STL中的模板實(shí)戰(zhàn)以std::map和算法為例理解了模板我們?cè)倩仡^看STL就會(huì)有豁然開(kāi)朗的感覺(jué)。4.1std::map的模板參數(shù)剖析std::map的完整聲明看起來(lái)有點(diǎn)嚇人template class Key, class T, class Compare std::lessKey, // 比較器默認(rèn)為std::less class Allocator std::allocatorstd::pairconst Key, T // 分配器 class map;Key鍵的類(lèi)型。T值的類(lèi)型。Compare用于比較鍵的函數(shù)對(duì)象類(lèi)型決定map中元素的排序方式。默認(rèn)是std::lessKey即用運(yùn)算符比較。你可以傳入自定義的比較器來(lái)實(shí)現(xiàn)降序排列或按特殊規(guī)則排序。struct CaseInsensitiveCompare { bool operator()(const std::string a, const std::string b) const { return std::lexicographical_compare(a.begin(), a.end(), b.begin(), b.end(), [](char c1, char c2) { return std::tolower(c1) std::tolower(c2); }); } }; std::mapstd::string, int, CaseInsensitiveCompare caseInsensitiveMap;Allocator內(nèi)存分配器。99%的情況下你不需要?jiǎng)铀褂媚J(rèn)的std::allocator即可。它負(fù)責(zé)map內(nèi)部節(jié)點(diǎn)通常是紅黑樹(shù)節(jié)點(diǎn)的內(nèi)存分配與釋放。只有在對(duì)性能有極致要求或需要在特殊內(nèi)存區(qū)域如共享內(nèi)存分配時(shí)才需要自定義分配器。4.2 泛型算法std::sort與迭代器STL算法是函數(shù)模板的集大成者。以std::sort為例template class RandomIt, class Compare void sort( RandomIt first, RandomIt last, Compare comp );RandomIt隨機(jī)訪問(wèn)迭代器類(lèi)型。它要求容器支持像數(shù)組一樣的隨機(jī)訪問(wèn)it n。所以std::vector、std::deque、普通數(shù)組可以用std::sort但std::list不行它提供了自己的sort成員函數(shù)。Compare比較準(zhǔn)則。默認(rèn)是std::less但你可以傳入任何可調(diào)用對(duì)象函數(shù)指針、函數(shù)對(duì)象、lambda表達(dá)式。std::vectorint vec {5, 2, 9, 1, 5, 6}; // 默認(rèn)升序 std::sort(vec.begin(), vec.end()); // 使用lambda表達(dá)式降序 std::sort(vec.begin(), vec.end(), [](int a, int b) { return a b; }); // 對(duì)自定義對(duì)象排序 struct Person { std::string name; int age; }; std::vectorPerson people {{Alice, 25}, {Bob, 20}, {Charlie, 30}}; // 按年齡升序排序 std::sort(people.begin(), people.end(), [](const Person a, const Person b) { return a.age b.age; });這里的關(guān)鍵是std::sort完全不關(guān)心你容器里存的是int、Person還是其他什么。它只關(guān)心1我能通過(guò)迭代器訪問(wèn)元素2你能給我一個(gè)比較兩個(gè)元素的方法。這就是泛型算法的威力。5. 模板元編程初窺與編譯期計(jì)算模板的能力遠(yuǎn)不止于生成代碼。利用模板特化、遞歸和編譯期求值我們可以在編譯期完成一些計(jì)算這就是模板元編程TMP。雖然它語(yǔ)法晦澀但在一些庫(kù)如Boost, Eigen中用于生成極致優(yōu)化的代碼。一個(gè)經(jīng)典的例子編譯期計(jì)算階乘。// 主模板聲明一個(gè)靜態(tài)常量value template unsigned n struct Factorial { static const unsigned long long value n * Factorialn - 1::value; }; // 特化遞歸基0的階乘是1 template struct Factorial0 { static const unsigned long long value 1; }; int main() { // 這個(gè)計(jì)算發(fā)生在編譯期運(yùn)行時(shí)直接使用結(jié)果120。 std::cout Factorial5::value std::endl; // 輸出 120 // 下面這行會(huì)導(dǎo)致編譯錯(cuò)誤因?yàn)槟０鍏?shù)必須是編譯期常量。 // int x 5; // std::cout Factorialx::value std::endl; // 錯(cuò)誤 }為什么這么做性能。所有計(jì)算都在編譯期完成運(yùn)行時(shí)沒(méi)有任何開(kāi)銷(xiāo)?，F(xiàn)代C的constexpr關(guān)鍵字在很多場(chǎng)景下可以更優(yōu)雅地替代TMP實(shí)現(xiàn)編譯期計(jì)算但理解TMP有助于你讀懂那些經(jīng)典的庫(kù)代碼。6. 模板的局限、陷阱與最佳實(shí)踐模板很強(qiáng)大但也不是銀彈。下面是一些我踩過(guò)坑后總結(jié)的經(jīng)驗(yàn)。6.1 編譯錯(cuò)誤信息晦澀難懂這是模板最被詬病的一點(diǎn)。一個(gè)簡(jiǎn)單的類(lèi)型不匹配編譯器可能給你吐出幾十行甚至上百行的錯(cuò)誤信息核心錯(cuò)誤淹沒(méi)其中。應(yīng)對(duì)策略從第一條錯(cuò)誤看起編譯器通常在第一行就指出了根本問(wèn)題后面的多是實(shí)例化鏈的追溯。使用static_assert進(jìn)行友好提示在模板代碼中可以使用static_assert在編譯期檢查條件并輸出自定義的錯(cuò)誤信息。template typename T void process(const T val) { // 檢查T(mén)是否具有serialize方法這里用概念檢查簡(jiǎn)化表示 // 如果C20可以用concepts。C17之前可以用SFINAE或traits。 // 假設(shè)我們期望T是算術(shù)類(lèi)型 static_assert(std::is_arithmeticT::value, T must be an arithmetic type (int, float, etc.)); // ... 處理邏輯 } process(std::string(hello)); // 編譯錯(cuò)誤并清晰提示T must be an arithmetic type借助IDE和現(xiàn)代編譯器Clang編譯器生成的錯(cuò)誤信息通常比GCC更清晰。Visual Studio等IDE也能更好地解析和簡(jiǎn)化模板錯(cuò)誤。6.2 代碼膨脹模板每實(shí)例化一種新的類(lèi)型組合就會(huì)生成一份獨(dú)立的代碼。如果你用MyVectorint、MyVectordouble、MyVectorlong編譯器就會(huì)生成三份幾乎相同的機(jī)器碼。這可能導(dǎo)致最終的可執(zhí)行文件體積增大代碼膨脹。緩解方法將模板的非類(lèi)型相關(guān)部分抽取到非模板基類(lèi)或獨(dú)立函數(shù)中。對(duì)于某些大型模板類(lèi)考慮使用顯式實(shí)例化將模板的定義和實(shí)現(xiàn)分離到.cpp文件中并只實(shí)例化你需要的特定類(lèi)型。但這會(huì)失去模板的部分靈活性。6.3 分離編譯問(wèn)題通常模板的聲明和定義都必須放在頭文件.hpp或.h中。因?yàn)榫幾g器在編譯使用模板的源文件如main.cpp時(shí)需要看到模板的全部定義才能進(jìn)行實(shí)例化。如果像普通函數(shù)一樣把定義放在.cpp文件鏈接時(shí)會(huì)報(bào)“未定義的引用”錯(cuò)誤。解決方案最常見(jiàn)將模板定義全部寫(xiě)在頭文件里。使用export關(guān)鍵字C98/03提出但幾乎沒(méi)有編譯器支持已在C11中棄用。使用顯式實(shí)例化如上所述但這限制了可用的類(lèi)型。6.4 最佳實(shí)踐小結(jié)優(yōu)先使用函數(shù)模板和類(lèi)模板來(lái)消除代碼重復(fù)實(shí)現(xiàn)泛型。謹(jǐn)慎使用模板特化和元編程除非有明確的性能需求或要處理特殊類(lèi)型邏輯因?yàn)樗鼈儠?huì)顯著增加代碼復(fù)雜度。為模板參數(shù)使用有意義的名稱(chēng)當(dāng)有多個(gè)參數(shù)時(shí)typename Key, typename Value比typename T1, typename T2清晰得多。利用SFINAESubstitution Failure Is Not An Error或C20的Concepts來(lái)約束模板參數(shù)使接口更安全錯(cuò)誤信息更友好。注意移動(dòng)語(yǔ)義在模板函數(shù)中處理參數(shù)時(shí)考慮使用萬(wàn)能引用和std::forward實(shí)現(xiàn)完美轉(zhuǎn)發(fā)以同時(shí)支持左值和右值達(dá)到最優(yōu)效率。template typename T void wrapper(T arg) { // 注意這里是T在模板中可能是左值或右值引用 // ... 對(duì)arg做一些處理 process(std::forwardT(arg)); // 完美轉(zhuǎn)發(fā)給process函數(shù) }編寫(xiě)模板時(shí)時(shí)刻考慮其通用性你的模板代碼是否對(duì)bool、int*、const類(lèi)型等都能正確工作進(jìn)行充分的測(cè)試。走到這里你已經(jīng)不再是STL的簡(jiǎn)單使用者了。你理解了塑造STL的基石——模板知道了vectorint和vectordouble背后是同一套“模具”壓出的不同產(chǎn)品也見(jiàn)識(shí)了如何用模板特化來(lái)處理特殊情況甚至觸碰了模板元編程的門(mén)檻。這套“模具”思維是通往中高級(jí)C編程的必經(jīng)之路。下次當(dāng)你再看到復(fù)雜的模板代碼時(shí)試著把它拆解成“模具”和“填充材料”思路就會(huì)清晰很多。模板的深水區(qū)還有很多主題比如類(lèi)型萃取Type Traits、變參模板Variadic Templates、CRTP奇異遞歸模板模式等它們都是構(gòu)建現(xiàn)代C庫(kù)的利器。掌握了基礎(chǔ)這些進(jìn)階內(nèi)容的大門(mén)就已經(jīng)為你敞開(kāi)。