1. 項(xiàng)目概述從“會(huì)用”到“懂用”的STL進(jìn)階之路如果你已經(jīng)跟著前兩篇內(nèi)容把C STL里的vector、string、list這些基礎(chǔ)容器玩得比較熟了能熟練地push_back、find、sort那恭喜你你已經(jīng)成功渡過了新手村。但不知道你有沒有過這樣的感覺看別人的代碼里面那些帶著尖括號(hào)的、像std::pairint, std::string或者自己寫的MyContainerT總覺得有點(diǎn)神秘用起來也戰(zhàn)戰(zhàn)兢兢生怕寫錯(cuò)了編譯器報(bào)一堆看不懂的天書。又或者你想寫一個(gè)函數(shù)既能處理int數(shù)組又能處理double數(shù)組難道要寫兩個(gè)幾乎一樣的函數(shù)嗎這些問題的鑰匙就是C模板?！癈 STL編程學(xué)習(xí)三”我們不再滿足于僅僅調(diào)用STL提供的現(xiàn)成工具。這一篇的核心目標(biāo)是深入STL的“制造車間”——模板。STL本身就是一個(gè)用模板技術(shù)構(gòu)建的龐大庫(kù)vectorT、mapK, V這些容器都是類模板的產(chǎn)物。不理解模板你對(duì)STL的理解就永遠(yuǎn)停留在表面無法真正駕馭它更談不上寫出同樣優(yōu)雅、通用的高質(zhì)量C代碼。本文將聚焦于類模板和函數(shù)模板我會(huì)用大量貼近實(shí)際開發(fā)的例子帶你弄明白模板的語(yǔ)法、原理以及那些真正影響性能和代碼質(zhì)量的細(xì)節(jié)。無論你是想徹底讀懂STL源碼還是希望自己的代碼能像STL一樣靈活強(qiáng)大這里的內(nèi)容都是你必須啃下的硬骨頭。2. 模板基礎(chǔ)泛型編程的“模具”在開始之前我們得先統(tǒng)一思想。模板不是運(yùn)行時(shí)的東西它是一套編譯期的“藍(lán)圖”或“模具”系統(tǒng)。它的核心思想是泛型編程編寫與數(shù)據(jù)類型無關(guān)的代碼。你可以把它想象成做月餅的模具。模具模板本身不能吃但當(dāng)你把面粉int、豆沙double或者冰皮MyClass塞進(jìn)去就能壓出對(duì)應(yīng)口味的月餅具體的類或函數(shù)。2.1 函數(shù)模板告別重復(fù)代碼我們先從更簡(jiǎn)單的函數(shù)模板開始。假設(shè)你需要一個(gè)函數(shù)來交換兩個(gè)變量的值。沒有模板的時(shí)代你得為每種類型寫一個(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ì)象呢再寫一個(gè)swapStudent...這顯然是災(zāi)難。函數(shù)模板來解決template typename T // 模板聲明T是一個(gè)占位符類型參數(shù) void mySwap(T a, T b) { T temp a; a b; b temp; }關(guān)鍵點(diǎn)解析template typename T這是模板的“開場(chǎng)白”告訴編譯器后面要定義一個(gè)模板T是一個(gè)待定的類型參數(shù)。typename也可以用class關(guān)鍵字替代兩者在這里基本等價(jià)但typename更直觀。void mySwap(T a, T b)函數(shù)簽名。這里的T就是上面聲明的類型參數(shù)。這意味著a和b必須是同一種類型。函數(shù)體和普通函數(shù)一樣只是用T代替了具體類型。如何使用編譯器會(huì)根據(jù)你調(diào)用時(shí)傳入的實(shí)際類型自動(dòng)“實(shí)例化”出一個(gè)具體版本的函數(shù)。這個(gè)過程叫模板實(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 類模板構(gòu)建你自己的“Vector”理解了函數(shù)模板類模板就順理成章了。我們的目標(biāo)是打造一個(gè)簡(jiǎn)化版的vector就叫它MyVector吧。template typename T // 類模板聲明 class MyVector { private: T* m_data; // 指向動(dòng)態(tài)數(shù)組的指針元素類型為T 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; } // 訪問元素不檢查邊界簡(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ū)域還沒有T類型的對(duì)象。因此必須在分配的內(nèi)存地址上使用定位newplacement new語(yǔ)法new(address) T(args...)來構(gòu)造對(duì)象。同理銷毀時(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)鍵字防止了隱式類型轉(zhuǎn)換。沒有它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)用類型T的默認(rèn)構(gòu)造函數(shù)創(chuàng)建一個(gè)臨時(shí)對(duì)象。對(duì)于int、double等內(nèi)置類型T()意味著值初始化int()是0double()是0.0。這允許用戶調(diào)用MyVectorint vec(5);來創(chuàng)建5個(gè)0而不必寫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í)如果類型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ǔ)自定義類型 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ǔ)的模板能解決類型泛化的問題但真實(shí)的場(chǎng)景往往更復(fù)雜。比如我們想比較兩個(gè)對(duì)象的大小但有的對(duì)象用比較有的可能需要一個(gè)特殊的比較函數(shù)。3.1 非類型模板參數(shù)模板參數(shù)不一定非得是類型也可以是整型常量、枚舉或指針。template typename T, std::size_t N // N是一個(gè)非類型模板參數(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是不同的類型FixedArrayint, 10和FixedArrayint, 20也是不同類型。應(yīng)用場(chǎng)景std::arrayT, N就是使用非類型模板參數(shù)的典型。它替代了傳統(tǒng)的C風(fēng)格數(shù)組提供了安全的接口和迭代器支持同時(shí)保持了棧上分配的零開銷高性能。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 模板特化為特定類型定制行為有時(shí)候泛化的模板邏輯對(duì)某些特殊類型不合適需要“特事特辦”。這就是模板特化。函數(shù)模板特化不推薦通常用重載替代template typename T bool isEqual(const T a, const T b) { return a b; } // 為const char* 特化因?yàn)橹苯颖容^指針地址沒有意義 template bool isEqualconst char*(const char* const a, const char* const b) { return strcmp(a, b) 0; }類模板特化更常用// 主模板 template typename T class DataSerializer { public: static std::string serialize(const T data) { return std::to_string(data); // 假設(shè)T可以轉(zhuǎn)為字符串 } }; // 全特化為std::string類型提供完全不同的實(shí)現(xiàn) template class DataSerializerstd::string { public: static std::string serialize(const std::string data) { return \ data \; // 給字符串加上引號(hào) } }; // 偏特化部分特化針對(duì)指針類型 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)大的工具但過度使用會(huì)讓代碼變得復(fù)雜難懂。在決定特化之前先考慮是否可以通過函數(shù)重載或修改主模板邏輯來解決問題。特化通常用于性能優(yōu)化如為bool類型提供位級(jí)存儲(chǔ)的vectorbool特化或處理特殊語(yǔ)義如指針、C風(fēng)格字符串。4. STL中的模板實(shí)戰(zhàn)以std::map和算法為例理解了模板我們?cè)倩仡^看STL就會(huì)有豁然開朗的感覺。4.1std::map的模板參數(shù)剖析std::map的完整聲明看起來有點(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鍵的類型。T值的類型。Compare用于比較鍵的函數(shù)對(duì)象類型決定map中元素的排序方式。默認(rèn)是std::lessKey即用運(yùn)算符比較。你可以傳入自定義的比較器來實(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)通常是紅黑樹節(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ī)訪問迭代器類型。它要求容器支持像數(shù)組一樣的隨機(jī)訪問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我能通過迭代器訪問元素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í)沒有任何開銷?，F(xiàn)代C的constexpr關(guān)鍵字在很多場(chǎng)景下可以更優(yōu)雅地替代TMP實(shí)現(xiàn)編譯期計(jì)算但理解TMP有助于你讀懂那些經(jīng)典的庫(kù)代碼。6. 模板的局限、陷阱與最佳實(shí)踐模板很強(qiáng)大但也不是銀彈。下面是一些我踩過坑后總結(jié)的經(jīng)驗(yàn)。6.1 編譯錯(cuò)誤信息晦澀難懂這是模板最被詬病的一點(diǎn)。一個(gè)簡(jiǎn)單的類型不匹配編譯器可能給你吐出幾十行甚至上百行的錯(cuò)誤信息核心錯(cuò)誤淹沒其中。應(yīng)對(duì)策略從第一條錯(cuò)誤看起編譯器通常在第一行就指出了根本問題后面的多是實(shí)例化鏈的追溯。使用static_assert進(jìn)行友好提示在模板代碼中可以使用static_assert在編譯期檢查條件并輸出自定義的錯(cuò)誤信息。template typename T void process(const T val) { // 檢查T是否具有serialize方法這里用概念檢查簡(jiǎn)化表示 // 如果C20可以用concepts。C17之前可以用SFINAE或traits。 // 假設(shè)我們期望T是算術(shù)類型 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í)例化一種新的類型組合就會(huì)生成一份獨(dú)立的代碼。如果你用MyVectorint、MyVectordouble、MyVectorlong編譯器就會(huì)生成三份幾乎相同的機(jī)器碼。這可能導(dǎo)致最終的可執(zhí)行文件體積增大代碼膨脹。緩解方法將模板的非類型相關(guān)部分抽取到非模板基類或獨(dú)立函數(shù)中。對(duì)于某些大型模板類考慮使用顯式實(shí)例化將模板的定義和實(shí)現(xiàn)分離到.cpp文件中并只實(shí)例化你需要的特定類型。但這會(huì)失去模板的部分靈活性。6.3 分離編譯問題通常模板的聲明和定義都必須放在頭文件.hpp或.h中。因?yàn)榫幾g器在編譯使用模板的源文件如main.cpp時(shí)需要看到模板的全部定義才能進(jìn)行實(shí)例化。如果像普通函數(shù)一樣把定義放在.cpp文件鏈接時(shí)會(huì)報(bào)“未定義的引用”錯(cuò)誤。解決方案最常見將模板定義全部寫在頭文件里。使用export關(guān)鍵字C98/03提出但幾乎沒有編譯器支持已在C11中棄用。使用顯式實(shí)例化如上所述但這限制了可用的類型。6.4 最佳實(shí)踐小結(jié)優(yōu)先使用函數(shù)模板和類模板來消除代碼重復(fù)實(shí)現(xiàn)泛型。謹(jǐn)慎使用模板特化和元編程除非有明確的性能需求或要處理特殊類型邏輯因?yàn)樗鼈儠?huì)顯著增加代碼復(fù)雜度。為模板參數(shù)使用有意義的名稱當(dāng)有多個(gè)參數(shù)時(shí)typename Key, typename Value比typename T1, typename T2清晰得多。利用SFINAESubstitution Failure Is Not An Error或C20的Concepts來約束模板參數(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ù) }編寫模板時(shí)時(shí)刻考慮其通用性你的模板代碼是否對(duì)bool、int*、const類型等都能正確工作進(jìn)行充分的測(cè)試。走到這里你已經(jīng)不再是STL的簡(jiǎn)單使用者了。你理解了塑造STL的基石——模板知道了vectorint和vectordouble背后是同一套“模具”壓出的不同產(chǎn)品也見識(shí)了如何用模板特化來處理特殊情況甚至觸碰了模板元編程的門檻。這套“模具”思維是通往中高級(jí)C編程的必經(jīng)之路。下次當(dāng)你再看到復(fù)雜的模板代碼時(shí)試著把它拆解成“模具”和“填充材料”思路就會(huì)清晰很多。模板的深水區(qū)還有很多主題比如類型萃取Type Traits、變參模板Variadic Templates、CRTP奇異遞歸模板模式等它們都是構(gòu)建現(xiàn)代C庫(kù)的利器。掌握了基礎(chǔ)這些進(jìn)階內(nèi)容的大門就已經(jīng)為你敞開。