1. 從一段“詭異”的代碼說起為什么需要理解左值與右值如果你寫過一段時(shí)間的C尤其是接觸過一些現(xiàn)代CC11及以后的代碼大概率見過下面這種讓人有點(diǎn)摸不著頭腦的寫法std::vectorint v1 getHugeVector(); std::vectorint v2 std::move(v1); // 這里發(fā)生了什么或者在實(shí)現(xiàn)一個(gè)類時(shí)你可能會(huì)看到這樣的函數(shù)簽名class MyString { public: MyString(const MyString other); // 拷貝構(gòu)造函數(shù) MyString(MyString other) noexcept; // 移動(dòng)構(gòu)造函數(shù) };第一次看到std::move和符號(hào)時(shí)很多人的第一反應(yīng)是“這玩意兒是干啥的為什么要有兩個(gè)看起來功能類似的構(gòu)造函數(shù)” 更令人困惑的是當(dāng)你嘗試去查閱資料時(shí)迎面而來的就是“左值lvalue”、“右值rvalue”、“將亡值xvalue”、“純右值prvalue”以及“左值引用”、“右值引用”等一系列術(shù)語。這些概念像一堵墻把想深入理解現(xiàn)代C高效編程的開發(fā)者擋在外面。我剛開始接觸這些概念時(shí)也一頭霧水總覺得它們過于理論化和實(shí)際寫代碼關(guān)系不大。直到我在一個(gè)性能關(guān)鍵的項(xiàng)目中因?yàn)闊o意識(shí)地進(jìn)行了大量不必要的深拷貝導(dǎo)致程序內(nèi)存和CPU使用率飆升排查了半天才發(fā)現(xiàn)根源在于對(duì)對(duì)象“所有權(quán)”和“生命周期”的模糊認(rèn)知。這時(shí)我才徹底明白理解左值、右值及其引用絕不是在玩文字游戲而是掌握現(xiàn)代C資源管理、編寫高性能代碼的基石。簡(jiǎn)單來說左值和右值的核心區(qū)別在于它們所代表的表達(dá)式是否有“持久”的存儲(chǔ)位置或者說是否有“名字”可以讓我們長期引用它。而左值引用和右值引用則是我們與這兩種不同“值類別”的值進(jìn)行交互的“工具”或“契約”。右值引用的引入特別是移動(dòng)語義使得C能夠安全、高效地“竊取”即將銷毀的臨時(shí)對(duì)象的資源從而避免了昂貴的拷貝開銷。這是C11帶來的最重大的性能優(yōu)化特性之一。接下來我將拋開那些晦澀難懂的標(biāo)準(zhǔn)文檔定義用一個(gè)從業(yè)者的視角結(jié)合大量代碼示例帶你一步步拆解這些概念。我們會(huì)從最直觀的代碼現(xiàn)象入手探究背后的設(shè)計(jì)哲學(xué)最終讓你不僅能看懂別人的代碼更能自信地在自己的項(xiàng)目中運(yùn)用這些特性。2. 左值與右值從“身份”與“可移動(dòng)性”的角度重新審視教科書或標(biāo)準(zhǔn)文檔可能會(huì)給你一堆關(guān)于左值右值的判斷規(guī)則比如“能取地址的就是左值”“不能取地址的就是右值”。這個(gè)規(guī)則在大多數(shù)簡(jiǎn)單情況下是有效的但它更像是一個(gè)經(jīng)驗(yàn)總結(jié)而非本質(zhì)。隨著C標(biāo)準(zhǔn)的演進(jìn)特別是C11引入了移動(dòng)語義值的分類變得更加精細(xì)。我們先從最經(jīng)典的視角理解再過渡到現(xiàn)代視角。2.1 傳統(tǒng)視角左值是“有名字的持久對(duì)象”右值是“臨時(shí)的字面量或計(jì)算結(jié)果”讓我們看一些最直觀的例子int a 10; // a是左值10是右值 int b a; // b是左值a是左值作為表達(dá)式a它是一個(gè)變量有名字a在內(nèi)存中有固定的存儲(chǔ)位置地址并且它的生命周期會(huì)持續(xù)到其作用域結(jié)束。我們可以寫a來獲取它的地址。所以a是一個(gè)典型的左值。10它是一個(gè)整數(shù)字面量。它沒有名字我們無法獲取10這樣的地址編譯會(huì)報(bào)錯(cuò)。它僅僅在賦值語句a 10中短暫地存在完成賦值后這個(gè)“10”本身就不復(fù)存在了。所以10是一個(gè)典型的右值。a b這是一個(gè)表達(dá)式它計(jì)算出一個(gè)臨時(shí)的整數(shù)值。這個(gè)結(jié)果沒有名字也沒有獨(dú)立的存儲(chǔ)位置除非編譯器優(yōu)化我們無法對(duì)它取地址(ab)。所以a b也是一個(gè)右值。一個(gè)實(shí)用的快速判斷技巧C11之前基本夠用如果一個(gè)表達(dá)式的結(jié)果可以放在賦值運(yùn)算符的左邊即可以被賦值那它通常是左值否則是右值。例如a 20; // 正確a是左值 10 a; // 錯(cuò)誤10是右值不能被賦值 (a b) 30; // 錯(cuò)誤(ab)是右值不能被賦值2.2 現(xiàn)代C的細(xì)化值類別Value Categories的完整圖譜C11之后為了精確支持移動(dòng)語義標(biāo)準(zhǔn)委員會(huì)細(xì)化了值的分類提出了“值類別”的概念。我們不必死記硬背所有分類但需要理解其核心思想。它主要從兩個(gè)屬性來劃分一個(gè)表達(dá)式是否有身份Has identity能否確定該表達(dá)式是否與另一個(gè)表達(dá)式指代同一個(gè)對(duì)象簡(jiǎn)單說是否有“名字”或可追蹤的地址是否可移動(dòng)Is movable其資源是否可以安全地被“移動(dòng)”走即被新對(duì)象復(fù)用基于這兩個(gè)屬性值類別可以這樣理解左值lvalue有身份且不可移動(dòng)傳統(tǒng)意義上的左值。例如變量、函數(shù)名、返回左值引用的函數(shù)調(diào)用。將亡值xvalue, eXpiring value有身份但可移動(dòng)。這是C11新引入的類別是連接左值和右值引用的橋梁。例如使用std::move強(qiáng)制轉(zhuǎn)換后的結(jié)果或者返回右值引用的函數(shù)調(diào)用。純右值prvalue, pure rvalue無身份可移動(dòng)傳統(tǒng)意義上的右值。例如字面量、臨時(shí)對(duì)象、返回非引用的函數(shù)調(diào)用、lambda表達(dá)式。而廣義的右值rvalue現(xiàn)在包括了將亡值xvalue和純右值prvalue。所以現(xiàn)代C中“右值”意味著“可移動(dòng)的資源”。為什么這么區(qū)分關(guān)鍵在于“可移動(dòng)性”和“資源竊取的安全性”。一個(gè)純右值如getTemp()返回的臨時(shí)對(duì)象它馬上就要銷毀了所以把它內(nèi)部的資源比如動(dòng)態(tài)分配的內(nèi)存移動(dòng)給另一個(gè)對(duì)象是絕對(duì)安全的。 一個(gè)左值如變量obj它還會(huì)在后續(xù)代碼中被使用所以不能隨意移動(dòng)它的資源。 一個(gè)將亡值如std::move(obj)我們通過std::move明確告訴編譯器“我承諾之后不再使用obj的原始值或者說只以被移動(dòng)后的狀態(tài)使用它你可以把它當(dāng)成一個(gè)臨時(shí)對(duì)象來處理?！?這給了程序員手動(dòng)控制資源轉(zhuǎn)移的能力。注意std::move本身并不移動(dòng)任何東西它只是一個(gè)簡(jiǎn)單的類型轉(zhuǎn)換工具將其參數(shù)無條件地轉(zhuǎn)換為右值引用從而產(chǎn)生一個(gè)將亡值。真正的“移動(dòng)”操作發(fā)生在構(gòu)造函數(shù)或賦值運(yùn)算符的重載決議中。你可以把std::move理解為“移動(dòng)許可”或“可移動(dòng)的聲明”。2.3 常見表達(dá)式類別辨析與代碼示例讓我們通過更多代碼來鞏固理解int x 5; // x是左值 int getRef() { return x; } int getVal() { return 42; } int main() { // 示例1基本類型 int a 10; // a: 左值 10: 純右值 int* p a; // a 產(chǎn)生一個(gè)指針這個(gè)指針是純右值 *p 20; // *p 解引用得到 a 本身是左值 // 示例2函數(shù)返回值 getRef() 100; // getRef() 返回左值引用所以表達(dá)式是左值可以賦值 // getVal() 200; // 錯(cuò)誤getVal() 返回int非引用是純右值不能賦值 int b getVal(); // getVal() 是純右值用于初始化b int c getRef(); // getRef() 是左值但其值被拷貝給c // 示例3字符串字面量一個(gè)容易混淆的點(diǎn) const char* str hello; // hello 這個(gè)字符串字面量本身是左值 // 因?yàn)樗徐o態(tài)存儲(chǔ)期在程序的整個(gè)生命周期都存在并且有確定的地址。 // 但是它的類型是 const char[N]并且通常退化為 const char*。 // 我們不能修改它未定義行為但可以取地址 (hello)雖然不常用。 // 示例4數(shù)組下標(biāo)和成員訪問 int arr[3] {1, 2, 3}; arr[0] 99; // arr[0] 是左值 struct Point { int x; int y; } pt {10, 20}; pt.x 30; // pt.x 是左值 // 示例5前置和后置自增 int i 0; i; // 前置返回的是i本身左值 i; // 后置返回的是i遞增前的一個(gè)臨時(shí)副本純右值 // (i) 5; // 正確i是左值 // (i) 5; // 錯(cuò)誤i是右值 }理解左值和右值的本質(zhì)區(qū)別是理解后續(xù)引用和移動(dòng)語義的前提。記住核心左值代表一個(gè)持久、有身份的對(duì)象右值廣義代表一個(gè)臨時(shí)的、可移動(dòng)的值。3. 左值引用與右值引用兩種不同的“別名”契約引用Reference在C中是一個(gè)對(duì)象的別名。在C11之前我們只有一種引用——左值引用用表示。C11引入了右值引用用表示。它們都是“別名”但綁定的對(duì)象類型和約定的行為截然不同。3.1 左值引用綁定到持久對(duì)象的“長期租客”左值引用顧名思義只能綁定到左值。你可以把它想象成一個(gè)對(duì)象的“長期租客”它和原對(duì)象共享同一個(gè)地址對(duì)引用的操作直接作用于原對(duì)象。int a 10; int ref_a a; // 正確左值引用綁定到左值a ref_a 20; // 修改ref_a等同于修改a現(xiàn)在a20 // int ref_b 10; // 錯(cuò)誤左值引用不能綁定到右值字面量10 // int ref_c a b; // 錯(cuò)誤左值引用不能綁定到右值表達(dá)式結(jié)果 const int const_ref 10; // 正確const左值引用是個(gè)特例可以綁定到右值關(guān)鍵點(diǎn)1常量左值引用const T的“超能力”常量左值引用是一個(gè)非常重要的特例。為了支持像void foo(const std::string str)這樣的函數(shù)既能接受變量又能接受字符串字面量C允許const左值引用綁定到右值。此時(shí)右值的生命周期會(huì)被延長到與引用相同。這是C98/03時(shí)代實(shí)現(xiàn)“通用引用”參數(shù)的主要方式避免了不必要的拷貝。關(guān)鍵點(diǎn)2左值引用的主要用途函數(shù)參數(shù)避免拷貝大型對(duì)象在函數(shù)內(nèi)修改傳入的對(duì)象。void swap(int x, int y) { int tmp x; x y; y tmp; }函數(shù)返回值返回容器元素如std::vector::operator[]、鏈?zhǔn)劫x值等。std::vectorint vec{1,2,3}; vec[0] 99; // operator[] 返回 int范圍for循環(huán)修改容器內(nèi)的元素。for (auto elem : vec) { elem * 2; }3.2 右值引用綁定到臨時(shí)資源的“資源回收員”右值引用用聲明主要注意不是只能用于綁定到右值包括純右值和將亡值。它的核心設(shè)計(jì)目的是標(biāo)識(shí)一個(gè)可移動(dòng)的資源。你可以把它想象成一個(gè)“資源回收員”它的任務(wù)不是和對(duì)象長期共存而是接管那些即將銷毀的臨時(shí)對(duì)象的資源實(shí)現(xiàn)資源的高效轉(zhuǎn)移。int getInt() { return 42; } int a 10; int rref1 getInt(); // 正確右值引用綁定到函數(shù)返回的純右值臨時(shí)int // int rref2 a; // 錯(cuò)誤右值引用不能直接綁定到左值a int rref3 std::move(a); // 正確std::move(a)將左值a轉(zhuǎn)換為將亡值可被右值引用綁定關(guān)鍵點(diǎn)1std::move——獲取右值引用的鑰匙std::move是一個(gè)標(biāo)準(zhǔn)庫函數(shù)它的實(shí)現(xiàn)本質(zhì)上就是一個(gè)static_casttemplate typename T typename std::remove_referenceT::type move(T t) noexcept { return static_casttypename std::remove_referenceT::type(t); }它的作用就是無條件地將傳入的表達(dá)式轉(zhuǎn)換為右值引用類型。當(dāng)你對(duì)一個(gè)左值使用std::move時(shí)你是在向編譯器做出承諾“我之后不會(huì)再用這個(gè)對(duì)象的舊值或者只以被移動(dòng)后的狀態(tài)使用它請(qǐng)?jiān)试S它被移動(dòng)?！边@是一個(gè)危險(xiǎn)的承諾移動(dòng)后源對(duì)象處于一個(gè)有效但未指定的狀態(tài)通常不應(yīng)該再使用其值除非重新賦值或銷毀。關(guān)鍵點(diǎn)2右值引用的主要用途——實(shí)現(xiàn)移動(dòng)語義這是右值引用存在的根本意義。它使得我們可以為類定義移動(dòng)構(gòu)造函數(shù)Move Constructor和移動(dòng)賦值運(yùn)算符Move Assignment Operator。class MyString { private: char* m_data; size_t m_size; public: // 移動(dòng)構(gòu)造函數(shù) MyString(MyString other) noexcept : m_data(other.m_data), m_size(other.m_size) { // “竊取”資源 other.m_data nullptr; // 重要將源對(duì)象置于有效但空的狀態(tài) other.m_size 0; } // 移動(dòng)賦值運(yùn)算符 MyString operator(MyString other) noexcept { if (this ! other) { delete[] m_data; // 釋放自身原有資源 m_data other.m_data; // “竊取”資源 m_size other.m_size; other.m_data nullptr; other.m_size 0; } return *this; } // ... 其他成員拷貝構(gòu)造、析構(gòu)等省略 };當(dāng)用一個(gè)右值比如函數(shù)返回的臨時(shí)MyString或者std::move過的對(duì)象來構(gòu)造或賦值給另一個(gè)MyString時(shí)編譯器會(huì)優(yōu)先選擇移動(dòng)版本從而避免了深拷貝指針指向的大塊內(nèi)存僅僅進(jìn)行了指針的交換效率極高。3.3 引用綁定規(guī)則總結(jié)與重載決議理解函數(shù)重載時(shí)編譯器如何根據(jù)實(shí)參的值類別選擇左值引用版本還是右值引用版本至關(guān)重要。void process(const std::string str) { std::cout process by const lvalue ref\n; } void process(std::string str) { std::cout process by rvalue ref\n; } std::string getString() { return temporary; } int main() { std::string name Alice; process(name); // name是左值調(diào)用第一個(gè)版本 process(getString()); // getString()返回右值調(diào)用第二個(gè)版本 process(std::move(name)); // std::move(name)產(chǎn)生將亡值調(diào)用第二個(gè)版本 process(Bob); // 字符串字面量是左值但可轉(zhuǎn)換為std::string產(chǎn)生臨時(shí)對(duì)象右值調(diào)用第二個(gè)版本 }規(guī)則很簡(jiǎn)單如果實(shí)參是左值則匹配左值引用參數(shù)或const左值引用的重載如果實(shí)參是右值則優(yōu)先匹配右值引用參數(shù)的重載。這為函數(shù)根據(jù)傳入對(duì)象的“可移動(dòng)性”提供不同實(shí)現(xiàn)例如拷貝或移動(dòng)奠定了基礎(chǔ)是標(biāo)準(zhǔn)庫容器如std::vector::push_back實(shí)現(xiàn)高效插入的關(guān)鍵。4. 移動(dòng)語義實(shí)戰(zhàn)從理論到性能提升理解了概念我們來看看移動(dòng)語義如何在實(shí)際中大幅提升性能。最常見的場(chǎng)景就是涉及動(dòng)態(tài)內(nèi)存管理或昂貴資源的類比如自定義的字符串、容器、文件句柄、網(wǎng)絡(luò)連接等。4.1 對(duì)比拷貝與移動(dòng)一個(gè)簡(jiǎn)單的字符串類假設(shè)我們有一個(gè)簡(jiǎn)單的SimpleString類class SimpleString { public: SimpleString(const char* data ) { if (data) { m_size strlen(data); m_data new char[m_size 1]; strcpy(m_data, data); } else { m_size 0; m_data new char[1]; m_data[0] \0; } std::cout Constructed: m_data std::endl; } // 拷貝構(gòu)造函數(shù)深拷貝 SimpleString(const SimpleString other) { m_size other.m_size; m_data new char[m_size 1]; strcpy(m_data, other.m_data); std::cout Copied: m_data (deep copy)\n; } // 移動(dòng)構(gòu)造函數(shù)資源轉(zhuǎn)移 SimpleString(SimpleString other) noexcept { m_data other.m_data; // 直接接管指針 m_size other.m_size; other.m_data nullptr; // 置空源對(duì)象指針防止雙重釋放 other.m_size 0; std::cout Moved: m_data (resource transferred)\n; } ~SimpleString() { delete[] m_data; std::cout Destructed\n; } private: char* m_data; size_t m_size; };現(xiàn)在我們來看兩種不同的使用方式SimpleString createString(const char* txt) { SimpleString tmp(txt); // ... 可能對(duì)tmp做一些操作 return tmp; // 注意這里可能觸發(fā)NRVO返回值優(yōu)化但為了演示我們先假設(shè)沒有。 } int main() { std::cout 場(chǎng)景1拷貝構(gòu)造 std::endl; { SimpleString s1(Hello); SimpleString s2 s1; // 調(diào)用拷貝構(gòu)造函數(shù)發(fā)生深拷貝 } // 析構(gòu)時(shí)s1和s2各自釋放自己獨(dú)立的內(nèi)存塊。 std::cout \n 場(chǎng)景2移動(dòng)構(gòu)造通過函數(shù)返回 std::endl; { SimpleString s3 createString(World); // 理想情況下C17起強(qiáng)制RVO或NRVOcreateString內(nèi)部的tmp會(huì)直接構(gòu)造到s3的內(nèi)存中無需拷貝或移動(dòng)。 // 但在沒有優(yōu)化或更復(fù)雜的情況下編譯器可能會(huì)選擇調(diào)用移動(dòng)構(gòu)造函數(shù)如果存在。 // 假設(shè)調(diào)用了移動(dòng)構(gòu)造那么s3直接接管了tmp內(nèi)部的指針沒有內(nèi)存分配和字符串復(fù)制。 } std::cout \n 場(chǎng)景3移動(dòng)構(gòu)造使用std::move std::endl; { SimpleString s4(Alice); SimpleString s5 std::move(s4); // 明確告訴編譯器移動(dòng)s4的資源給s5 // 此時(shí)s4.m_data 是 nullptrs4處于有效但不可用的狀態(tài)。 // std::cout s4.c_str(); // 危險(xiǎn)可能訪問空指針或已移動(dòng)的數(shù)據(jù)。 } }輸出分析場(chǎng)景1會(huì)打印兩次構(gòu)造和一次深拷貝以及兩次析構(gòu)。場(chǎng)景2和場(chǎng)景3如果移動(dòng)構(gòu)造函數(shù)被調(diào)用則只會(huì)打印一次構(gòu)造和一次移動(dòng)以及兩次析構(gòu)。最關(guān)鍵的是移動(dòng)構(gòu)造過程中沒有new和strcpy操作對(duì)于大型字符串或容器這帶來的性能提升是指數(shù)級(jí)的。4.2 在標(biāo)準(zhǔn)庫容器中的應(yīng)用push_back與emplace_back標(biāo)準(zhǔn)庫容器是移動(dòng)語義的最大受益者之一。以std::vector為例std::vectorSimpleString vec; // 舊方式push_back 接受 const T如果傳入左值會(huì)觸發(fā)拷貝。 SimpleString item(Heavy Item); vec.push_back(item); // 調(diào)用 SimpleString 的拷貝構(gòu)造函數(shù)深拷貝 // C11 新方式push_back 有右值引用重載版本。 vec.push_back(std::move(item)); // 調(diào)用 SimpleString 的移動(dòng)構(gòu)造函數(shù)僅轉(zhuǎn)移指針 // 注意此后 item 不再擁有有效數(shù)據(jù)。 // 更優(yōu)方式emplace_back直接在容器尾部原地構(gòu)造避免任何拷貝或移動(dòng)。 vec.emplace_back(Constructed in place); // 完美轉(zhuǎn)發(fā)參數(shù)直接在vector內(nèi)存中構(gòu)造SimpleStringemplace_back的優(yōu)勢(shì)它利用變長模板和完美轉(zhuǎn)發(fā)將參數(shù)直接傳遞給元素的構(gòu)造函數(shù)在容器預(yù)留的內(nèi)存中直接構(gòu)造對(duì)象。這避免了先構(gòu)造一個(gè)臨時(shí)對(duì)象無論是左值還是右值再將其拷貝或移動(dòng)到容器中的開銷是最高效的插入方式。4.3 移動(dòng)語義的“坑”與注意事項(xiàng)移動(dòng)語義很強(qiáng)大但使用不當(dāng)也會(huì)帶來問題。移動(dòng)后源對(duì)象狀態(tài)標(biāo)準(zhǔn)要求移動(dòng)操作后源對(duì)象必須處于一個(gè)有效但未指定valid but unspecified的狀態(tài)。對(duì)于像std::unique_ptr移動(dòng)后源變?yōu)閚ullptr。對(duì)于std::string或std::vector移動(dòng)后源通常為空。但自定義類必須由開發(fā)者保證這一點(diǎn)通常是將源對(duì)象的資源指針置空。不要移動(dòng)局部變量并返回其引用這是一個(gè)經(jīng)典錯(cuò)誤。std::string badIdea() { std::string local hello; return std::move(local); // 錯(cuò)誤返回了局部對(duì)象的右值引用local即將銷毀引用懸空 }返回局部對(duì)象的右值引用和返回左值引用一樣會(huì)導(dǎo)致懸空引用。正確的做法是直接返回值會(huì)觸發(fā)RVO/NRVO或移動(dòng)。std::string goodIdea() { std::string local hello; return local; // 正確編譯器可能會(huì)優(yōu)化否則會(huì)調(diào)用移動(dòng)構(gòu)造。 }std::move并不移動(dòng)再次強(qiáng)調(diào)std::move只是類型轉(zhuǎn)換。真正的移動(dòng)發(fā)生在構(gòu)造函數(shù)或賦值運(yùn)算符中。盲目地對(duì)所有東西使用std::move不會(huì)讓程序變快反而可能阻止編譯器的返回值優(yōu)化RVO。對(duì)常量對(duì)象使用std::move無效std::move一個(gè)const對(duì)象會(huì)得到一個(gè)const T而移動(dòng)構(gòu)造函數(shù)通常接受T因此無法匹配最終會(huì)回退到拷貝構(gòu)造函數(shù)。const SimpleString cs(const string); SimpleString s std::move(cs); // 調(diào)用的是拷貝構(gòu)造函數(shù)不是移動(dòng)構(gòu)造函數(shù)移動(dòng)操作應(yīng)標(biāo)記為noexcept標(biāo)準(zhǔn)庫容器如std::vector在重新分配內(nèi)存realloc時(shí)為了提供強(qiáng)異常安全保證如果元素的移動(dòng)構(gòu)造函數(shù)不是noexcept它會(huì)選擇使用拷貝構(gòu)造函數(shù)。這可能導(dǎo)致性能下降。因此只要你的移動(dòng)操作不拋出異常就應(yīng)將其標(biāo)記為noexcept。5. 完美轉(zhuǎn)發(fā)與萬能引用編寫通用函數(shù)模板的利器這是左值/右值引用概念的一個(gè)高級(jí)應(yīng)用用于編寫能夠保持參數(shù)原始值類別左值/右值的通用函數(shù)模板。5.1 問題轉(zhuǎn)發(fā)中的值類別丟失假設(shè)我們想寫一個(gè)工廠函數(shù)make_T它接受參數(shù)并轉(zhuǎn)發(fā)給T的構(gòu)造函數(shù)。templatetypename T, typename Arg T make_T(Arg arg) { // 按值傳遞無論傳入什么arg都是一個(gè)新的對(duì)象 return T(arg); // 這里調(diào)用的是T的拷貝構(gòu)造函數(shù)或轉(zhuǎn)換構(gòu)造函數(shù) } templatetypename T, typename Arg T make_T_by_ref(Arg arg) { // 左值引用無法綁定右值 return T(arg); } templatetypename T, typename Arg T make_T_by_const_ref(const Arg arg) { // const左值引用可以綁定右值但參數(shù)在函數(shù)內(nèi)是const的 return T(arg); }以上寫法都有缺陷make_T會(huì)有一次額外的拷貝make_T_by_ref不能接受右值make_T_by_const_ref雖然能接受右值但傳入的參數(shù)在函數(shù)內(nèi)變成了const可能無法匹配某些需要非const引用的構(gòu)造函數(shù)。5.2 解決方案萬能引用與std::forwardC11 通過引用折疊Reference Collapsing規(guī)則和轉(zhuǎn)發(fā)引用Forwarding Reference通常被稱為萬能引用Universal Reference解決了這個(gè)問題。萬能引用的形式在模板參數(shù)推導(dǎo)的語境下T不一定代表右值引用當(dāng)T是一個(gè)需要推導(dǎo)的模板類型參數(shù)時(shí)T是一個(gè)萬能引用它可以綁定到左值或右值。templatetypename T void foo(T param) { // param 是一個(gè)萬能引用 // param 在函數(shù)內(nèi)部是一個(gè)有名字的變量所以它本身是一個(gè)左值。 // 但我們想知道它最初被綁定的是左值還是右值。 } int x 10; foo(x); // T被推導(dǎo)為 int根據(jù)引用折疊param類型為 int 左值引用 foo(20); // T被推導(dǎo)為 int param類型為 int 右值引用引用折疊規(guī)則T ,T ,T 都會(huì)折疊成T。T 會(huì)折疊成T。有了萬能引用我們還需要一個(gè)工具在函數(shù)內(nèi)部將參數(shù)以其原始的值類別繼續(xù)傳遞下去這就是std::forward。templatetypename T T forward(typename std::remove_referenceT::type t) noexcept { return static_castT(t); } // 簡(jiǎn)化理解std::forwardT(param) 會(huì) // - 如果 T 是左值引用類型則將 param 轉(zhuǎn)換為左值引用。 // - 否則將 param 轉(zhuǎn)換為右值引用。5.3 完美轉(zhuǎn)發(fā)實(shí)戰(zhàn)實(shí)現(xiàn)一個(gè)通用的包裝器#include utility // for std::forward class Widget { public: Widget() { std::cout Default Ctor\n; } Widget(const Widget) { std::cout Copy Ctor\n; } Widget(Widget) noexcept { std::cout Move Ctor\n; } Widget(int, double) { std::cout Ctor(int, double)\n; } }; templatetypename T, typename... Args T create(Args... args) { // args 是參數(shù)包每個(gè)參數(shù)都是萬能引用 // std::forwardArgs(args)... 會(huì)對(duì)參數(shù)包中的每個(gè)參數(shù)進(jìn)行完美轉(zhuǎn)發(fā) return T(std::forwardArgs(args)...); } int main() { Widget w1; Widget w2 createWidget(w1); // 傳入左值希望調(diào)用拷貝構(gòu)造 // 推導(dǎo)過程Args 被推導(dǎo)為 Widget, forwardWidget(w1) 返回 Widget匹配拷貝構(gòu)造。 Widget w3 createWidget(std::move(w1)); // 傳入右值希望調(diào)用移動(dòng)構(gòu)造 // 推導(dǎo)過程Args 被推導(dǎo)為 Widget, forwardWidget(std::move(w1)) 返回 Widget匹配移動(dòng)構(gòu)造。 Widget w4 createWidget(42, 3.14); // 傳入兩個(gè)右值希望直接匹配 Widget(int, double) // 推導(dǎo)過程Args 被推導(dǎo)為 int, double, forwardint(42) 返回 int, forwarddouble(3.14) 返回 double, // 它們可以匹配 Widget(int, double) 構(gòu)造函數(shù)。 }這就是std::make_unique,std::make_shared,std::vector::emplace_back等函數(shù)內(nèi)部所使用的技術(shù)。它保證了參數(shù)在傳遞過程中其值類別左值/右值和const/volatile屬性得到完美保持從而調(diào)用最合適的構(gòu)造函數(shù)。掌握完美轉(zhuǎn)發(fā)是編寫高效、通用庫代碼的關(guān)鍵技能。它讓你能夠編寫出像標(biāo)準(zhǔn)庫一樣靈活和高效的模板函數(shù)。理解左值、右值、引用以及移動(dòng)語義是現(xiàn)代C高效編程的必經(jīng)之路。起初可能會(huì)覺得繞但一旦打通你看待C資源管理的視角將完全不同。它不僅僅是語法糖更是一種讓代碼更安全、更高效的編程范式。在實(shí)際項(xiàng)目中從自定義資源管理類到使用標(biāo)準(zhǔn)庫容器和智能指針這些概念無處不在。多寫代碼多觀察編譯器行為比如在構(gòu)造函數(shù)中加打印是掌握它們的最好方法。