發(fā))
1. 從一次面試受到的沖擊說起我在前東家做C技術(shù)面試官的時候特別喜歡問一個入門級問題移動語義解決了什么問題 讓我意外的是不少寫了三五年C的候選人回答都是移動比拷貝快能省性能。這個答案只能算擦邊真正讓我失望的不是答不全而是當我把問題換了一個角度——那你的類什么時候需要自己寫移動構(gòu)造函數(shù)編譯器在什么條件下會幫你生成 的時候?qū)γ骈_始陷入沉默。這個問題之所以重要是因為move語義和右值引用不是兩個孤立語法點它們共同回答了一個C11之前非常痛的問題臨時對象的資源到底能不能被白拿。如果你寫過類似std::vectorstd::string v; v.push_back(GetLargeString());這樣的代碼你應該能感受到那個GetLargeString()返回的臨時字符串明明馬上就要銷毀了但舊的編譯器卻還要完整深拷貝一份字符串內(nèi)容再存進vector里。這就是最早的性能黑洞。所以這篇文章我打算用面試官和工程師兩條線交叉著講。面試線回答原理是什么、怎么考、追問點在哪兒工程線回答代碼怎么寫、什么時候用、用了之后會不會有坑。不管你是準備跳槽的候選人還是在日常項目里被編譯器警告逼著加了的開發(fā)者這篇文章都值得耐心讀完。我會盡量把每一個語法背后的設(shè)計動機講透而不是只給結(jié)論。2. 拷貝之痛C11之前我們是怎么糊弄過去的2.1 一次深拷貝帶來的連鎖代價先看一個最日常的場景。你寫了一個函數(shù)從數(shù)據(jù)庫或者文件里讀出一段大文本std::string LoadConfig() { std::string result; // 假設(shè)這里拼了 10 萬字符 return result; } int main() { std::string cfg LoadConfig(); // 使用 cfg }在C11之前這段代碼的執(zhí)行路徑大概是這樣LoadConfig內(nèi)部的result在函數(shù)結(jié)束時會被拷貝給返回值甚至可能拷貝兩次然后cfg又從返回值拷貝一次。中間每一層都在對那10萬字符做逐字節(jié)復制。如果你考過古一定見過老前輩在代碼里寫編譯器的返回值優(yōu)化NRVO能幫你消掉這些拷貝——可是NRVO不是標準強制的它只是允許編譯器會不會真的做優(yōu)化要看實現(xiàn)。一旦某個對象太大、拷貝構(gòu)造不夠內(nèi)聯(lián)、或者對象本身形狀太復雜優(yōu)化就落了空你只能看著內(nèi)存和CPU時間白白浪費在復制那些馬上要被銷毀的數(shù)據(jù)上。更麻煩的是容器操作。早期的std::vector把元素從一個容量較小的內(nèi)部緩沖區(qū)遷移到更大的緩沖區(qū)時用的是拷貝構(gòu)造。如果你的元素是一個有很多資源堆內(nèi)存、文件句柄、網(wǎng)絡連接的類這幾乎等同于把每一條數(shù)據(jù)都復制兩遍。我們可以算一筆賬假設(shè)std::vectorstd::string里已經(jīng)存了100萬條字符串擴容時每一條字符串平均長度是100字符一次擴容大約需要復制100萬×100字節(jié)1億字節(jié)的內(nèi)容。如果這些字符串是能偷的那只需要轉(zhuǎn)移指針100萬條字符串的遷移成本可能連一次深拷貝都不到。2.2 老C程序員曾用過的所有野路子在C11之前為了擺脫這種拷貝成本社區(qū)嘗試過不少辦法。最早的工具是std::auto_ptr它的設(shè)計思路很直接拷貝的時候直接把內(nèi)部指針轉(zhuǎn)移給對方拷貝完成后自己變成空指針。聽起來挺美但致命問題是它把拷貝的語義徹底扭曲了——常規(guī)的a b原本應該讓a和b保持同樣的值結(jié)果在這兒變成了破壞b的行為。所以auto_ptr后來被標準委員會宣判死刑因為它在容器里會引發(fā)各種靈異事件。另一個常見的做法是手寫swap技巧。要轉(zhuǎn)移一個對象的內(nèi)容先臨時構(gòu)造一個空對象然后swap兩個對象再讓源對象析構(gòu)。代碼如下// 早期傳參用非const引用接收函數(shù)內(nèi)部偷偷swap void AcquireData(std::string out) { std::string tmp ReadData(); out.swap(tmp); }這套組合拳看起來繞過了拷貝實際上只是把拷貝成本偽裝成了交換指針。但它暴露了真正的需求我們需要一種機制讓對象明確表達我現(xiàn)在允許你拿走我的資源我馬上就要銷毀了你不用跟我客氣。再后來還有人嘗試用boost::shared_ptr包裝一切資源、用寫時拷貝COW的字符串庫打補丁……這些方案要么語義混亂要么只能在特定容器上生效。C11之所以最終引入右值引用和move語義就是因為這些問題已經(jīng)到了語法層面才能解決的程度——編譯器需要一種新的類型來區(qū)分這是個可以臨死前捐獻器官的對象和這是個還需要繼續(xù)使用的正常對象。2.3 問題的本質(zhì)我們?nèi)钡牟皇莾?yōu)化是語言表達力回頭再看C11之前的問題是語言本身無法區(qū)分一個即將銷毀的臨時對象和一個活得好好的具名變量。開發(fā)者知道某個表達式的結(jié)果馬上就要完蛋但類型系統(tǒng)不知道于是編譯器只能選擇安全但昂貴的深拷貝或者依賴編譯器心里冒泡地決定是否觸發(fā)NRVO。move語義的引入等于給類型系統(tǒng)加了一門新的身份識別臨時對象屬于右值具名變量屬于左值。當右值出現(xiàn)在賦值、傳參、返回等場景時我們可以提供一套專門處理它的邏輯——把這套邏輯寫成移動構(gòu)造函數(shù)、移動賦值運算符。右值引用T就是這個識別機制的載體。3. 右值引用的語法真相與底層視角3.1 左值、純右值、將亡值到底誰是誰嚴格來說C11開始把表達式分成三個陣營左值lvalue、純右值prvalue、將亡值xvalue。左值有名字、可以取地址、過了這條表達式之后還能繼續(xù)用的東西。比如std::string s hello;里的s。純右值臨時對象、字面量注意字符串字面量是左值、或者表達式計算產(chǎn)生的無名結(jié)果比如std::string(hello)、42、a b的結(jié)果。將亡值這個比較特別指的是生命周期即將結(jié)束、但資源還能被轉(zhuǎn)移的對象。std::move(x)的結(jié)果、以及T函數(shù)返回值都被歸為將亡值。但是說句實在話日常開發(fā)里你不必仔細區(qū)分純右值和將亡值的差異。我更推薦記住這樣一個心智模型左值是我還要繼續(xù)用你的對象右值是我不管你死活了你隨便被我拆解的對象。右值引用T就是專門用來綁定這些隨時可以被拆解的對象的類型。有一個點值得強調(diào)判斷一個表達式是左值還是右值不要看它寫了什么要看它能不能取地址、有沒有名字。比如std::string a hello; std::string b std::move(a); // a 是左值std::move(a) 是右值3.2 函數(shù)重載如何區(qū)分左值和右值右值引用最有用的地方在于參與函數(shù)重載。看下面這個例子void Process(const std::string s) { // 左值版本s 是左值引用不會復制臨時對象但是也拿不到資源 } void Process(std::string s) { // 右值版本s 綁定到臨時對象可以放心調(diào)用 std::move(s) 遷移內(nèi)部數(shù)據(jù) }當你調(diào)用Process(temporary)時編譯器會優(yōu)先選擇std::string這個重載當你調(diào)用Process(str)其中str是具名變量時編譯器只能選擇const std::string這個重載。這個過程是編譯期決議的不需要你寫任何判斷邏輯所以我們可以根據(jù)實參的身份來選擇不同的處理路徑。這里我要給新手提個醒std::string s這個形參本身在函數(shù)體內(nèi)部它又變成了一個左值因為它有名字了。如果你在右值版本的Process里直接寫了s.c_str()那你拿到的是臨時對象的內(nèi)容這是合法的但如果你把s再傳給另一個函數(shù)你必須再次用std::move(s)顯式聲明這個參數(shù)我放棄了你可以轉(zhuǎn)移它。否則s會以左值身份傳下去別人只會觸發(fā)拷貝邏輯。這是我排查過很多次的經(jīng)典坑。3.3 右值引用真的會延長臨時對象生命周期嗎面試里常常有人把右值引用和生命周期延長混淆。準確的結(jié)論是右值引用綁定臨時對象時臨時對象的生命周期會被延長到該引用的生命周期這一點和const T類似。但move語義的重點不在延長而在轉(zhuǎn)移。比如std::string rr std::string(hello); // 臨時字符串活到了 rr 生命周期結(jié)束但 rr 是左值不能直接轉(zhuǎn)移如果你想要延長生命周期允許轉(zhuǎn)移資源更自然的做法是直接綁定到一個具名對象上比如std::string s std::string(hello);。這也是為什么我不推薦在常規(guī)代碼里大量聲明T變量——它意義不大還容易讓讀者以為所有T都意味著轉(zhuǎn)移實際上裸聲明不帶std::move的T變量本身是左值。4. std::move的殘酷真相它什么都沒移動4.1 std::move源碼揭秘如果你把std::move的實現(xiàn)拉開看會發(fā)現(xiàn)它樸素得像一句玩笑templatetypename T constexpr typename std::remove_referenceT::type move(T t) noexcept { return static_casttypename std::remove_referenceT::type(t); }是的std::move什么也沒移動它只做了一件事把參數(shù)強制轉(zhuǎn)換成右值引用類型。它相當于把對象從正常用的類別強行劃到可被轉(zhuǎn)移的類別。真正的資源轉(zhuǎn)移發(fā)生在你調(diào)用移動構(gòu)造函數(shù)、移動賦值運算符或者接受右值參數(shù)的函數(shù)時。這個認知對面試非常重要因為很多候選人會把std::move當成立刻搬東西的魔法然后就踩進了我明明move了為什么沒變快的困惑。要解釋std::move到底有沒有效果你需要繼續(xù)看接收它的函數(shù)是怎么實現(xiàn)的。4.2 一個完整類的移動構(gòu)造與移動賦值我們寫一個擁有堆內(nèi)存資源的類看看移動操作怎么實現(xiàn)class Buffer { public: explicit Buffer(size_t size) : size_(size), data_(new char[size]) { std::fill(data_, data_ size_, 0); } ~Buffer() { delete[] data_; } // 拷貝構(gòu)造老老實實深拷貝 Buffer(const Buffer other) : size_(other.size_), data_(new char[other.size_]) { std::copy(other.data_, other.data_ other.size_, data_); } // 拷貝賦值注意先釋放自己的舊資源 Buffer operator(const Buffer other) { if (this ! other) { delete[] data_; size_ other.size_; data_ new char[other.size_]; std::copy(other.data_, other.data_ other.size_, data_); } return *this; } // 移動構(gòu)造把對方的資源偷過來再把對方置空 Buffer(Buffer other) noexcept : size_(other.size_), data_(other.data_) { other.size_ 0; other.data_ nullptr; } // 移動賦值 Buffer operator(Buffer other) noexcept { if (this ! other) { delete[] data_; size_ other.size_; data_ other.data_; other.size_ 0; other.data_ nullptr; } return *this; } private: size_t size_; char* data_; };注意移動構(gòu)造的核心步驟只有兩個第一把自己的指針指向?qū)Ψ降膬?nèi)存第二把對方的指針置空。置空不只是為了安全也是為了讓對方的析構(gòu)函數(shù)不會把這塊內(nèi)存delete掉。如果你忘記置空臨時對象在表達式結(jié)束時析構(gòu)你的指針就變成懸空指針了。我在審查代碼時經(jīng)?？吹接腥送泴憂oexcept。移動構(gòu)造函數(shù)明確標注noexcept非常重要原因后面會詳細說這里先記住結(jié)論在大多數(shù)場景下如果移動操作可能拋異常標準庫容器寧可選拷貝而不是移動因為拷貝如果在中途拋出異常原對象還能保持完整狀態(tài)強異常安全性更好。4.3 編譯器自動生成的移動操作以及被抑制的情況如果你沒有手動聲明移動構(gòu)造和移動賦值編譯器有可能自動生成。規(guī)則比較復雜我挑重點說當類里沒有用戶聲明的拷貝構(gòu)造、拷貝賦值、析構(gòu)函數(shù)時編譯器通常會生成默認的移動構(gòu)造和移動賦值。一旦你自己寫了析構(gòu)函數(shù)、拷貝操作中的任何一樣編譯器會認為這個類對資源管理有特殊要求于是不再自動生成移動操作。這意味著一個安全實踐是如果你寫了一個管理資源的類最好把五個特殊成員函數(shù)析構(gòu)、拷貝構(gòu)造、拷貝賦值、移動構(gòu)造、移動賦值當成一個整體來考慮。只加析構(gòu)不加移動構(gòu)造會導致這個類在vector擴容時退化成拷貝性能反彈不說還可能讓人誤以為move路徑已經(jīng)被覆蓋。我自己就經(jīng)歷過一個項目某資源管理類多年沒有移動構(gòu)造所有vector擴容都變成深拷貝底層接口設(shè)計得很好上層性能卻一直上不去。5. 完美轉(zhuǎn)發(fā)為什么說std::move和std::forward是兩碼事5.1 萬能引用與引用折疊模板里的T不完全等同于具體的std::string。當它出現(xiàn)在模板推導上下文中時被稱為轉(zhuǎn)發(fā)引用有人叫萬能引用。它的行為取決于傳入實參傳入左值T推導為T傳入右值T推導為T。配合C的引用折疊規(guī)則最終形參類型會按下面這張表收斂原模板參數(shù)推導結(jié)果寫成T后的最終類型T UUT U UT UU (折疊成折疊成)T U U直覺上理解左值經(jīng)過任何組合永遠是左值右值只有同時全為右值引用時才保持右值。這條規(guī)則保證了T能同時兼容左值和右值傳參但函數(shù)內(nèi)部拿到參數(shù)后參數(shù)名稱本身是左值。如果你不想丟失右值的轉(zhuǎn)移資格就必須在繼續(xù)轉(zhuǎn)發(fā)時使用std::forwardT。5.2 一個工廠函數(shù)的完整樣板假設(shè)你要寫一個工廠函數(shù)把參數(shù)完美地轉(zhuǎn)交給構(gòu)造函數(shù)templatetypename T, typename... Args std::unique_ptrT MakeObject(Args... args) { return std::unique_ptrT(new T(std::forwardArgs(args)...)); }如果用戶調(diào)用MakeObjectBuffer(Buffer(1024))Args中對應參數(shù)會推導為非引用類型std::forward會按右值轉(zhuǎn)發(fā)最終new T(...)調(diào)用的是Buffer的移動構(gòu)造函數(shù)如果用戶傳入一個具名Buffer bArgs推導為Bufferstd::forward會按左值轉(zhuǎn)發(fā)最終調(diào)用的就是拷貝構(gòu)造。整個過程不需要你寫兩個重載一份模板就區(qū)分了左右值身份。關(guān)于std::forward的實現(xiàn)它本質(zhì)上也是static_castT但這里的T是推導出的原始類型帶著是否引用的信息。你要是圖省事把std::forwardArgs(args)換成std::move(args)那會把左值也強制轉(zhuǎn)換成右值原本還想繼續(xù)使用的具名對象可能瞬間被掏空。這種bug非常難排查因為現(xiàn)場看起來編譯過了偶爾崩一下。5.3 什么時候真的需要完美轉(zhuǎn)發(fā)嚴格講普通業(yè)務代碼里你可能一年也寫不了幾個轉(zhuǎn)發(fā)模板。完美轉(zhuǎn)發(fā)主要出現(xiàn)在這幾種場景寫通用工廠、緩存層、異步任務包裝器時需要把用戶參數(shù)原樣傳給構(gòu)造函數(shù)。實現(xiàn)std::make_shared、std::make_unique這類工具函數(shù)。封裝代理類、裝飾器轉(zhuǎn)發(fā)構(gòu)造函數(shù)參數(shù)給底層對象。如果你只是在自己類里面調(diào)用成員函數(shù)老老實實寫左值引用版本和右值引用版本的重載就可以了不必硬套模板。面試官問完美轉(zhuǎn)發(fā)通常是想確認你理解模板推導和引用折疊的機制而不是指望你的業(yè)務代碼里全部用上。6. 實戰(zhàn)收益與濫用陷阱的邊界6.1 哪些代碼真的因為move而變快了我在實際項目中觀察到的收益主要在三個地方第一是容器擴容和插入。std::vectorstd::string、std::vectorstd::unique_ptrT在重新分配和push_back時移動語義能把深拷貝N個元素變成轉(zhuǎn)移N個指針。這件事不需要你寫額外的業(yè)務代碼只要元素類型支持移動編譯器就會自動選擇移動路徑。第二是大量字符串拼接。多個臨時std::string相加時老版本會不停創(chuàng)建臨時對象并深拷貝現(xiàn)代標準庫在移動語義下可以直接擴展內(nèi)部緩沖區(qū)減少不必要的內(nèi)存分配。遇到熱點代碼你可以用reserve加append進一步優(yōu)化但move語義已經(jīng)在語言層面幫我們消化了大部分帶寬。第三是轉(zhuǎn)移所有權(quán)。std::unique_ptr這類獨占所有權(quán)的智能指針天然依賴移動語義因為拷貝在語義上是禁止的。return std::unique_ptrT(...)這種返回局部對象的行為本質(zhì)上靠move完成所有權(quán)遷移。如果你對C的資源管理有概念就知道沒有移動語義unique_ptr幾乎寸步難行。6.2 移動后對象狀態(tài)有效但未指定這是標準里特別坑的一句話。移動操作執(zhí)行完源對象通常處于有效但未指定的狀態(tài)它仍然可以被析構(gòu)、可以被賦值但你不能假設(shè)它還保留著移動之前的值。以我上面的Buffer為例我把other.data_置成了nullptrother.size_置成了0這就是一個很具體的有效但空狀態(tài)。實際開發(fā)中你會在兩種場景踩到這個坑移動之后繼續(xù)使用源對象。比如std::string a hello; std::string b std::move(a); std::cout a;這在大多數(shù)編譯器上輸出的是空串但標準不保證一定是空串。某個標準庫實現(xiàn)可能讓源對象保留部分內(nèi)容也可能完全清空。正確做法是移動完成以后要么立刻銷毀它要么只對它做允許安全操作的調(diào)用。自移動賦值。a std::move(a);如果移動賦值運算符實現(xiàn)得不嚴實可能先把自己的指針delete了然后又把這個懸空指針賦值給自己導致崩潰或UB。所以我上面的實現(xiàn)專門有if (this ! other)這個判斷。標準從C11到C17對自移動的要求一直在收緊但你自己動手寫資源管理類時最好自己防護。6.3 哪些場景move不值得用有段時間團隊里流行一種能move就move的風氣結(jié)果引入了一些意義不明的代碼。我列出幾類給讀者排雷基本類型int x std::move(y);完全等價于int x y;沒有任何收益只是把代碼寫得難讀。const右值const std::string即使綁定到右值移動構(gòu)造也不會被調(diào)用因為移動構(gòu)造本身需要把源對象內(nèi)容改掉而const對象不允許修改。你在移動構(gòu)造重載決議時const T永遠匹配不到非const的移動構(gòu)造函數(shù)最后還是會走拷貝。移動后還要繼續(xù)用如果把一個還要使用的局部變量move給容器你以為省了一次拷貝實際上是給自己埋了一顆定時炸彈。這種優(yōu)化得不償失極大降低代碼可維護性。還有一個我在評審中反復提醒的點std::move并不能自動讓所有拷貝變快它只是提供了一種可能性。如果你的類沒有實現(xiàn)移動構(gòu)造或者移動構(gòu)造被抑制了std::move就是一句空話真正的執(zhí)行路徑仍然是拷貝構(gòu)造。所以判斷一次move是否有效要去看接收方函數(shù)的重載列表里到底有沒有對應的右值版本。7. 面試官深挖時的熱門問題與答案骨架7.1 從move語義展開的幾個高頻追問我把自己面試候選人常用的追問整理成一個列表方便讀者自查Q1std::move和std::forward有什么區(qū)別好答案std::move無條件把參數(shù)轉(zhuǎn)成右值引用用于表達我將放棄這個對象的使用權(quán)std::forward根據(jù)模板推導出的類型在左值時轉(zhuǎn)成左值引用在右值時轉(zhuǎn)成右值引用用于完美轉(zhuǎn)發(fā)場景。二者底層都是轉(zhuǎn)換但應用場景和語義完全不同。Q2移動構(gòu)造函數(shù)為什么要標記noexcept好答案std::vector擴容時如果元素支持noexcept移動構(gòu)造vector可以放心地用移動來遷移元素如果移動可能拋異常vector為了保證強異常安全只能退化為拷貝構(gòu)造。深拷貝雖然慢但拷貝失敗時原對象未被破壞更容易回滾。這個設(shè)計考量就在std::vector和std::swap的標準實現(xiàn)里。Q3什么樣的類編譯器不會自動生成移動操作好答案用戶聲明了析構(gòu)函數(shù)、拷貝構(gòu)造、拷貝賦值之一時移動操作默認行為被抑制用戶聲明了移動構(gòu)造或移動賦值之一時另一個不會自動合成基類或成員的移動操作不可用比如成員是const或引用類型時也會受影響。Q4為什么auto_ptr被廢棄好答案auto_ptr把拷貝語義改成了轉(zhuǎn)移語義復制會破壞源對象。這違反了容器對拷貝構(gòu)造的基本假設(shè)導致在算法、容器中產(chǎn)生未定義行為。unique_ptr通過禁止拷貝、支持移動解決了這個問題。Q5移動構(gòu)造函數(shù)里源對象為什么要置空好答案讓源對象析構(gòu)時不釋放已被轉(zhuǎn)移的資源同時讓源對象保持一個有效但內(nèi)容不確定的狀態(tài)。置空是常見實踐標準只要求有效具體狀態(tài)由實現(xiàn)決定。Q6返回值優(yōu)化RVO和move語義會不會沖突好答案不會。返回局部對象時編譯器優(yōu)先嘗試RVO/NRVO如果無法消除拷貝則會調(diào)用移動構(gòu)造而不是拷貝構(gòu)造。所以最好直接返回局部對象不要畫蛇添足地寫return std::move(local)那反而可能抑制RVO。7.2 一個能加分的手寫例子面試官有時候會讓你現(xiàn)場寫一個移動構(gòu)造并解釋。我的建議是不要背模板先講清楚思路先淺拷貝資源指針再置空源指針最后考慮noexcept與自賦值。比如class Widget { public: Widget(Widget other) noexcept : buffer_(other.buffer_), size_(other.size_) { other.buffer_ nullptr; other.size_ 0; } Widget operator(Widget other) noexcept { if (this ! other) { delete[] buffer_; buffer_ other.buffer_; size_ other.size_; other.buffer_ nullptr; other.size_ 0; } return *this; } private: char* buffer_; size_t size_; };一邊寫一邊說出這里的noexcept是為了適配vector擴容、自賦值判斷是為了防止先delete再取對方資源的懸空問題面試官基本就能確認你是真的用過的。7.3 我回答這類問題的個人心得面試時會觀察到兩類極端一類候選人能把標準條款背得很熟但問到具體場景就說不清該不該用move另一類只知道在代碼里到處加move原理完全講不明白。真正有經(jīng)驗的候選人會把move語義理解成所有權(quán)轉(zhuǎn)移的語法表達而不是一個性能魔法。我在面試中更看重候選人能不能說清楚什么時候不適用move——因為知道邊界比知道用法更難。如果你正在準備面試建議你找一個自己寫過的、涉及資源管理的類親手把拷貝構(gòu)造、移動構(gòu)造、賦值運算符都實現(xiàn)一遍然后放到std::vector里跑一次擴容再看看性能和調(diào)用路徑。這一套做下來你對move語義的理解會超過很多背過八股但沒動手的候選人。8. 最后分享一個小經(jīng)驗從編譯器警告到代碼評審我在實際工作中發(fā)現(xiàn)move語義最容易出的問題不是不懂原理而是寫好之后沒有人review出語義問題。這里分享一個我自己常用的檢查方法當你看到一個函數(shù)接收T參數(shù)時先問自己三個問題——第一這個參數(shù)在函數(shù)體里會不會被重新使用如果會盡量不要move它第二這個參數(shù)在函數(shù)結(jié)束時會不會析構(gòu)如果會記住置空源對象是你自己的責任第三這個函數(shù)是模板嗎如果是std::forward和std::move的選擇就變得非常關(guān)鍵。另外現(xiàn)代編譯器已經(jīng)能幫忙抓不少問題。開啟-Wmove相關(guān)的警告有的工具鏈有-Wpessimizing-move、-Wredundant-move它會提示你那些加了std::move反而變慢的寫法。比如在返回局部對象時再加std::move編譯器不僅不會更高效還可能阻斷RVO。我在一次代碼評審中就看到同事寫了return std::move(result);結(jié)果每次返回都強制走了移動構(gòu)造而原本可以直接在調(diào)用方構(gòu)造。這種細節(jié)如果不靠工具和評審短期根本看不出來。上面這些都是我踩過坑或者面試別人時反復驗證過的點。move語義本身并不難難的是你能否從知道語法進化到理解所有權(quán)——一旦你跨過這條線你會發(fā)現(xiàn)看stl源碼的效率、寫通用模板的信心、排查莫名崩潰的能力都會上一個大臺階。希望這篇整理能幫你把這條線畫得更清楚。 C++移動語義與右值引用深度解析：從拷貝性能到完美轉(zhuǎn)發(fā)
1. 從一次面試受到的沖擊說起我在前東家做C技術(shù)面試官的時候特別喜歡問一個入門級問題移動語義解決了什么問題 讓我意外的是不少寫了三五年C的候選人回答都是移動比拷貝快能省性能。這個答案只能算擦邊真正讓我失望的不是答不全而是當我把問題換了一個角度——那你的類什么時候需要自己寫移動構(gòu)造函數(shù)編譯器在什么條件下會幫你生成 的時候?qū)γ骈_始陷入沉默。這個問題之所以重要是因為move語義和右值引用不是兩個孤立語法點它們共同回答了一個C11之前非常痛的問題臨時對象的資源到底能不能被白拿。如果你寫過類似std::vectorstd::string v; v.push_back(GetLargeString());這樣的代碼你應該能感受到那個GetLargeString()返回的臨時字符串明明馬上就要銷毀了但舊的編譯器卻還要完整深拷貝一份字符串內(nèi)容再存進vector里。這就是最早的性能黑洞。所以這篇文章我打算用面試官和工程師兩條線交叉著講。面試線回答原理是什么、怎么考、追問點在哪兒工程線回答代碼怎么寫、什么時候用、用了之后會不會有坑。不管你是準備跳槽的候選人還是在日常項目里被編譯器警告逼著加了的開發(fā)者這篇文章都值得耐心讀完。我會盡量把每一個語法背后的設(shè)計動機講透而不是只給結(jié)論。2. 拷貝之痛C11之前我們是怎么糊弄過去的2.1 一次深拷貝帶來的連鎖代價先看一個最日常的場景。你寫了一個函數(shù)從數(shù)據(jù)庫或者文件里讀出一段大文本std::string LoadConfig() { std::string result; // 假設(shè)這里拼了 10 萬字符 return result; } int main() { std::string cfg LoadConfig(); // 使用 cfg }在C11之前這段代碼的執(zhí)行路徑大概是這樣LoadConfig內(nèi)部的result在函數(shù)結(jié)束時會被拷貝給返回值甚至可能拷貝兩次然后cfg又從返回值拷貝一次。中間每一層都在對那10萬字符做逐字節(jié)復制。如果你考過古一定見過老前輩在代碼里寫編譯器的返回值優(yōu)化NRVO能幫你消掉這些拷貝——可是NRVO不是標準強制的它只是允許編譯器會不會真的做優(yōu)化要看實現(xiàn)。一旦某個對象太大、拷貝構(gòu)造不夠內(nèi)聯(lián)、或者對象本身形狀太復雜優(yōu)化就落了空你只能看著內(nèi)存和CPU時間白白浪費在復制那些馬上要被銷毀的數(shù)據(jù)上。更麻煩的是容器操作。早期的std::vector把元素從一個容量較小的內(nèi)部緩沖區(qū)遷移到更大的緩沖區(qū)時用的是拷貝構(gòu)造。如果你的元素是一個有很多資源堆內(nèi)存、文件句柄、網(wǎng)絡連接的類這幾乎等同于把每一條數(shù)據(jù)都復制兩遍。我們可以算一筆賬假設(shè)std::vectorstd::string里已經(jīng)存了100萬條字符串擴容時每一條字符串平均長度是100字符一次擴容大約需要復制100萬×100字節(jié)1億字節(jié)的內(nèi)容。如果這些字符串是能偷的那只需要轉(zhuǎn)移指針100萬條字符串的遷移成本可能連一次深拷貝都不到。2.2 老C程序員曾用過的所有野路子在C11之前為了擺脫這種拷貝成本社區(qū)嘗試過不少辦法。最早的工具是std::auto_ptr它的設(shè)計思路很直接拷貝的時候直接把內(nèi)部指針轉(zhuǎn)移給對方拷貝完成后自己變成空指針。聽起來挺美但致命問題是它把拷貝的語義徹底扭曲了——常規(guī)的a b原本應該讓a和b保持同樣的值結(jié)果在這兒變成了破壞b的行為。所以auto_ptr后來被標準委員會宣判死刑因為它在容器里會引發(fā)各種靈異事件。另一個常見的做法是手寫swap技巧。要轉(zhuǎn)移一個對象的內(nèi)容先臨時構(gòu)造一個空對象然后swap兩個對象再讓源對象析構(gòu)。代碼如下// 早期傳參用非const引用接收函數(shù)內(nèi)部偷偷swap void AcquireData(std::string out) { std::string tmp ReadData(); out.swap(tmp); }這套組合拳看起來繞過了拷貝實際上只是把拷貝成本偽裝成了交換指針。但它暴露了真正的需求我們需要一種機制讓對象明確表達我現(xiàn)在允許你拿走我的資源我馬上就要銷毀了你不用跟我客氣。再后來還有人嘗試用boost::shared_ptr包裝一切資源、用寫時拷貝COW的字符串庫打補丁……這些方案要么語義混亂要么只能在特定容器上生效。C11之所以最終引入右值引用和move語義就是因為這些問題已經(jīng)到了語法層面才能解決的程度——編譯器需要一種新的類型來區(qū)分這是個可以臨死前捐獻器官的對象和這是個還需要繼續(xù)使用的正常對象。2.3 問題的本質(zhì)我們?nèi)钡牟皇莾?yōu)化是語言表達力回頭再看C11之前的問題是語言本身無法區(qū)分一個即將銷毀的臨時對象和一個活得好好的具名變量。開發(fā)者知道某個表達式的結(jié)果馬上就要完蛋但類型系統(tǒng)不知道于是編譯器只能選擇安全但昂貴的深拷貝或者依賴編譯器心里冒泡地決定是否觸發(fā)NRVO。move語義的引入等于給類型系統(tǒng)加了一門新的身份識別臨時對象屬于右值具名變量屬于左值。當右值出現(xiàn)在賦值、傳參、返回等場景時我們可以提供一套專門處理它的邏輯——把這套邏輯寫成移動構(gòu)造函數(shù)、移動賦值運算符。右值引用T就是這個識別機制的載體。3. 右值引用的語法真相與底層視角3.1 左值、純右值、將亡值到底誰是誰嚴格來說C11開始把表達式分成三個陣營左值lvalue、純右值prvalue、將亡值xvalue。左值有名字、可以取地址、過了這條表達式之后還能繼續(xù)用的東西。比如std::string s hello;里的s。純右值臨時對象、字面量注意字符串字面量是左值、或者表達式計算產(chǎn)生的無名結(jié)果比如std::string(hello)、42、a b的結(jié)果。將亡值這個比較特別指的是生命周期即將結(jié)束、但資源還能被轉(zhuǎn)移的對象。std::move(x)的結(jié)果、以及T函數(shù)返回值都被歸為將亡值。但是說句實在話日常開發(fā)里你不必仔細區(qū)分純右值和將亡值的差異。我更推薦記住這樣一個心智模型左值是我還要繼續(xù)用你的對象右值是我不管你死活了你隨便被我拆解的對象。右值引用T就是專門用來綁定這些隨時可以被拆解的對象的類型。有一個點值得強調(diào)判斷一個表達式是左值還是右值不要看它寫了什么要看它能不能取地址、有沒有名字。比如std::string a hello; std::string b std::move(a); // a 是左值std::move(a) 是右值3.2 函數(shù)重載如何區(qū)分左值和右值右值引用最有用的地方在于參與函數(shù)重載。看下面這個例子void Process(const std::string s) { // 左值版本s 是左值引用不會復制臨時對象但是也拿不到資源 } void Process(std::string s) { // 右值版本s 綁定到臨時對象可以放心調(diào)用 std::move(s) 遷移內(nèi)部數(shù)據(jù) }當你調(diào)用Process(temporary)時編譯器會優(yōu)先選擇std::string這個重載當你調(diào)用Process(str)其中str是具名變量時編譯器只能選擇const std::string這個重載。這個過程是編譯期決議的不需要你寫任何判斷邏輯所以我們可以根據(jù)實參的身份來選擇不同的處理路徑。這里我要給新手提個醒std::string s這個形參本身在函數(shù)體內(nèi)部它又變成了一個左值因為它有名字了。如果你在右值版本的Process里直接寫了s.c_str()那你拿到的是臨時對象的內(nèi)容這是合法的但如果你把s再傳給另一個函數(shù)你必須再次用std::move(s)顯式聲明這個參數(shù)我放棄了你可以轉(zhuǎn)移它。否則s會以左值身份傳下去別人只會觸發(fā)拷貝邏輯。這是我排查過很多次的經(jīng)典坑。3.3 右值引用真的會延長臨時對象生命周期嗎面試里常常有人把右值引用和生命周期延長混淆。準確的結(jié)論是右值引用綁定臨時對象時臨時對象的生命周期會被延長到該引用的生命周期這一點和const T類似。但move語義的重點不在延長而在轉(zhuǎn)移。比如std::string rr std::string(hello); // 臨時字符串活到了 rr 生命周期結(jié)束但 rr 是左值不能直接轉(zhuǎn)移如果你想要延長生命周期允許轉(zhuǎn)移資源更自然的做法是直接綁定到一個具名對象上比如std::string s std::string(hello);。這也是為什么我不推薦在常規(guī)代碼里大量聲明T變量——它意義不大還容易讓讀者以為所有T都意味著轉(zhuǎn)移實際上裸聲明不帶std::move的T變量本身是左值。4. std::move的殘酷真相它什么都沒移動4.1 std::move源碼揭秘如果你把std::move的實現(xiàn)拉開看會發(fā)現(xiàn)它樸素得像一句玩笑templatetypename T constexpr typename std::remove_referenceT::type move(T t) noexcept { return static_casttypename std::remove_referenceT::type(t); }是的std::move什么也沒移動它只做了一件事把參數(shù)強制轉(zhuǎn)換成右值引用類型。它相當于把對象從正常用的類別強行劃到可被轉(zhuǎn)移的類別。真正的資源轉(zhuǎn)移發(fā)生在你調(diào)用移動構(gòu)造函數(shù)、移動賦值運算符或者接受右值參數(shù)的函數(shù)時。這個認知對面試非常重要因為很多候選人會把std::move當成立刻搬東西的魔法然后就踩進了我明明move了為什么沒變快的困惑。要解釋std::move到底有沒有效果你需要繼續(xù)看接收它的函數(shù)是怎么實現(xiàn)的。4.2 一個完整類的移動構(gòu)造與移動賦值我們寫一個擁有堆內(nèi)存資源的類看看移動操作怎么實現(xiàn)class Buffer { public: explicit Buffer(size_t size) : size_(size), data_(new char[size]) { std::fill(data_, data_ size_, 0); } ~Buffer() { delete[] data_; } // 拷貝構(gòu)造老老實實深拷貝 Buffer(const Buffer other) : size_(other.size_), data_(new char[other.size_]) { std::copy(other.data_, other.data_ other.size_, data_); } // 拷貝賦值注意先釋放自己的舊資源 Buffer operator(const Buffer other) { if (this ! other) { delete[] data_; size_ other.size_; data_ new char[other.size_]; std::copy(other.data_, other.data_ other.size_, data_); } return *this; } // 移動構(gòu)造把對方的資源偷過來再把對方置空 Buffer(Buffer other) noexcept : size_(other.size_), data_(other.data_) { other.size_ 0; other.data_ nullptr; } // 移動賦值 Buffer operator(Buffer other) noexcept { if (this ! other) { delete[] data_; size_ other.size_; data_ other.data_; other.size_ 0; other.data_ nullptr; } return *this; } private: size_t size_; char* data_; };注意移動構(gòu)造的核心步驟只有兩個第一把自己的指針指向?qū)Ψ降膬?nèi)存第二把對方的指針置空。置空不只是為了安全也是為了讓對方的析構(gòu)函數(shù)不會把這塊內(nèi)存delete掉。如果你忘記置空臨時對象在表達式結(jié)束時析構(gòu)你的指針就變成懸空指針了。我在審查代碼時經(jīng)?？吹接腥送泴憂oexcept。移動構(gòu)造函數(shù)明確標注noexcept非常重要原因后面會詳細說這里先記住結(jié)論在大多數(shù)場景下如果移動操作可能拋異常標準庫容器寧可選拷貝而不是移動因為拷貝如果在中途拋出異常原對象還能保持完整狀態(tài)強異常安全性更好。4.3 編譯器自動生成的移動操作以及被抑制的情況如果你沒有手動聲明移動構(gòu)造和移動賦值編譯器有可能自動生成。規(guī)則比較復雜我挑重點說當類里沒有用戶聲明的拷貝構(gòu)造、拷貝賦值、析構(gòu)函數(shù)時編譯器通常會生成默認的移動構(gòu)造和移動賦值。一旦你自己寫了析構(gòu)函數(shù)、拷貝操作中的任何一樣編譯器會認為這個類對資源管理有特殊要求于是不再自動生成移動操作。這意味著一個安全實踐是如果你寫了一個管理資源的類最好把五個特殊成員函數(shù)析構(gòu)、拷貝構(gòu)造、拷貝賦值、移動構(gòu)造、移動賦值當成一個整體來考慮。只加析構(gòu)不加移動構(gòu)造會導致這個類在vector擴容時退化成拷貝性能反彈不說還可能讓人誤以為move路徑已經(jīng)被覆蓋。我自己就經(jīng)歷過一個項目某資源管理類多年沒有移動構(gòu)造所有vector擴容都變成深拷貝底層接口設(shè)計得很好上層性能卻一直上不去。5. 完美轉(zhuǎn)發(fā)為什么說std::move和std::forward是兩碼事5.1 萬能引用與引用折疊模板里的T不完全等同于具體的std::string。當它出現(xiàn)在模板推導上下文中時被稱為轉(zhuǎn)發(fā)引用有人叫萬能引用。它的行為取決于傳入實參傳入左值T推導為T傳入右值T推導為T。配合C的引用折疊規(guī)則最終形參類型會按下面這張表收斂原模板參數(shù)推導結(jié)果寫成T后的最終類型T UUT U UT UU (折疊成折疊成)T U U直覺上理解左值經(jīng)過任何組合永遠是左值右值只有同時全為右值引用時才保持右值。這條規(guī)則保證了T能同時兼容左值和右值傳參但函數(shù)內(nèi)部拿到參數(shù)后參數(shù)名稱本身是左值。如果你不想丟失右值的轉(zhuǎn)移資格就必須在繼續(xù)轉(zhuǎn)發(fā)時使用std::forwardT。5.2 一個工廠函數(shù)的完整樣板假設(shè)你要寫一個工廠函數(shù)把參數(shù)完美地轉(zhuǎn)交給構(gòu)造函數(shù)templatetypename T, typename... Args std::unique_ptrT MakeObject(Args... args) { return std::unique_ptrT(new T(std::forwardArgs(args)...)); }如果用戶調(diào)用MakeObjectBuffer(Buffer(1024))Args中對應參數(shù)會推導為非引用類型std::forward會按右值轉(zhuǎn)發(fā)最終new T(...)調(diào)用的是Buffer的移動構(gòu)造函數(shù)如果用戶傳入一個具名Buffer bArgs推導為Bufferstd::forward會按左值轉(zhuǎn)發(fā)最終調(diào)用的就是拷貝構(gòu)造。整個過程不需要你寫兩個重載一份模板就區(qū)分了左右值身份。關(guān)于std::forward的實現(xiàn)它本質(zhì)上也是static_castT但這里的T是推導出的原始類型帶著是否引用的信息。你要是圖省事把std::forwardArgs(args)換成std::move(args)那會把左值也強制轉(zhuǎn)換成右值原本還想繼續(xù)使用的具名對象可能瞬間被掏空。這種bug非常難排查因為現(xiàn)場看起來編譯過了偶爾崩一下。5.3 什么時候真的需要完美轉(zhuǎn)發(fā)嚴格講普通業(yè)務代碼里你可能一年也寫不了幾個轉(zhuǎn)發(fā)模板。完美轉(zhuǎn)發(fā)主要出現(xiàn)在這幾種場景寫通用工廠、緩存層、異步任務包裝器時需要把用戶參數(shù)原樣傳給構(gòu)造函數(shù)。實現(xiàn)std::make_shared、std::make_unique這類工具函數(shù)。封裝代理類、裝飾器轉(zhuǎn)發(fā)構(gòu)造函數(shù)參數(shù)給底層對象。如果你只是在自己類里面調(diào)用成員函數(shù)老老實實寫左值引用版本和右值引用版本的重載就可以了不必硬套模板。面試官問完美轉(zhuǎn)發(fā)通常是想確認你理解模板推導和引用折疊的機制而不是指望你的業(yè)務代碼里全部用上。6. 實戰(zhàn)收益與濫用陷阱的邊界6.1 哪些代碼真的因為move而變快了我在實際項目中觀察到的收益主要在三個地方第一是容器擴容和插入。std::vectorstd::string、std::vectorstd::unique_ptrT在重新分配和push_back時移動語義能把深拷貝N個元素變成轉(zhuǎn)移N個指針。這件事不需要你寫額外的業(yè)務代碼只要元素類型支持移動編譯器就會自動選擇移動路徑。第二是大量字符串拼接。多個臨時std::string相加時老版本會不停創(chuàng)建臨時對象并深拷貝現(xiàn)代標準庫在移動語義下可以直接擴展內(nèi)部緩沖區(qū)減少不必要的內(nèi)存分配。遇到熱點代碼你可以用reserve加append進一步優(yōu)化但move語義已經(jīng)在語言層面幫我們消化了大部分帶寬。第三是轉(zhuǎn)移所有權(quán)。std::unique_ptr這類獨占所有權(quán)的智能指針天然依賴移動語義因為拷貝在語義上是禁止的。return std::unique_ptrT(...)這種返回局部對象的行為本質(zhì)上靠move完成所有權(quán)遷移。如果你對C的資源管理有概念就知道沒有移動語義unique_ptr幾乎寸步難行。6.2 移動后對象狀態(tài)有效但未指定這是標準里特別坑的一句話。移動操作執(zhí)行完源對象通常處于有效但未指定的狀態(tài)它仍然可以被析構(gòu)、可以被賦值但你不能假設(shè)它還保留著移動之前的值。以我上面的Buffer為例我把other.data_置成了nullptrother.size_置成了0這就是一個很具體的有效但空狀態(tài)。實際開發(fā)中你會在兩種場景踩到這個坑移動之后繼續(xù)使用源對象。比如std::string a hello; std::string b std::move(a); std::cout a;這在大多數(shù)編譯器上輸出的是空串但標準不保證一定是空串。某個標準庫實現(xiàn)可能讓源對象保留部分內(nèi)容也可能完全清空。正確做法是移動完成以后要么立刻銷毀它要么只對它做允許安全操作的調(diào)用。自移動賦值。a std::move(a);如果移動賦值運算符實現(xiàn)得不嚴實可能先把自己的指針delete了然后又把這個懸空指針賦值給自己導致崩潰或UB。所以我上面的實現(xiàn)專門有if (this ! other)這個判斷。標準從C11到C17對自移動的要求一直在收緊但你自己動手寫資源管理類時最好自己防護。6.3 哪些場景move不值得用有段時間團隊里流行一種能move就move的風氣結(jié)果引入了一些意義不明的代碼。我列出幾類給讀者排雷基本類型int x std::move(y);完全等價于int x y;沒有任何收益只是把代碼寫得難讀。const右值const std::string即使綁定到右值移動構(gòu)造也不會被調(diào)用因為移動構(gòu)造本身需要把源對象內(nèi)容改掉而const對象不允許修改。你在移動構(gòu)造重載決議時const T永遠匹配不到非const的移動構(gòu)造函數(shù)最后還是會走拷貝。移動后還要繼續(xù)用如果把一個還要使用的局部變量move給容器你以為省了一次拷貝實際上是給自己埋了一顆定時炸彈。這種優(yōu)化得不償失極大降低代碼可維護性。還有一個我在評審中反復提醒的點std::move并不能自動讓所有拷貝變快它只是提供了一種可能性。如果你的類沒有實現(xiàn)移動構(gòu)造或者移動構(gòu)造被抑制了std::move就是一句空話真正的執(zhí)行路徑仍然是拷貝構(gòu)造。所以判斷一次move是否有效要去看接收方函數(shù)的重載列表里到底有沒有對應的右值版本。7. 面試官深挖時的熱門問題與答案骨架7.1 從move語義展開的幾個高頻追問我把自己面試候選人常用的追問整理成一個列表方便讀者自查Q1std::move和std::forward有什么區(qū)別好答案std::move無條件把參數(shù)轉(zhuǎn)成右值引用用于表達我將放棄這個對象的使用權(quán)std::forward根據(jù)模板推導出的類型在左值時轉(zhuǎn)成左值引用在右值時轉(zhuǎn)成右值引用用于完美轉(zhuǎn)發(fā)場景。二者底層都是轉(zhuǎn)換但應用場景和語義完全不同。Q2移動構(gòu)造函數(shù)為什么要標記noexcept好答案std::vector擴容時如果元素支持noexcept移動構(gòu)造vector可以放心地用移動來遷移元素如果移動可能拋異常vector為了保證強異常安全只能退化為拷貝構(gòu)造。深拷貝雖然慢但拷貝失敗時原對象未被破壞更容易回滾。這個設(shè)計考量就在std::vector和std::swap的標準實現(xiàn)里。Q3什么樣的類編譯器不會自動生成移動操作好答案用戶聲明了析構(gòu)函數(shù)、拷貝構(gòu)造、拷貝賦值之一時移動操作默認行為被抑制用戶聲明了移動構(gòu)造或移動賦值之一時另一個不會自動合成基類或成員的移動操作不可用比如成員是const或引用類型時也會受影響。Q4為什么auto_ptr被廢棄好答案auto_ptr把拷貝語義改成了轉(zhuǎn)移語義復制會破壞源對象。這違反了容器對拷貝構(gòu)造的基本假設(shè)導致在算法、容器中產(chǎn)生未定義行為。unique_ptr通過禁止拷貝、支持移動解決了這個問題。Q5移動構(gòu)造函數(shù)里源對象為什么要置空好答案讓源對象析構(gòu)時不釋放已被轉(zhuǎn)移的資源同時讓源對象保持一個有效但內(nèi)容不確定的狀態(tài)。置空是常見實踐標準只要求有效具體狀態(tài)由實現(xiàn)決定。Q6返回值優(yōu)化RVO和move語義會不會沖突好答案不會。返回局部對象時編譯器優(yōu)先嘗試RVO/NRVO如果無法消除拷貝則會調(diào)用移動構(gòu)造而不是拷貝構(gòu)造。所以最好直接返回局部對象不要畫蛇添足地寫return std::move(local)那反而可能抑制RVO。7.2 一個能加分的手寫例子面試官有時候會讓你現(xiàn)場寫一個移動構(gòu)造并解釋。我的建議是不要背模板先講清楚思路先淺拷貝資源指針再置空源指針最后考慮noexcept與自賦值。比如class Widget { public: Widget(Widget other) noexcept : buffer_(other.buffer_), size_(other.size_) { other.buffer_ nullptr; other.size_ 0; } Widget operator(Widget other) noexcept { if (this ! other) { delete[] buffer_; buffer_ other.buffer_; size_ other.size_; other.buffer_ nullptr; other.size_ 0; } return *this; } private: char* buffer_; size_t size_; };一邊寫一邊說出這里的noexcept是為了適配vector擴容、自賦值判斷是為了防止先delete再取對方資源的懸空問題面試官基本就能確認你是真的用過的。7.3 我回答這類問題的個人心得面試時會觀察到兩類極端一類候選人能把標準條款背得很熟但問到具體場景就說不清該不該用move另一類只知道在代碼里到處加move原理完全講不明白。真正有經(jīng)驗的候選人會把move語義理解成所有權(quán)轉(zhuǎn)移的語法表達而不是一個性能魔法。我在面試中更看重候選人能不能說清楚什么時候不適用move——因為知道邊界比知道用法更難。如果你正在準備面試建議你找一個自己寫過的、涉及資源管理的類親手把拷貝構(gòu)造、移動構(gòu)造、賦值運算符都實現(xiàn)一遍然后放到std::vector里跑一次擴容再看看性能和調(diào)用路徑。這一套做下來你對move語義的理解會超過很多背過八股但沒動手的候選人。8. 最后分享一個小經(jīng)驗從編譯器警告到代碼評審我在實際工作中發(fā)現(xiàn)move語義最容易出的問題不是不懂原理而是寫好之后沒有人review出語義問題。這里分享一個我自己常用的檢查方法當你看到一個函數(shù)接收T參數(shù)時先問自己三個問題——第一這個參數(shù)在函數(shù)體里會不會被重新使用如果會盡量不要move它第二這個參數(shù)在函數(shù)結(jié)束時會不會析構(gòu)如果會記住置空源對象是你自己的責任第三這個函數(shù)是模板嗎如果是std::forward和std::move的選擇就變得非常關(guān)鍵。另外現(xiàn)代編譯器已經(jīng)能幫忙抓不少問題。開啟-Wmove相關(guān)的警告有的工具鏈有-Wpessimizing-move、-Wredundant-move它會提示你那些加了std::move反而變慢的寫法。比如在返回局部對象時再加std::move編譯器不僅不會更高效還可能阻斷RVO。我在一次代碼評審中就看到同事寫了return std::move(result);結(jié)果每次返回都強制走了移動構(gòu)造而原本可以直接在調(diào)用方構(gòu)造。這種細節(jié)如果不靠工具和評審短期根本看不出來。上面這些都是我踩過坑或者面試別人時反復驗證過的點。move語義本身并不難難的是你能否從知道語法進化到理解所有權(quán)——一旦你跨過這條線你會發(fā)現(xiàn)看stl源碼的效率、寫通用模板的信心、排查莫名崩潰的能力都會上一個大臺階。希望這篇整理能幫你把這條線畫得更清楚。