C11【第七篇】 ——— 列表初始化、移動語義、可變參數(shù)模板、lambda表達(dá)式、function包裝器和bind包裝器C11這批特性出來之后很多老代碼的回頭率真的低了不少。列表初始化、移動語義、可變參數(shù)模板、lambda、function、bind這幾個(gè)東西單獨(dú)拿出來每一個(gè)都能寫幾千字但日常開發(fā)里它們往往是一起出現(xiàn)的移動語義解決深層拷貝的痛lambda順手解決回調(diào)冗長的問題function和bind把各種可調(diào)用對象收編成統(tǒng)一類型可變參數(shù)模板在日志和工廠函數(shù)里直接省掉一坨重載。這篇作為C11系列第七篇默認(rèn)你已經(jīng)有C98的使用基礎(chǔ)能看懂模板、類、左值右值的基本概念但對這批現(xiàn)代C特性還沒有系統(tǒng)梳理過。我會結(jié)合自己實(shí)際改代碼、寫庫、做框架時(shí)踩過的坑把每個(gè)語法的核心作用、底層邏輯和典型場景說透。1. 列表初始化C11給初始化方式立的規(guī)矩1.1 為什么一定要用花括號C98時(shí)代初始化方式散得離譜。數(shù)組有int arr[] {1,2,3};結(jié)構(gòu)體可以Point p {1,2};單個(gè)變量既可以直接賦值int x 5;也可以用構(gòu)造std::vectorint v(10);連指針初始化還分nullptr出來之前用NULL又是一堆坑。散亂意味著什么意味著代碼風(fēng)格不統(tǒng)一意味著模板代碼想把任意類型初始化成一個(gè)值非常麻煩。C11給出的方案是統(tǒng)一花括號初始化列表初始化。不管是內(nèi)置類型、數(shù)組、結(jié)構(gòu)體、還是std::vector、std::map這種容器都可以用一對花括號把初始化列表寫清楚int x{ 5 }; int arr[]{ 1, 2, 3 }; Point p{ 1, 2 }; std::vectorint v{ 1, 2, 3, 4 }; std::mapstd::string, int m{ {a, 1}, {b, 2} };這個(gè)看似簡單的改動最大的意義在于讓初始化變成了“一種可以傳給模板和泛型代碼的語法結(jié)構(gòu)”。我在寫泛型工廠時(shí)最直觀的感受就是以前要從一個(gè)參數(shù)列表去構(gòu)造任意類型你得手寫一堆構(gòu)造調(diào)用有了列表初始化和后面要講的可變參數(shù)模板一套代碼就能把任意類型任意參數(shù)的構(gòu)造都接住這個(gè)收益是長期存在的。另外花括號初始化也在代碼風(fēng)格上給出了極大的整潔度。團(tuán)隊(duì)里只要規(guī)定“能用花括號初始化就盡量用”新老代碼的閱讀成本立刻下降這個(gè)對維護(hù)期的收益比很多人想象的大。1.2 initializer_list 與構(gòu)造函數(shù)的“搶人大戰(zhàn)”花括號初始化背后依賴的核心類型是std::initializer_listT。當(dāng)一個(gè)類定義了接受std::initializer_listT的構(gòu)造函數(shù)時(shí)用花括號初始化它就會優(yōu)先走這條路徑class MyData { public: MyData(std::initializer_listint list) { std::cout initializer_list 構(gòu)造, 元素?cái)?shù)量 list.size() std::endl; } MyData(int a, int b) { std::cout (int, int) 構(gòu)造 std::endl; } }; MyData d1{ 1, 2, 3 }; // 走 initializer_list MyData d2(1, 2); // 走 (int, int) MyData d3{ 1, 2 }; // 注意走 initializer_list 而不是 (int, int)這就是經(jīng)典坑點(diǎn)只要該類有 initializer_list 構(gòu)造函數(shù)花括號初始化就優(yōu)先匹配它哪怕另一個(gè)普通構(gòu)造函數(shù)匹配得“更精確”也不行。d3{1, 2}這種寫法很多人以為會走進(jìn)(int, int)實(shí)際卻去了列表構(gòu)造結(jié)果可能完全不一樣。這類問題在標(biāo)準(zhǔn)庫容器上表現(xiàn)得更加直接std::vectorint v1(10, 1); // 10個(gè)元素全部為1 std::vectorint v2{ 10, 1 }; // 2個(gè)元素分別是10和1v2這種寫法在代碼評審里經(jīng)常被年輕人拿來炫技但誤用也確實(shí)容易產(chǎn)生邏輯錯(cuò)誤。生產(chǎn)環(huán)境下我更建議容器初始化明確的數(shù)據(jù)用花括號想要“填充n個(gè)值”這種語義就用圓括號別讓閱讀者猜。1.3 窄化轉(zhuǎn)換編譯期的安全檢查列表初始化另一個(gè)被低估的價(jià)值是禁止窄化轉(zhuǎn)換narrowing conversion。所謂窄化就是把一個(gè)高精度或大范圍的值隱式轉(zhuǎn)換成一個(gè)可能精度丟失或范圍縮小的類型。C98里這些都是默許的頂多出個(gè)警告但警告經(jīng)常被忽略double pi 3.14159; int a pi; // 編譯通過警告后靜默截?cái)?int b{ pi }; // 編譯錯(cuò)誤double 到 int 是窄化轉(zhuǎn)換用花括號初始化時(shí)編譯器把這類轉(zhuǎn)換直接判為錯(cuò)誤逼你顯式寫出意圖int b{ static_castint(pi) }; // 顯式轉(zhuǎn)換OK這個(gè)特性在維護(hù)大型項(xiàng)目時(shí)是個(gè)保護(hù)傘。我見過太多因?yàn)轭愋娃D(zhuǎn)換丟精度產(chǎn)線上出事故的case罪魁禍?zhǔn)兹悄切┞愕碾[式轉(zhuǎn)換。現(xiàn)在不少現(xiàn)代代碼規(guī)范直接規(guī)定初始化必須用花括號顯式轉(zhuǎn)換必須用 static_cast兩者配合從源頭掐掉了一大批類型相關(guān)的隱蔽bug。唯一需要留意的是如果你在寫老代碼遷移一股腦全改成花括號初始化那編譯器會突然報(bào)出一堆“無法編譯”的錯(cuò)這時(shí)候先別慌著用 static_cast 強(qiáng)行改回去要逐個(gè)確認(rèn)那個(gè)窄化到底是有意還是無意往往能發(fā)現(xiàn)幾個(gè)之前被忽略的真實(shí)缺陷。2. 移動語義拷貝之外的第二條路2.1 右值引用到底在表達(dá)什么在C11之前左值右值的概念在語法層面只有“能不能取地址”這種粗糙的區(qū)分。C11引入右值引用之后我們可以寫一個(gè)專門接收“臨時(shí)對象”的接口臨時(shí)對象本質(zhì)上是一個(gè)馬上要被銷毀的資源包這時(shí)再去深拷貝就是白白浪費(fèi)性能。移動語義的精髓不是“快一點(diǎn)”而是“本來就不用復(fù)制”。右值引用理解上有個(gè)常見障礙它不是用來給變量“起一個(gè)右值的別名”的而是表示“這個(gè)東西是可以被掏空的臨時(shí)資源”。所以std::move的邏輯其實(shí)是把一個(gè)左值顯式地標(biāo)注成“我允許你把它當(dāng)臨時(shí)對象掏空”之后移動構(gòu)造函數(shù)就會把資源指針直接拿過來把源對象置為空。class BigBuffer { public: BigBuffer(size_t size) : size_(size), data_(new char[size]) { memset(data_, 0, size); } // 拷貝構(gòu)造深拷貝整塊內(nèi)存 BigBuffer(const BigBuffer other) : size_(other.size_), data_(new char[other.size_]) { memcpy(data_, other.data_, size_); std::cout 拷貝構(gòu)造被調(diào)用 std::endl; } // 移動構(gòu)造直接接管指針 BigBuffer(BigBuffer other) noexcept : size_(other.size_), data_(other.data_) { other.data_ nullptr; other.size_ 0; std::cout 移動構(gòu)造被調(diào)用 std::endl; } ~BigBuffer() { delete[] data_; } private: size_t size_; char* data_; };看這個(gè)BigBuffer的兩個(gè)構(gòu)造拷貝構(gòu)造要把整塊內(nèi)存復(fù)制一份如果這塊內(nèi)存是幾十MB一次深拷貝就是幾十MB的讀寫移動構(gòu)造只是把指針從源對象手里拿過來再把源對象指針置空成本幾乎為零。這個(gè)差別在容器動態(tài)擴(kuò)容、函數(shù)按值返回、中間臨時(shí)對象傳遞這些場景中是數(shù)量級的性能差異。2.2 移動賦值與“源對象被掏空”的紀(jì)律有移動構(gòu)造自然就有移動賦值BigBuffer operator(BigBuffer other) noexcept { if (this ! other) { delete[] data_; data_ other.data_; size_ other.size_; other.data_ nullptr; other.size_ 0; } return *this; }注意這里必須先釋放自己原有的資源然后接管對方資源最后把對方置空。不釋放就接管會造成內(nèi)存泄漏少了置空那一步則會導(dǎo)致源對象的析構(gòu)函數(shù)把同一塊內(nèi)存delete兩次直接觸發(fā)double-free問題。移動之后源對象處于“有效但未指定”的狀態(tài)標(biāo)準(zhǔn)要求它是可以安全析構(gòu)、可以重新賦值的但你不能假設(shè)它里面還有原來的數(shù)據(jù)。我見過有人把std::move之后的源對象又拿去當(dāng)普通變量用讀取到nullptr或者空字符串時(shí)一臉懵。所以誠實(shí)的做法是移動完一個(gè)對象后要么立即丟棄它要么明確把它重新初始化/賦值成可用的狀態(tài)。這里必須強(qiáng)調(diào)一個(gè)新手常見的幻覺移動語義并不是自動發(fā)生的它需要類本身定義移動構(gòu)造函數(shù)/移動賦值。如果我們的BigBuffer只寫了拷貝構(gòu)造沒有移動構(gòu)造那么即使調(diào)用方把臨時(shí)對象std::move過來實(shí)際執(zhí)行的還是拷貝構(gòu)造。很多性能敏感的代碼沒達(dá)到預(yù)期效果排查半天最后發(fā)現(xiàn)是類沒寫移動構(gòu)造白白浪費(fèi)了std::move的姿態(tài)。2.3 完美轉(zhuǎn)發(fā)std::forward 的正確用法模板編程中經(jīng)常遇到一個(gè)需求寫一個(gè)中間轉(zhuǎn)發(fā)函數(shù)把參數(shù)原樣轉(zhuǎn)給另一個(gè)函數(shù)并且要保留參數(shù)的左值/右值屬性——如果原來是左值繼續(xù)當(dāng)左值傳過去如果是右值就保持右值屬性讓目標(biāo)函數(shù)能夠移動它。這就是完美轉(zhuǎn)發(fā)。轉(zhuǎn)發(fā)引用也叫萬能引用的寫法是T它只在模板推導(dǎo)環(huán)境下成立templatetypename T void Relay(T arg) { // 這里如果直接傳 arg會丟失右值屬性 Process(std::forwardT(arg)); }std::forwardT的作用是根據(jù)T的推導(dǎo)類型來決定把a(bǔ)rg轉(zhuǎn)換成左值還是右值。如果調(diào)用Relay時(shí)傳進(jìn)來的是右值臨時(shí)對象T會被推導(dǎo)成某個(gè)具體類型forward就會把a(bǔ)rg重新轉(zhuǎn)回右值引用讓下游能用移動語義接管它如果傳進(jìn)來的是左值T推導(dǎo)成左值引用forward就原樣以左值傳遞。我在實(shí)現(xiàn)一些“軟件總線”式的中轉(zhuǎn)模塊時(shí)經(jīng)常用這個(gè)手法一個(gè)函數(shù)接收任意類型任意數(shù)量的參數(shù)然后轉(zhuǎn)發(fā)給真正處理請求的對象。不用完美轉(zhuǎn)發(fā)的話參數(shù)每經(jīng)過一層中轉(zhuǎn)都會損失類型信息臨時(shí)對象被迫退化成拷貝性能在多層轉(zhuǎn)發(fā)后會累積惡化。3. 可變參數(shù)模板編譯期的參數(shù)“打包”和“拆包”3.1 參數(shù)包怎么定義和展開可變參數(shù)模板讓函數(shù)和類可以接受任意數(shù)量、任意類型的參數(shù)。這在C98里只能靠重載或者va_list這種類型不安全的方式實(shí)現(xiàn)而在C11里參數(shù)的類型安全由編譯器保證。定義一個(gè)可變參數(shù)模板函數(shù)最基本的樣子templatetypename T void PrintOne(T value) { std::cout value std::endl; } templatetypename T, typename... Args void PrintMany(T first, Args... rest) { std::cout first ; PrintMany(rest...); }Args是一個(gè)模板參數(shù)包rest是一個(gè)函數(shù)參數(shù)包。rest...這個(gè)語法叫參數(shù)包展開把當(dāng)前函數(shù)收到的剩余參數(shù)逐個(gè)展開再去調(diào)用下一層。整個(gè)遞歸過程會在參數(shù)包為空時(shí)落到那個(gè)單參數(shù)的重載上形成終止條件。很多初學(xué)者剛看到這個(gè)遞歸會覺得恐怖其實(shí)它就是編譯器在編譯期做了N層實(shí)例化每一層削掉一個(gè)參數(shù)直到削光。每個(gè)不同的參數(shù)組合都會生成一個(gè)獨(dú)立的函數(shù)實(shí)例所以如果調(diào)用方參數(shù)類型很多模板實(shí)例化數(shù)量也會增加編譯時(shí)間變長。但換來的是運(yùn)行時(shí)的絕對高效——所有參數(shù)處理都發(fā)生在編譯期運(yùn)行時(shí)沒有一個(gè)額外的分支判斷。sizeof...可以在不遞歸的情況下直接獲得參數(shù)個(gè)數(shù)templatetypename... Args void CountArgs(Args... args) { std::cout 模板參數(shù)個(gè)數(shù) sizeof...(Args) std::endl; std::cout 運(yùn)行時(shí)參數(shù)個(gè)數(shù) sizeof...(args) std::endl; }這個(gè)操作符在遞歸展開前做數(shù)量判斷非常有用可以提前剪枝一些特化分支。3.2 遞歸展開最常見的套路可變參數(shù)模板最樸素的用法就是一個(gè)“處理一個(gè)剩下的交給下一層”的遞歸展開。上面打印的例子就是這樣的但實(shí)際項(xiàng)目中我更多用它做日志系統(tǒng)。比如寫一個(gè)能把任意類型任意數(shù)量參數(shù)拼進(jìn)一條日志消息的工具class Logger { public: templatetypename... Args void Log(Args... args) { std::ostringstream oss; Append(oss, std::forwardArgs(args)...); WriteLine(oss.str()); } private: templatetypename T void Append(std::ostringstream oss, T value) { oss std::forwardT(value); } templatetypename T, typename... Args void Append(std::ostringstream oss, T first, Args... rest) { oss std::forwardT(first); Append(oss, std::forwardArgs(rest)...); } };這里我特意用了Args...轉(zhuǎn)發(fā)引用保證傳入的臨時(shí)字符串在拼日志時(shí)不會經(jīng)歷不必要的拷貝。日志系統(tǒng)往往處在高頻路徑上這類微小的性能優(yōu)化在實(shí)際壓測中是能看出來的。使用遞歸展開要注意一個(gè)細(xì)節(jié)遞歸調(diào)用必須用rest...把剩下的參數(shù)展開少寫一個(gè)省略號編譯器會立刻報(bào)錯(cuò)“參數(shù)包必須至少展開到一個(gè)參數(shù)”。錯(cuò)誤信息比較長新手容易慌其實(shí)核心就是檢查省略號位置。另外終止重載有條件是不能依賴運(yùn)行時(shí)判斷的必須是編譯期的結(jié)構(gòu)——要么用重載特化要么用if constexprC17的解決方案C11下比較穩(wěn)妥的辦法就是用重載或者偏特化來終止。3.3 逗號表達(dá)式展開不用遞歸的另一種方案遞歸展開思路清晰但每到N層參數(shù)就要實(shí)例化N個(gè)函數(shù)編譯時(shí)間會變成負(fù)擔(dān)。還有一種更緊湊的展開語法利用逗號表達(dá)式和初始化列表一次性把參數(shù)全部處理完templatetypename... Args void PrintAll(Args... args) { int dummy[] { (std::cout args, 0)... }; (void)dummy; }拆開看(std::cout args, 0)是一個(gè)逗號表達(dá)式——先執(zhí)行std::cout args再把0作為整個(gè)表達(dá)式的值。然后對這個(gè)表達(dá)式做參數(shù)包展開得到的實(shí)際是int dummy[] { (std::cout arg1, 0), (std::cout arg2, 0), ..., 0 };因?yàn)閟td::cout arg1返回的還是流對象不是int為了湊出數(shù)組元素類型為int用逗號表達(dá)式的0來兜底。這個(gè)技巧不必搞得花里胡哨但確實(shí)在一些空格分隔、不分層的場景比如把多個(gè)字符串直接拼進(jìn)一個(gè)緩沖區(qū)里比遞歸更簡潔也省了一次次實(shí)例化遞歸殼子的開銷。我還見過一種變體是用std::initializer_listint{ (fun(args), 0)... }來展開效果類似。不管哪種寫法核心都是“用逗號表達(dá)式把真正的參數(shù)操作變成數(shù)組初始化表達(dá)式列表”這是C11時(shí)代沒有折疊表達(dá)式時(shí)的經(jīng)典套路。到C17之后折疊表達(dá)式(std::cout ... args)直接把這個(gè)場景簡化成一行但如果你的項(xiàng)目還鎖在C11標(biāo)準(zhǔn)這兩種展開方式就得熟練掌握。4. Lambda表達(dá)式就地定義一個(gè)匿名函數(shù)對象4.1 完整語法和默認(rèn)行為lambda表達(dá)式提供了一種就地定義匿名函數(shù)對象的方式常見的完整語法長這樣[捕獲列表](參數(shù)列表) mutable - 返回類型 { 函數(shù)體 };最簡化形態(tài)甚至可以省略圓括號和返回類型比如auto f [] { std::cout hello std::endl; }; auto add [](int a, int b) { return a b; };返回類型在函數(shù)體只有一個(gè)return時(shí)一般可以靠auto推斷但如果函數(shù)體內(nèi)多處返回不同類型的值或者類型比較復(fù)雜就需要顯式寫上尾置返回類型auto transform [](const std::string s) - int { return static_castint(s.size()); };關(guān)于mutable關(guān)鍵字有個(gè)容易混淆的點(diǎn)lambda的默認(rèn)行為是捕獲列表里的值拷貝并且在lambda體內(nèi)是只讀的。想修改拷貝進(jìn)來的變量必須加mutableint count 0; auto counter [count]() mutable { return count; }; counter(); // 1 counter(); // 2 std::cout count; // 仍然是 0說明改的是lambda內(nèi)部拷貝的值不加mutablecount這行會直接編譯報(bào)錯(cuò)。很多人看到這個(gè)報(bào)錯(cuò)第一反應(yīng)是“是不是lambda不能修改外部變量”其實(shí)是忘了它是只讀語義。4.2 捕獲方式的選擇值、引用、混合捕獲捕獲列表是lambda的靈魂也是最容易產(chǎn)生生命周期bug的地方。幾種寫法各有適用場景[value]按值捕獲lambda內(nèi)部持有外部變量的拷貝。[ref]按引用捕獲lambda內(nèi)部持有的是外部變量的引用。[]默認(rèn)按值捕獲所有使用到的變量。[]默認(rèn)按引用捕獲所有使用到的變量。[, flag]混合捕獲flag用引用其余按值。按值捕獲看起來安全但要注意它拷貝的是“捕獲時(shí)刻”的變量快照。下面這段代碼是經(jīng)典陷阱std::functionvoid(int) funcs[5]; for (int i 0; i 5; i) { funcs[i] [i](int x) { return x i; }; // OKi按值捕獲每個(gè)lambda有自己的i快照 }如果把[i]寫成[]或者[i]那么所有l(wèi)ambda共享同一個(gè)i變量的引用循環(huán)結(jié)束后 i 的值是5所有l(wèi)ambda再執(zhí)行時(shí)拿到的都是5。這個(gè)錯(cuò)誤在“循環(huán)里注冊回調(diào)”的場景中幾乎人人都會踩一腳而且非常隱蔽因?yàn)榫幾g毫無問題只有運(yùn)行時(shí)行為不對。另一類生命周期問題是引用捕獲局部對象。比如有一個(gè)函數(shù)創(chuàng)建了一個(gè)局部對象然后返回一個(gè)捕獲了該對象引用的lambdastd::functionint() MakeFunctor() { int v 42; return [v]() { return v; }; // 引用懸空函數(shù)結(jié)束后v已銷毀 }這種代碼就是未定義行為。正確做法是按值捕獲[v]或者把局部對象放到堆上并用std::shared_ptr管理后讓lambda捕獲智能指針的拷貝。我在代碼評審中見過好幾例類似寫法全是抱著僥幸心理覺得“這個(gè)函數(shù)應(yīng)該不會很快返回吧”結(jié)果程序運(yùn)行一段時(shí)間后偶發(fā)亂值排錯(cuò)成本遠(yuǎn)超寫代碼成本。4.3 lambda在STL算法中的實(shí)戰(zhàn)lambda在C11里最大的用武之地是配合algorithm頭文件里的算法。以前寫std::sort要定義一個(gè)比較函數(shù)或者函數(shù)對象// C98風(fēng)格 bool CmpDesc(int a, int b) { return a b; } std::sort(v.begin(), v.end(), CmpDesc);有了lambda之后std::sort(v.begin(), v.end(), [](int a, int b) { return a b; }); std::vectorint nums{ 5, 3, 8, 1, 9 }; int threshold 5; auto count std::count_if(nums.begin(), nums.end(), [threshold](int x) { return x threshold; });這種寫法把邏輯直接放到使用處既避免了“函數(shù)定義和使用地點(diǎn)分離導(dǎo)致的上下文割裂”又天然支持捕獲外部變量比函數(shù)對象寫起來緊湊得多。我習(xí)慣把lambda用在項(xiàng)目里的這些高頻場景做排序、查找、過濾的自定義謂詞作為事件回調(diào)、定時(shí)器的處理函數(shù)延遲執(zhí)行一小段邏輯比如保存到資源析構(gòu)時(shí)才執(zhí)行的清理動作配合std::function做接口統(tǒng)一的策略回調(diào)。使用lambda時(shí)最好遵循一個(gè)原則lambda函數(shù)體不要寫太長。正常四五行的邏輯是最舒服的如果超過十幾行說明這段邏輯值得提取成一個(gè)具名函數(shù)或成員函數(shù)否則代碼的可讀性會因?yàn)椤扒短自谝欢阉惴ㄕ{(diào)用里的匿名邏輯”而急劇下降。5. function包裝器把可調(diào)用對象統(tǒng)一收納5.1 std::function 的使用與類型擦除std::function是一個(gè)通用多態(tài)函數(shù)包裝器它可以存儲、復(fù)制、調(diào)用任何可調(diào)用對象包括普通函數(shù)、函數(shù)指針、lambda表達(dá)式、函數(shù)對象以及用std::bind生成的綁定對象。它的核心價(jià)值在于用一個(gè)統(tǒng)一的類型去表示“具有特定簽名的可調(diào)用操作”。#include functional std::functionint(int, int) op; op [](int a, int b) { return a b; }; // lambda op [](int a, int b) { return a * b; }; // 換個(gè)lambda op std::multipliesint(); // 函數(shù)對象 op MyFunc; // 普通函數(shù)這個(gè)能力背后是類型擦除機(jī)制。簡單說std::function內(nèi)部維護(hù)了一個(gè)抽象基類和一個(gè)具體的包裝類模板模板里面保存著原始可調(diào)用對象的副本同時(shí)實(shí)現(xiàn)了統(tǒng)一的調(diào)用接口operator()。外部只看到std::functionint(int,int)這樣一個(gè)明確的簽名不知道里面到底存的是函數(shù)指針、lambda還是函數(shù)對象。這個(gè)過程有點(diǎn)像“把所有形狀各異的插頭插到一個(gè)萬能插座上對外只暴露同一個(gè)三相插口”。在實(shí)際工程里std::function最大的意義在于把回調(diào)注冊、策略注入、事件分發(fā)這些場景的可調(diào)用對象類型全部統(tǒng)一了。比如一個(gè)按鈕的點(diǎn)擊事件回調(diào)你既可以注冊一個(gè)成員函數(shù)通過bind也可以注冊一個(gè)lambda外部存儲的都是std::functionvoid()。5.2 回調(diào)場景下的正確姿勢我重構(gòu)過一些把裸函數(shù)指針作為回調(diào)參數(shù)的舊模塊最大的痛點(diǎn)就是函數(shù)指針無法捕獲狀態(tài)。你想傳一個(gè)“帶業(yè)務(wù)上下文”的回調(diào)只能通過void* user_data再傳一個(gè)裸指針各種生命周期隱患。有了std::function之后業(yè)務(wù)數(shù)據(jù)可以直接被lambda捕獲根本不需要void*這種極度不安全的通道。真實(shí)模塊里經(jīng)常是這樣的class EventDispatcher { public: using Handler std::functionvoid(const Event); void RegisterHandler(int eventType, Handler handler) { handlers_[eventType].push_back(std::move(handler)); } void Dispatch(int eventType, const Event evt) { auto it handlers_.find(eventType); if (it ! handlers_.end()) { for (auto h : it-second) { h(evt); } } } private: std::unordered_mapint, std::vectorHandler handlers_; };這個(gè)模式在各語言里都很常見C11以前要實(shí)現(xiàn)得費(fèi)不少勁現(xiàn)在用std::function幾行搞定。注意我在RegisterHandler里用了std::move(handler)因?yàn)閟td::function內(nèi)部保存的是可調(diào)用對象的副本這步能省一次深度拷貝。5.3 function 的性能與坑std::function性能上確實(shí)有開銷核心是間接調(diào)用和可能的堆分配。它內(nèi)部存儲可調(diào)用對象的副本如果可調(diào)用對象小比如無捕獲的lambda等同于一個(gè)函數(shù)指針很多實(shí)現(xiàn)在棧上通過小對象優(yōu)化就直接存了但如果捕獲了大量狀態(tài)的lambda體積大就可能觸發(fā)動態(tài)內(nèi)存分配。我在做高頻回調(diào)系統(tǒng)時(shí)實(shí)測過用裸函數(shù)指針一次間接調(diào)用幾納秒到幾十納秒std::function會有額外幾納秒到幾十納秒的開銷。在真正的熱路徑比如每幀幾十萬次回調(diào)上這個(gè)開銷會被放大這時(shí)要么換裸函數(shù)指針要么用更輕量的專用回調(diào)類型。另一個(gè)坑是拷貝std::function的開銷。std::function是可拷貝的但拷貝一個(gè)里面裝了很大lambda的std::function等于拷貝了那份捕獲狀態(tài)。所以函數(shù)傳參和注冊時(shí)優(yōu)先用const std::function...接收內(nèi)部需要保存時(shí)再拷貝或std::move別動不動作值傳遞// 不推薦 void RegisterCallback(std::functionvoid() cb) { callbacks_.push_back(cb); // 至少一次拷貝 } // 推薦 void RegisterCallback(const std::functionvoid() cb) { callbacks_.push_back(cb); } // 或者右值版本 void RegisterCallback(std::functionvoid() cb) { callbacks_.push_back(std::move(cb)); }如果某個(gè)std::function永遠(yuǎn)沒有被調(diào)用但它的捕獲對象很大那么這個(gè)對象就一直占著內(nèi)存直到std::function被銷毀或重新賦值。一些長生命周期的事件表容易在不知不覺中累積大量捕獲上下文排查內(nèi)存占用時(shí)記得檢查std::function的捕獲體量。6. bind包裝器把函數(shù)參數(shù)“提前預(yù)定”出新的可調(diào)用對象6.1 std::bind 的基本操作std::bind用來生成一個(gè)“綁定了一部分參數(shù)”的新可調(diào)用對象它把事情分成兩半一半在處理函數(shù)定義完之后就已知另一半留給真正調(diào)用時(shí)再傳。#include functional int Add(int a, int b) { return a b; } using namespace std::placeholders; auto add5 std::bind(Add, 5, _1); std::cout add5(3) std::endl; // 輸出8等價(jià)于 Add(5, 3) auto add5and10 std::bind(Add, 5, 10); std::cout add5and10() std::endl; // 輸出15參數(shù)全部綁定調(diào)用時(shí)無需傳參_1、_2這些是占位符表示“這個(gè)位置留給調(diào)用時(shí)傳入的第一個(gè)、第二個(gè)參數(shù)”。占位符放在第幾個(gè)位置就代表調(diào)用傳入的參數(shù)填到對應(yīng)位置。利用這個(gè)機(jī)制還可以調(diào)整參數(shù)順序auto swapAdd std::bind(Add, _2, _1); std::cout swapAdd(3, 4) std::endl; // 等價(jià)于 Add(4, 3)輸出7這個(gè)“參數(shù)重排”能力在適配第三方接口時(shí)非常實(shí)用。比如一個(gè)消息處理器的回調(diào)簽名是void Handle(int msgType, int priority, const Message msg)而你的處理函數(shù)只關(guān)心 priority 不為0的消息并且你的處理函數(shù)簽名是void Process(const Message msg)可以直接auto binder std::bind(Processor::Process, processor, std::placeholders::_3); // 只取第3個(gè)參數(shù)傳給Process6.2 綁定成員函數(shù)和對引用的處理綁定成員函數(shù)是std::bind的高頻用法。成員函數(shù)隱含第一個(gè)參數(shù)是對象本身所以Processor::Process后面要么接對象指針要么接對象引用或拷貝Processor processor; auto binder std::bind(Processor::Process, processor, std::placeholders::_1); // 或者 auto binder2 std::bind(Processor::Process, processor, std::placeholders::_1); // 按值拷貝對象注意大對象拷貝開銷我個(gè)人的習(xí)慣是對象生命周期明確長于回調(diào)時(shí)用processor綁定不確定生命周期時(shí)優(yōu)先考慮std::shared_ptrProcessor的拷貝加std::bind的占位策略甚至直接改用lambda捕獲智能指針更直白。綁定引用參數(shù)時(shí)有個(gè)隱蔽坑std::bind默認(rèn)按值保存綁定參數(shù)。如果函數(shù)參數(shù)是引用類型直接 bind 一個(gè)變量進(jìn)去實(shí)際綁定的是它的拷貝函數(shù)內(nèi)部改引用不會影響原變量。想要綁定真正的引用必須使用std::refvoid UpdateCount(int n) { n 10; } int count 0; auto binder std::bind(UpdateCount, count); // 按值綁定改了沒反應(yīng) auto binderRef std::bind(UpdateCount, std::ref(count)); // 綁定真實(shí)引用 binder(); binderRef(); std::cout count; // 輸出10binderRef那次修改生效了std::ref返回一個(gè)引用包裝器這是一個(gè)C11里看起來簡單但使用頻率不低的工具。凡是需要把引用“當(dāng)值”傳遞的場景包括std::thread、std::bind、std::function的捕獲都必須靠它來表達(dá)引用語義。6.3 bind 和 lambda 該怎么選很多人糾結(jié)std::bind和lambda哪一個(gè)更好。我的結(jié)論非常直接C11項(xiàng)目里能用lambda的地方優(yōu)先用lambda只有在確實(shí)需要參數(shù)重排、或者一些極其簡單的綁定場景才考慮bind。原因有三方面。第一lambda語法更直觀可讀性更好[processor](int x){ processor.Process(x); }一眼能看懂捕獲了誰調(diào)用了誰而std::bind(Processor::Process, processor, _1)對不熟悉bind的人來說還要反應(yīng)一下。第二lambda的捕獲是顯式的[]、[]、[a]而bind是隱式按值保存在內(nèi)部包裝對象里排查生命周期問題時(shí)lambda更直觀。第三編譯器對普通lambda的優(yōu)化能力比對std::bind生成的復(fù)雜包裝對象更強(qiáng)內(nèi)聯(lián)概率更高。但 bind 并不是完全沒有價(jià)值。在某些需要真正“參數(shù)重排”的適配場景或者早期C11代碼風(fēng)格已經(jīng)在團(tuán)隊(duì)里形成慣例的項(xiàng)目里bind依然是可讀的。而且std::bind和std::function配合得相當(dāng)自然std::functionvoid(int) callback std::bind(Processor::Process, processor, _1);在C14、C17之后泛型lambda和更高階特性的引入讓 bind 的使用場景更少了但如果你的項(xiàng)目還被鎖在C11標(biāo)準(zhǔn)bind 仍然是所有標(biāo)準(zhǔn)庫容器和類接口里的“一等公民”該會還得會。7. 常見問題與排查技巧實(shí)錄實(shí)際代碼中把這些特性組合使用踩坑的概率并不低。我把這幾年見過的高頻問題整理成一組速查方便大家對照。問題現(xiàn)象根本原因排查思路與修復(fù)花括號初始化導(dǎo)致窄化編譯錯(cuò)誤int x{doubleVal}被禁止窄化顯式static_castint或者改用圓括號初始化如果確實(shí)需要舊行為深拷貝意外發(fā)生性能突然下降類沒有定義移動構(gòu)造/移動賦值或者傳參時(shí)忘了std::move檢查類是否有noexcept移動構(gòu)造檢查熱路徑上的拷貝調(diào)用循環(huán)內(nèi)注冊的lambda回調(diào)值全部相同引用捕獲了循環(huán)變量變量最終是同一個(gè)終值改按值捕獲[i]或拷貝一份局部臨時(shí)變量再捕獲lambda按引用捕獲的對象已銷毀局部變量生命周期結(jié)束引用懸空按值捕獲或者把對象生命周期延長到堆上并用智能指針接管可變參數(shù)模板遞歸沒有終止重載缺少單參數(shù)版或者特化像PrintMany例子那樣補(bǔ)一個(gè)templatetypename T void Print(T)作為終止std::bind綁定引用參數(shù)但外部值不改變bind默認(rèn)按值保存參數(shù)用std::ref顯式包裝引用std::function頻繁拷貝導(dǎo)致卡頓大捕獲狀態(tài)的function被反復(fù)按值傳遞函數(shù)參數(shù)用const std::function...接收存儲時(shí)std::move7.1 初始化相關(guān)的坑列表初始化最大的兩個(gè)坑是窄化轉(zhuǎn)換和initializer_list的優(yōu)先級。窄化轉(zhuǎn)換編譯錯(cuò)誤一般不難定位關(guān)鍵是要定好項(xiàng)目規(guī)范在需要強(qiáng)制類型安全的代碼路徑上統(tǒng)一用花括號初始化。initializer_list的優(yōu)先級問題則更難防我的經(jīng)驗(yàn)是凡是定義了initializer_list構(gòu)造函數(shù)的類在代碼評審時(shí)要特意檢查所有{}初始化的位置確認(rèn)確實(shí)是想走列表構(gòu)造而不是普通構(gòu)造。標(biāo)準(zhǔn)庫里std::vector、std::map、std::list都有這種行為稍不留神就會把“構(gòu)造10個(gè)元素”寫成“構(gòu)造1個(gè)元素內(nèi)容為10”。7.2 lambda捕獲引發(fā)的懸空引用lambda捕獲問題的根源是生命周期管理。值捕獲雖然安全但也有代價(jià)捕獲了超大對象的lambda一旦存入std::function那個(gè)對象就一直被持有到function銷毀。如果這個(gè)function被存進(jìn)全局容器那就是隱形的內(nèi)存占用。我在實(shí)現(xiàn)定時(shí)任務(wù)系統(tǒng)時(shí)遇到過一個(gè)案例定時(shí)器回調(diào)捕獲了一個(gè)幾十MB的配置對象結(jié)果這個(gè)定時(shí)器對象一直存放在調(diào)度表里幾十MB內(nèi)存被白白占著。后來改成捕獲std::shared_ptrConfig的拷貝并且在回調(diào)完成時(shí)從調(diào)度表移除問題才解除。7.3 可變參數(shù)模板遞歸不終止遞歸展開的模板如果不加終止條件編譯器會無限遞歸實(shí)例化下去最終報(bào)錯(cuò)信息里會出現(xiàn)recursively required from 函數(shù)名...展開的模板list一長串看得人頭皮發(fā)麻。排查方法很簡單從報(bào)錯(cuò)信息里找到最內(nèi)層那個(gè)沒有終止重載的調(diào)用點(diǎn)補(bǔ)上單參數(shù)版本或者空參數(shù)版本即可。另一種不易察覺的問題是遞歸展開的每一次實(shí)例化都會在二進(jìn)制里產(chǎn)生一個(gè)真實(shí)存在的函數(shù)符號參數(shù)多、調(diào)用頻繁時(shí)二進(jìn)制膨脹和編譯時(shí)間上漲都能感覺到。如果對編譯期性能敏感盡快考慮C17的折疊表達(dá)式或者C11下的逗號表達(dá)式展開方案。7.4 移動語義相關(guān)坑移動之后的源對象問題我在代碼評審時(shí)看到過的錯(cuò)誤包括移動后直接使用源對象的成員沒檢查空指針、移動賦值之前沒有釋放原資源造成泄漏、移動構(gòu)造函數(shù)忘了noexcept導(dǎo)致 vector 擴(kuò)容時(shí)退化為拷貝、以及無代價(jià)地把一個(gè)左值std::move進(jìn)一個(gè)馬上還要用的地方。針對這些比較實(shí)際的規(guī)約是移動構(gòu)造函數(shù)和移動賦值必須標(biāo)注noexcept否則標(biāo)準(zhǔn)庫容器擴(kuò)容時(shí)可能會改用拷貝而不是移動性能收益直接歸零。移動后的源對象要約定“視為懸空”除了重新賦值和析構(gòu)不要讀它的成員。std::move不是“強(qiáng)制搬移”它只是把左值標(biāo)記成“可供搬移”。最終是否搬移取決于目標(biāo)類型有沒有移動構(gòu)造/移動賦值。7.5 function/bind的坑std::bind與std::function組合的坑通常出現(xiàn)在捕獲生命周期上。由于 bind 在存儲被綁定參數(shù)時(shí)默認(rèn)按值因此如果你在函數(shù)里 bind 了一個(gè)局部變量并把這個(gè)綁定器存到全局局部變量雖然已經(jīng)銷毀但 bind 內(nèi)部保存的副本還在——這其實(shí)是安全的。真正不安全的是綁定了一個(gè)std::ref(localVar)因?yàn)槟潜４娴氖钦鎸?shí)引用如果局部變量沒了引用就懸空。這種懸空與lambda引用捕獲懸空是同一個(gè)本質(zhì)問題。排查引用懸空類bug時(shí)優(yōu)先懷疑兩處lambda的[]/[var]捕獲以及 bind 里的std::ref。另外一個(gè)容易被忽略的點(diǎn)是std::function的賦值與默認(rèn)狀態(tài)。未賦值的std::function是空的調(diào)用它時(shí)拋std::bad_function_call。在多線程回調(diào)注冊場景里先判斷if (handler)再做調(diào)用是必要的防御但真正安全的長效方案是在回調(diào)注冊/注銷時(shí)加鎖管理避免同一個(gè)handler在執(zhí)行中被另一個(gè)線程替換或清空。8. 個(gè)人經(jīng)驗(yàn)這幾個(gè)特性組合起來才是真香單獨(dú)看列表初始化、移動語義、可變參數(shù)模板、lambda、function、bind每個(gè)都是“獨(dú)立的新語法”但在實(shí)際工程里它們經(jīng)常是擰在一起用的。我在寫一個(gè)輕量級的消息總線模塊時(shí)這種合力體現(xiàn)得最明顯消息總線的注冊接口需要支持各種類型的事件處理器。事件處理器的類型不一樣有的是普通函數(shù)有的是成員函數(shù)有的是lambda怎么辦用std::function統(tǒng)一存儲配合bind把成員函數(shù)轉(zhuǎn)成std::function配合lambda捕獲業(yè)務(wù)上下文。事件對象的構(gòu)造用列表初始化加可變參數(shù)模板一條消息的參數(shù)可以全部打包進(jìn)一個(gè)對象。消息發(fā)送時(shí)用移動語義把消息對象直接交給下一個(gè)模塊避免大數(shù)據(jù)拷貝。整套代碼下來比起以前C98的實(shí)現(xiàn)既簡短又清晰性能還更好。如果非要說一個(gè)最值得優(yōu)先掌握的組合我建議把“l(fā)ambda std::function 移動語義”這組先練熟。它們能覆蓋日常80%的回調(diào)與策略場景而且思考方式可以遷移到C14、C17甚至C20的后續(xù)特性上?？勺儏?shù)模板和完美轉(zhuǎn)發(fā)屬于模板庫作者級能力學(xué)習(xí)曲線稍微陡一點(diǎn)但理解了“編譯期參數(shù)打包/拆包”這個(gè)模型之后再去看std::tuple、std::make_unique這些標(biāo)準(zhǔn)庫實(shí)現(xiàn)的源碼會有豁然開朗的感覺。我自己的經(jīng)驗(yàn)里還有一個(gè)很實(shí)際的小技巧在調(diào)試模板相關(guān)的問題時(shí)編譯錯(cuò)誤信息通常特別長千萬別從上往下掃直接翻到最底部的note:或者error:那一行往往才是真正的錯(cuò)誤源頭。配合這些新特性時(shí)代碼風(fēng)格上建議定義一套固定寫法初始化盡量用花括號移動構(gòu)造/移動賦值寫noexceptlambda捕獲值顯式寫出function作為回調(diào)類型統(tǒng)一用別名。時(shí)間久了你會發(fā)現(xiàn)這批特性不光是語法糖它們確實(shí)讓C代碼寫起來更接近“描述意圖”而不是“描述每一步操作”這也是C11最大的價(jià)值所在。