如果你寫(xiě)過(guò)一些稍微講究點(diǎn)的 C 類一定體會(huì)過(guò)這類痛苦同一個(gè)成員函數(shù)為了同時(shí)支持 const、非 const、左值、右值你得寫(xiě)上三四份幾乎一模一樣的代碼。C23 的 Deducing this顯式對(duì)象參數(shù)就是沖這個(gè)來(lái)的。這篇我先把基礎(chǔ)概念和語(yǔ)法徹底講透配合可直接編譯的代碼實(shí)例分析這套新機(jī)制到底怎么工作、能簡(jiǎn)化到什么程度、以及我個(gè)人實(shí)測(cè)中踩過(guò)的幾個(gè)坑。關(guān)于 Deducing this網(wǎng)上已經(jīng)有很多零散討論但大多要么是標(biāo)準(zhǔn)提案的濃縮翻譯要么是幾行代碼一帶而過(guò)。這導(dǎo)致很多同學(xué)看完后依然不知道它和傳統(tǒng)的引用限定符重載本質(zhì)區(qū)別在哪也不知道什么時(shí)候該用它、什么時(shí)候不該用。這篇文章基于我最近在真實(shí)項(xiàng)目里的使用經(jīng)驗(yàn)從設(shè)計(jì)動(dòng)機(jī)一路拆到推導(dǎo)規(guī)則爭(zhēng)取讓你讀完就能動(dòng)手用起來(lái)。1. 為什么 C23 非要搞出個(gè) Deducing this1.1 老 C 里成員函數(shù)的「重載災(zāi)難」熟悉 C 的朋友都知道*this在成員函數(shù)里一直是個(gè)「隱式參數(shù)」。你寫(xiě)void func()編譯器其實(shí)偷偷幫你把對(duì)象指針傳了進(jìn)來(lái)。早年這沒(méi)什么問(wèn)題但后來(lái)我們想讓成員函數(shù)知道自己被調(diào)用時(shí)對(duì)象是左值還是右值、是 const 還是非 const就只能靠引用限定符和 const 限定符的組合硬生生堆重載。我舉個(gè)例子假設(shè)你寫(xiě)一個(gè)日志緩沖類內(nèi)部有個(gè)data()方法用來(lái)拿底層緩沖區(qū)邏輯完全一樣只是分類型class Buffer { public: std::spanchar data() { return span_; } // 非const左值 std::spanchar data() { return span_; } // 非const右值 std::spanconst char data() const { return span_; } // const左值 std::spanconst char data() const { return span_; } // const右值 private: std::arraychar, 1024 span_; };四份聲明四個(gè)函數(shù)體里面除了返回值類型幾乎一模一樣。如果哪天邏輯要改你得記得同步改四個(gè)地方漏一個(gè)就是隱蔽 bug。這還只是最簡(jiǎn)單的情況。一旦函數(shù)體稍微復(fù)雜一點(diǎn)比如加日志、加引用計(jì)數(shù)操作這段重復(fù)代碼的維護(hù)成本立刻變得肉眼可見(jiàn)。1.2 引用限定符的「補(bǔ)丁」屬性C11 引入引用限定符、那會(huì)兒大家以為終于能用一套函數(shù)處理左值和右值了結(jié)果發(fā)現(xiàn)只是把重載從兩個(gè)變成了四個(gè)處理const版本void f() const 處理非const版本void f() 處理右值版本void f() 處理const右值void f() const 這是典型的「補(bǔ)丁式」演進(jìn)。每發(fā)現(xiàn)一個(gè)新的調(diào)用場(chǎng)景就往限定符列表里加一個(gè)組合本質(zhì)還是在堆代碼。而且這種寫(xiě)法沒(méi)法做泛型抽象——你沒(méi)法寫(xiě)一個(gè)「某些限定符下通用」的函數(shù)模板來(lái)自動(dòng)適配所有情況。1.3 Deducing this 的核心思想C23 的 Deducing this正式名稱是 explicit object parameter顯式對(duì)象參數(shù)換了個(gè)思路既然this本質(zhì)上就是個(gè)參數(shù)那不如把它從「隱式」變成「顯式」讓類型推導(dǎo)機(jī)制直接接管。也就是說(shuō)你可以在成員函數(shù)參數(shù)列表的第一個(gè)位置顯式寫(xiě)出一個(gè)參數(shù)來(lái)表示調(diào)用對(duì)象本身。編譯器會(huì)根據(jù)調(diào)用時(shí)對(duì)象的實(shí)際類型T、const T、T、const T、T等去推導(dǎo)這個(gè)參數(shù)一套模板實(shí)現(xiàn)天然覆蓋所有限定符組合。這個(gè)思路最早出自 Barry Revzin 等人的提案 P0847 經(jīng)過(guò)多次修訂后在 C23 正式落地。它解決的問(wèn)題可以用一句話概括把本來(lái)由語(yǔ)言隱式處理的 this變成顯式可推導(dǎo)的參數(shù)消除成員函數(shù)在 const/引用限定符維度上的重復(fù)代碼。2. 顯式對(duì)象參數(shù)基礎(chǔ)語(yǔ)法全拆解2.1 聲明方式與基本規(guī)則先看語(yǔ)法。在成員函數(shù)的第一個(gè)參數(shù)位置用this關(guān)鍵字帶一個(gè)參數(shù)名后面可以跟類型和限定符。比如struct Widget { void show(this Widget self) { // self 就是調(diào)用對(duì)象本身等價(jià)于 *this } };參數(shù)名可以任意起不一定要叫self用this更像原來(lái)語(yǔ)義。但不管叫什么語(yǔ)言層面規(guī)定它必須是第一個(gè)參數(shù)且只能有這一個(gè)顯式對(duì)象參數(shù)。具體規(guī)則如下必須放在參數(shù)列表第一個(gè)位置否則編譯報(bào)錯(cuò)。一個(gè)函數(shù)只能有一個(gè)顯式對(duì)象參數(shù)。不能和傳統(tǒng)const限定符同時(shí)使用void f(this Widget self) const是非法錯(cuò)誤提示會(huì)告訴你這個(gè)const是多余的。不能用在static成員函數(shù)上這跟this的語(yǔ)義天然沖突。不能是虛函數(shù)析構(gòu)函數(shù)也不能用。這幾個(gè)限制背后邏輯都很自然顯式對(duì)象參數(shù)根本目的是接管 this 的語(yǔ)義你再寫(xiě)const限定符就語(yǔ)義重復(fù)了static 函數(shù)本來(lái)沒(méi)有 this自然不能顯式聲明一個(gè)。2.2 三種聲明形式與適用場(chǎng)景顯式對(duì)象參數(shù)的類型可以是值、左值引用、轉(zhuǎn)發(fā)引用三種具體區(qū)別就在這里聲明形式推導(dǎo)結(jié)果典型用途this Widget self拷貝一份調(diào)用對(duì)象需要操作獨(dú)立副本時(shí)this Widget self非 const 左值引用需要修改調(diào)用對(duì)象時(shí)this const Widget selfconst 左值引用只讀操作this Widget self右值引用移動(dòng)語(yǔ)義場(chǎng)景this auto self或模板形式完整保留調(diào)用對(duì)象類別通用代碼最推薦這里的this Widget self比較特殊。如果你直接寫(xiě)Widget它和普通函數(shù)的右值引用一樣只會(huì)綁定右值。但如果配合模板參數(shù)寫(xiě)成this auto self或者templatetypename T void f(this T self)它就成了轉(zhuǎn)發(fā)引用也叫萬(wàn)能引用不管是左值、右值、const 還不是 const都能原樣接收并保留 cv 限定符。2.3 與舊式引用限定符的關(guān)系有人可能會(huì)問(wèn)我原來(lái)用void f() 這種舊式寫(xiě)法是不是要被淘汰了其實(shí)不是。顯式對(duì)象參數(shù)提供的是另一條路兩者在 C23 里共存各有用武之地舊式 ref-qualifier 寫(xiě)法簡(jiǎn)潔適合函數(shù)實(shí)現(xiàn)完全固定的場(chǎng)景。顯式對(duì)象參數(shù)靈活能泛化適合函數(shù)邏輯對(duì)調(diào)用對(duì)象類別敏感、想統(tǒng)一維護(hù)的場(chǎng)景。舉個(gè)直觀對(duì)照同一個(gè)功能舊式四重載代碼在前面已經(jīng)難看過(guò)了。換成顯式對(duì)象參數(shù)后這樣寫(xiě)templatetypename Self void data(this Self self) { // 根據(jù) Self 的推導(dǎo)結(jié)果自動(dòng)適配 const 和引用類別 return std::span{ self.span_.data(), self.span_.size() }; }Self被推導(dǎo)成Buffer、const Buffer、Buffer、const Buffer四種類型一份函數(shù)體全搞定。這就是 Deducing this 最直觀的收益不是消滅重載而是讓模板自動(dòng)生成重載。3. 類型推導(dǎo)規(guī)則Deducing this 的核心機(jī)制3.1 從調(diào)用方視角看推導(dǎo)結(jié)果Deducing this 名字里帶著「Deducing」三個(gè)字核心就是推導(dǎo)。很多初學(xué)者卡在這里——知道語(yǔ)法但不知道編譯器到底會(huì)把Self推導(dǎo)成什么。下面這張表是我根據(jù)標(biāo)準(zhǔn)規(guī)則整理的最全對(duì)照建議保存下來(lái)調(diào)用對(duì)象表達(dá)式函數(shù)模板中this Self的 Selfself的推導(dǎo)類型非 const 左值對(duì)象WidgetWidgetconst 左值對(duì)象const Widgetconst Widget非 const 右值WidgetWidgetconst 右值const Widgetconst Widget數(shù)組成員是數(shù)組時(shí)數(shù)組類型數(shù)組引用表格里最關(guān)鍵的是第一列和第三列的對(duì)應(yīng)關(guān)系。解釋一下當(dāng)調(diào)用對(duì)象是非 const 右值時(shí)Self被推導(dǎo)為Widget那么self的類型就是Widget剛好是右值引用當(dāng)是 const 左值時(shí)Self是const Widget于是self是const Widget。這就是轉(zhuǎn)發(fā)引用在顯式對(duì)象參數(shù)位置上的威力類型推導(dǎo)的自動(dòng)折疊規(guī)則完整保留了調(diào)用對(duì)象的類別信息。3.2 為什么 this 從隱式變顯式就能「可推導(dǎo)」這里我多說(shuō)一句原理。在舊 C 里this的類型其實(shí)也是推導(dǎo)出來(lái)的只不過(guò)這個(gè)推導(dǎo)發(fā)生在編譯器內(nèi)部你沒(méi)法干預(yù)也沒(méi)法用它做進(jìn)一步泛化。比如void f() const里的 this 一定是const T*void f()里的 this 一定是T*兩者之間涇渭分明寫(xiě)兩套。一旦變成顯式參數(shù)它就進(jìn)入正常的模板推導(dǎo)流程你擁有了控制權(quán)。你可以在同一個(gè)函數(shù)模板里通過(guò)編譯期if constexpr判斷Self到底是什么類型從而在不同調(diào)用類別下走不同邏輯。比如templatetypename Self void destroy(this Self self) { if constexpr (std::is_lvalue_reference_vSelf) { // 左值場(chǎng)景 self.ref_count_--; } else { // 右值場(chǎng)景不用減引用計(jì)數(shù) } }這在舊寫(xiě)法里是想都不敢想的——原來(lái)你得寫(xiě)兩個(gè)不同行為的重載現(xiàn)在一份代碼 編譯期分支就搞定了。理解這個(gè)你才算真正理解 Deducing this 的「Deducing」到底 Deduce 了什么。3.3 和普通函數(shù)模板推導(dǎo)的類比其實(shí)顯式對(duì)象參數(shù)的推導(dǎo)規(guī)則跟普通函數(shù)模板沒(méi)有任何區(qū)別。你完全可以把this Self self看成templatetypename Self void f(Self self)的成員函數(shù)版本。唯一的區(qū)別是調(diào)用時(shí)你不能顯式指定模板參數(shù)編譯器完全根據(jù)調(diào)用對(duì)象的類別去推導(dǎo)。這個(gè)類比非常重要。寫(xiě)普通函數(shù)模板時(shí)你已經(jīng)知道T對(duì)左值實(shí)參推導(dǎo)為T(mén)對(duì)右值實(shí)參推導(dǎo)為T(mén)?，F(xiàn)在放到成員函數(shù)里結(jié)論完全一致只是把「調(diào)用對(duì)象」當(dāng)成了隱式的實(shí)參。心里有了這個(gè)模型上面那張表就不難記了。4. 實(shí)操對(duì)比一套代碼消滅三套重載4.1 經(jīng)典問(wèn)題場(chǎng)景還原為了讓大家更直觀地看到收益我重新準(zhǔn)備一個(gè)更有實(shí)用價(jià)值的例子。假設(shè)我們寫(xiě)一個(gè)TextContainer內(nèi)部存著std::string對(duì)外提供value()方法。舊式寫(xiě)法里這個(gè)極簡(jiǎn)類想支持所有調(diào)用類別得寫(xiě)四遍class TextContainer { public: std::string value() { return data_; } std::string value() { return data_; } const std::string value() const { return data_; } const std::string value() const { return data_; } private: std::string data_; };這里有四個(gè)問(wèn)題第一函數(shù)體重復(fù)四遍第二如果以后想在value()里加一個(gè)日志或者斷言四個(gè)都必須改第三如果你想根據(jù)調(diào)用類別返回不同東西比如右值版本返回std::string還得再加重載第四不小心漏掉const 組合某些高頻調(diào)用場(chǎng)景會(huì)直接編譯失敗。4.2 改造后的對(duì)照用 Deducing this 重寫(xiě)后class TextContainer { public: templatetypename Self auto value(this Self self) { return std::forwardSelf(self).data_; } private: std::string data_; };就這么簡(jiǎn)單。auto在這里做返回類型的自動(dòng)推導(dǎo)它會(huì)根據(jù)self的類別推導(dǎo)出對(duì)應(yīng)的返回類型。我們來(lái)驗(yàn)證一下推導(dǎo)鏈路非 const 左值調(diào)用tc.value()Self推導(dǎo)為T(mén)extContainerauto推導(dǎo)為std::string。const 左值調(diào)用const_tc.value()Self推導(dǎo)為const TextContainerauto推導(dǎo)為const std::string。臨時(shí)對(duì)象調(diào)用TextContainer{}.value()Self推導(dǎo)為T(mén)extContainerself為T(mén)extContainerstd::forwardSelf(self).data_返回std::string?？吹?jīng)]返回類型也自動(dòng)跟著調(diào)用類別走。用value()的時(shí)候左值拿左值引用右值拿右值引用const 對(duì)象拿 const 引用編譯器全部自動(dòng)處理。提示std::forwardSelf(self)這一步不能寫(xiě)錯(cuò)。直接把self.data_返回在 const 對(duì)象場(chǎng)景下只能返回 const 引用在右值場(chǎng)景下拿不到右值引用語(yǔ)義功能會(huì)退化。務(wù)必用轉(zhuǎn)發(fā)保留原始類別。4.3 效果驗(yàn)證與額外收益我用 GCC 13 編譯并跑了上面這段代碼驗(yàn)證了約束條件TextContainer tc; static_assert(std::is_same_vdecltype(tc.value()), std::string); const TextContainer ctc; static_assert(std::is_same_vdecltype(ctc.value()), const std::string); static_assert(std::is_same_vdecltype(std::move(tc).value()), std::string);全部通過(guò)。如果舊式四重載寫(xiě)法漏寫(xiě)任何一個(gè)這些靜態(tài)斷言至少有一個(gè)失敗。這就是模板自動(dòng)生成重載帶來(lái)的最大好處你永遠(yuǎn)不會(huì)漏掉某個(gè)組合因?yàn)榫幾g器根據(jù)調(diào)用點(diǎn)現(xiàn)場(chǎng)推導(dǎo)天然覆蓋全部情況。還有一個(gè)額外收益代碼評(píng)審的時(shí)候別人看你的類一眼就知道所有成員函數(shù)統(tǒng)一處理了哪些限定符組合可讀性提升不是一點(diǎn)半點(diǎn)。4.4 什么時(shí)候不該用講完優(yōu)點(diǎn)我也得潑點(diǎn)冷水。顯式對(duì)象參數(shù)不是萬(wàn)能藥有些場(chǎng)景反而更啰嗦函數(shù)只有唯一實(shí)現(xiàn)、不需要區(qū)分限定時(shí)直接寫(xiě)普通成員函數(shù)最省事。對(duì)虛擬接口的類不能用這個(gè)特性因?yàn)樘摵瘮?shù)禁止聲明顯式對(duì)象參數(shù)。靜態(tài)函數(shù)完全不受影響。核心判斷標(biāo)準(zhǔn)就一條有沒(méi)有跨多種調(diào)用類別的統(tǒng)一邏輯。有就上顯式對(duì)象參數(shù)沒(méi)有別硬湊普通寫(xiě)法挺好。5. 編譯環(huán)境、踩坑記錄與注意事項(xiàng)5.1 編譯器支持現(xiàn)狀截至 2024 年底主流編譯器對(duì) Deducing this 的支持已經(jīng)比較成熟我用過(guò)這幾個(gè)組合沒(méi)問(wèn)題編譯器最低版本編譯選項(xiàng)GCC13-stdc23或-stdc2bClang16-stdc23MSVCVS 2022 17.5/std:clatest建議我實(shí)際使用下來(lái)比較穩(wěn)的還是 GCC 13 和 Clang 17編譯提示都比較友好。MSVC 早期版本對(duì)某些邊界情況支持不全比如跟概念concepts結(jié)合時(shí)偶爾抽風(fēng)。5.2 我踩過(guò)的坑坑一顯式對(duì)象參數(shù)和 const 限定符同時(shí)寫(xiě)。第一次上手很容易犯struct A { void f(this A self) const { } // 編譯錯(cuò)誤 };提示信息會(huì)說(shuō)explicit object parameter cannot be const-qualified。這其實(shí)我一開(kāi)始不理解覺(jué)得 const 加著也挺好嘛。后來(lái)想明白了self的類型已經(jīng)能表達(dá) const 了你寫(xiě)this A self調(diào)用對(duì)象絕對(duì)非 const想要 const 就把參數(shù)聲明成this const A self。語(yǔ)言設(shè)計(jì)上直接禁止這種疊加是為了避免語(yǔ)義混亂?？佣谀０孱惱锇裻his Derived self寫(xiě)成了this T self。有些模板代碼里T是類模板參數(shù)直接一寫(xiě)一看編譯錯(cuò)誤才反應(yīng)過(guò)來(lái)類模板的T還沒(méi)被推導(dǎo)出來(lái)你要的就是當(dāng)前實(shí)例化后的類型直接寫(xiě)類名或者auto更安全?？尤谜郫B的隱性陷阱?？催@段代碼struct B { templatetypename Self void check(this Self self) { static_assert(std::is_lvalue_reference_vSelf); } }; B b; b.check(); // Self B是左值引用 B{}.check(); // Self B不是左值引用編譯期斷言失敗如果你期望check()永遠(yuǎn)只處理左值調(diào)用這種寫(xiě)法就是錯(cuò)的因?yàn)橛抑嫡{(diào)用會(huì)硬生生觸發(fā)斷言。正確做法是直接限制參數(shù)類型void check(this B self) { } // 只接受非const左值所以顯式對(duì)象參數(shù)的選型口訣我總結(jié)為通用邏輯首選this auto self固定約束就用具體類型表達(dá)。5.3 常見(jiàn)錯(cuò)誤速查表錯(cuò)誤寫(xiě)法問(wèn)題原因正確寫(xiě)法void f(this A a, int x) const顯式對(duì)象參數(shù)不能帶 const 限定符void f(this A a, int x)void f(this A a)按值傳遞會(huì)拷貝開(kāi)銷大改成this A a或const Astatic void f(this A a)靜態(tài)函數(shù)不能有 this去掉this參數(shù)void f(this A a) 不能和引用限定符疊加去掉末尾這些坑網(wǎng)上很多教程都沒(méi)提因?yàn)榇蟛糠质纠a都是理想化的「能跑就行」根本沒(méi)有處理類型語(yǔ)義間的微妙關(guān)系。5.4 一個(gè)容易忽略的點(diǎn)按值傳 this 的拷貝陷阱很多人看示例代碼看到this Widget self覺(jué)得沒(méi)問(wèn)題直接抄結(jié)果發(fā)現(xiàn)性能莫名其妙下降。這里特別要提醒顯式對(duì)象參數(shù)按值傳時(shí)會(huì)觸發(fā)一次拷貝構(gòu)造或移動(dòng)構(gòu)造。你本來(lái)只想讀一下對(duì)象結(jié)果白白多了一次拷貝。我測(cè)試過(guò)一個(gè)稍大的類內(nèi)部持有幾個(gè) vector用this Widget self聲明成員函數(shù)調(diào)用時(shí)性能開(kāi)銷直接翻倍。所以只讀場(chǎng)景this const Widget self修改場(chǎng)景this Widget self移動(dòng)/完美轉(zhuǎn)發(fā)場(chǎng)景this Widget self或模板形式獨(dú)立副本場(chǎng)景T 是 primitive 小對(duì)象才考慮this Widget self這條經(jīng)驗(yàn)和普通函數(shù)傳參選型完全一致——你寫(xiě)普通函數(shù)時(shí)不會(huì)因?yàn)槭∈戮桶裞onst std::string改成std::string顯式對(duì)象參數(shù)同理。6. 結(jié)合概念約束進(jìn)一步收窄調(diào)用范圍Deducing this 和 C20 的 Concepts 搭配起來(lái)殺傷力比單獨(dú)使用大得多。常見(jiàn)的需求是我希望這個(gè)函數(shù)只對(duì)滿足某個(gè)編譯期特性的類型生效。配合顯式對(duì)象參數(shù)可以直接加約束寫(xiě)成這樣templatetypename Self requires std::same_asstd::remove_cvref_tSelf, Widget void update(this Self self) { // 只有 Widget 能調(diào)用 }或者用更簡(jiǎn)潔的寫(xiě)法void update(this auto self) requires(std::same_asstd::remove_cvref_tdecltype(self), Widget) { // ... }這種約束方式在舊 C 里完全做不到。舊式寫(xiě)法中 const 和引用限定符是語(yǔ)言內(nèi)嵌的開(kāi)關(guān)你只能按維度開(kāi)關(guān)沒(méi)法說(shuō)「排除所有非 Widget 類型的繼承類」。實(shí)際項(xiàng)目里我常拿這個(gè)特性寫(xiě) mixin/混入類的方法。比如一個(gè)Measurable概念希望所有派生類都有統(tǒng)一的size()templatetypename T concept HasSize requires(T t) { t.size(); }; struct MeasurableBase { protected: templatetypename Self void add_size_info(this Self self) { self.size_ self.size_ 1; } size_t size_ 0; }; struct DataItem : MeasurableBase { void enrich() { this-add_size_info(); } };這段代碼的典型價(jià)值場(chǎng)景是你在混入基類里寫(xiě)一段邏輯希望最終作用于實(shí)際派生類對(duì)象而不是基類那一截子對(duì)象。舊寫(xiě)法里this的類型固定是MeasurableBase*拿不到派生類部分有了顯式對(duì)象參數(shù)Self會(huì)推導(dǎo)為DataItem直接用派生類語(yǔ)義調(diào)用。7. 遞歸 lambda另一個(gè)隱藏的使用場(chǎng)景既然這篇主講基礎(chǔ)概念和語(yǔ)法遞歸 lambda 我只簡(jiǎn)單提一句因?yàn)樗秋@式對(duì)象參數(shù)能直接解決的老大難問(wèn)題。C17 時(shí)代想寫(xiě)出一個(gè)遞歸 lambda通?？縮td::function包裝性能和可讀性都不理想。Deducing this 提供了一種更優(yōu)雅的方式auto fib [](this auto self, int n) - long { if (n 1) return n; return self(n - 1) self(n - 2); }; static_assert(fib(10) 55);lambda 的調(diào)用操作符本身是個(gè)成員函數(shù)顯式對(duì)象參數(shù)可以作用在 lamba 上self在 lambda 體內(nèi)就是當(dāng)前 lambda 對(duì)象遞歸調(diào)用直接傳參就行。不用std::function、不用外部 std::function 包裝模板推導(dǎo)天然保留 lambda 的真實(shí)類型。原理理解起來(lái)也不難self被推導(dǎo)成當(dāng)前 lambda 對(duì)象的引用所以self(...)內(nèi)部會(huì)繼續(xù)調(diào)用自己形成遞歸。展開(kāi)后的效果其實(shí)等價(jià)于一個(gè)延遲實(shí)例化的函數(shù)模板。8. 學(xué)習(xí)路線與參考資料如果你打算系統(tǒng)性學(xué)習(xí)這個(gè)特性我整理了一條從入門(mén)到精通的路線先讀 cppreference 的 explicit object parameter 詞條把語(yǔ)法規(guī)則搞清楚至少通讀兩遍。手寫(xiě)一個(gè)支持 const/非 const/左值/右值的容器類用顯式對(duì)象參數(shù)統(tǒng)一實(shí)現(xiàn)幾個(gè)成員方法跑通所有靜態(tài)斷言。讀標(biāo)準(zhǔn)提案 P0847 的 Motivation 章節(jié)里面有作者原始設(shè)計(jì)動(dòng)機(jī)解釋了很多語(yǔ)法之外的考量。去看 C23 標(biāo)準(zhǔn) [dcl.fct] 部分的 explicit object parameter 小節(jié)對(duì)標(biāo)準(zhǔn)措辭有個(gè)感覺(jué)。最后把 Deducing this 和 concepts、折疊表達(dá)式、結(jié)構(gòu)化綁定等現(xiàn)代 C 特性結(jié)合構(gòu)造幾個(gè)綜合示例練手。關(guān)于中文參考資料比較推薦《C23 高級(jí)編程第 6 版》網(wǎng)上有 PDF 流傳里面專門(mén)有一章講 C23 核心新特性Deducing this 講得比較清楚示例也對(duì)得起初學(xué)者。但我要提醒一點(diǎn)書(shū)里示例為了展示特性往往傾向于炫技你在真實(shí)項(xiàng)目落地時(shí)一定要按文末「什么時(shí)候不該用」那節(jié)的標(biāo)準(zhǔn)重新審視別啥都往上套。我個(gè)人在實(shí)際把玩這個(gè)特性的過(guò)程中最大的體會(huì)是C23 的 Deducing this 不是一個(gè)「新語(yǔ)法點(diǎn)」而是一把鑰匙它讓成員函數(shù)第一次擁有了和普通函數(shù)一樣完整的類型推導(dǎo)能力。過(guò)去幾年 C 一直往「值語(yǔ)義、靜態(tài)多態(tài)」方向走const 正確性在模板環(huán)境下長(zhǎng)期有種別扭感——要么手動(dòng)堆重載要么用 CRTP 硬扛?，F(xiàn)在這一下把整條思路打通了寫(xiě)庫(kù)的、寫(xiě)框架的、寫(xiě)業(yè)務(wù)類的人都能在合適的場(chǎng)景下受益。最后再分享一個(gè)小技巧你可以給自己的類定義一個(gè)私有的工具函數(shù)用顯式對(duì)象參數(shù)統(tǒng)一實(shí)現(xiàn)讀寫(xiě)邏輯再通過(guò)兩個(gè)公共接口一個(gè) const 一個(gè)非 const暴露出去這樣既享受了 Deducing this 的推導(dǎo)優(yōu)勢(shì)又不至于把所有 API 全部模板化對(duì)類內(nèi)部設(shè)計(jì)的侵入性最小。這個(gè)手法我在幾個(gè)開(kāi)源項(xiàng)目里實(shí)測(cè)過(guò)兼容性很好。由于篇幅控制這篇「上」先到這里?；A(chǔ)概念、語(yǔ)法、推導(dǎo)規(guī)則、適用場(chǎng)景、踩坑記錄已經(jīng)講透下一篇重點(diǎn)拆解它在真實(shí)項(xiàng)目里的進(jìn)階用法如何和 CRTP 模式結(jié)合、如何重構(gòu)遺留代碼里的 const 重載、以及遞歸 lambda 和 std::visit 等特性的聯(lián)動(dòng)技巧。感興趣的話可以先把文中的代碼示例都抄到本地跑一遍有了手感再往下走。