C++ 返回值優化（RVO）深度解析與編譯器行為差異

什麼是返回值優化（RVO）？

返回值優化（Return Value Optimization，RVO）是 C++ 編譯器的一項重要優化技術，允許編譯器省略物件的複製建構與銷毀，直接在呼叫端的儲存空間建構回傳物件。這不僅提升效能，對於管理資源（如智慧指標的引用計數）的類別更是關鍵。

實測：g++ 與 VS2010 的差異

以簡單的 Dog 類別為例，包含建構函式、複製建構函式與解構函式的輸出追蹤：

Dog getDog() {
    Dog d = Dog();
    return d;
}
int main() {
    Dog d = getDog();
    return 0;
}

• g++ (預設開啟 RVO)：僅輸出一次建構與一次解構，完全省略複製。
• VS2010 (預設開啟 RVO)：輸出一次建構、一次複製建構、兩次解構，仍有一次複製動作。
• g++ 加上 -fno-elide-constructors 關閉 RVO：出現三次複製建構與四次解構，效能大幅下降。

RVO 的演進與原理

Walter Bright 在 Zortech C++ 中首創「具名返回值優化」（NRVO），將回傳值的建構直接放在呼叫端的記憶體位置，等同於將函式簽名改為 void getDog(Dog* out)。現代編譯器（GCC、Clang、MSVC）皆支援 RVO 與 NRVO，但優化觸發條件略有不同。

對智慧指標的影響

WebKit 等大型專案大量使用智慧指標（如 RefPtr），頻繁的複製建構會導致引用計數的原子增減，嚴重影響效能。RVO 能有效避免不必要的複製，是高效能 C++ 程式碼的基石之一。

建議

1. 優先依賴編譯器的 RVO/NRVO，編寫簡潔的回傳值風格程式碼。
2. 若需支援舊版編譯器，可考慮傳出參數或移動語義（C++11 起）。
3. 關鍵效能路徑請實測編譯器輸出的組合語言，確認優化生效。