More Effective C++ 條款20：協助完成返回值優化（Facilitate the Return Value Optimization）

---

核心思想：返回值優化（RVO）是編譯器消除函數返回時臨時對象的一種重要優化技術。通過編寫適合RVO的代碼，我們可以協助編譯器應用這一優化，避免不必要的拷貝和移動操作，從而提升程序性能。

🚀 1. 問題本質分析

1.1 函數返回值的開銷：

• 傳統方式：函數返回對象時，可能涉及臨時對象的創建、拷貝或移動
• 優化目標：避免這些額外的操作，直接在調用處構造返回值

1.2 返回值優化的原理：

// ? 可能產生臨時對象的返回方式
BigObject createObject() {BigObject obj;// ... 操作objreturn obj;  // 傳統上可能產生拷貝/移動
}// ? 編譯器優化后（RVO）
void createObject(BigObject* result) {// 直接在result指向的地址構造對象new (result) BigObject();// ... 操作*result
}// 調用處
BigObject obj = createObject();  // 實際上可能被優化為：
// BigObject obj;  // 在obj的地址上直接構造
// createObject(&obj);

---

📦 2. 問題深度解析

2.1 RVO和NRVO的類型：

// RVO (Return Value Optimization) - 返回無名臨時對象
BigObject createRVO() {return BigObject();  // 直接返回臨時對象，容易優化
}// NRVO (Named Return Value Optimization) - 返回具名對象
BigObject createNRVO() {BigObject obj;// ... 操作objreturn obj;  // 返回具名對象，較復雜但現代編譯器支持
}// 無法優化的情況
BigObject createNoOptimization(bool flag) {BigObject obj1, obj2;if (flag) {return obj1;  // 多個返回路徑，可能無法優化} else {return obj2;  // 多個返回路徑，可能無法優化}
}

2.2 現代C++中的返回值處理：

// C++11前的做法：依賴拷貝構造函數
class OldStyle {
public:OldStyle(const OldStyle& other);  // 拷貝構造函數
};// C++11后的做法：支持移動語義
class ModernStyle {
public:ModernStyle(ModernStyle&& other) noexcept;  // 移動構造函數
};ModernStyle createModern() {ModernStyle obj;return obj;  // 可能使用移動語義（如果NRVO不適用）
}// C++17后的保證：強制拷貝消除
ModernStyle createGuaranteed() {return ModernStyle();  // C++17保證無臨時對象
}

2.3 阻礙RVO的因素：

// 因素1：多個返回路徑
BigObject createMultiplePaths(bool flag) {if (flag) {BigObject obj1;return obj1;  // 一個返回路徑} else {BigObject obj2;return obj2;  // 另一個返回路徑，可能阻礙NRVO}
}// 因素2：返回函數參數
BigObject processAndReturn(BigObject input) {// 處理inputreturn input;  // 返回參數，可能無法優化
}// 因素3：返回成員變量或全局變量
BigObject globalObj;
BigObject returnGlobal() {return globalObj;  // 返回非局部變量，無法優化
}// 因素4：返回表達式的結果
BigObject returnExpression() {BigObject obj1, obj2;return condition ? obj1 : obj2;  // 條件表達式，可能無法優化
}

---

?? 3. 解決方案與最佳實踐

3.1 編寫適合RVO的代碼：

// ? 單一返回路徑
BigObject createSingleReturn() {BigObject result;  // 具名對象// ... 所有操作都作用于resultreturn result;  // 單一返回，便于NRVO
}// ? 返回匿名臨時對象
BigObject createAnonymous() {return BigObject(/* 參數 */);  // 直接返回臨時對象，便于RVO
}// ? 使用工廠函數模式
class Factory {
public:static BigObject create() {return BigObject();  // 通常可優化}
};// ? 避免返回函數參數
BigObject processAndReturn(const BigObject& input) {BigObject result = input;  // 顯式拷貝（如果需要）// 處理resultreturn result;  // 可能適用NRVO
}// ? 使用移動語義作為備選
BigObject createWithMove() {BigObject obj;// ... 操作objreturn std::move(obj);  // 如果NRVO不適用，使用移動語義// 注意：在某些情況下，顯式move可能阻止RVO
}

3.2 理解編譯器行為：

// 測試編譯器RVO支持的方法
class RvoTest {
public:RvoTest() { std::cout << "Constructor\n"; }RvoTest(const RvoTest&) { std::cout << "Copy Constructor\n"; }RvoTest(RvoTest&&) { std::cout << "Move Constructor\n"; }~RvoTest() { std::cout << "Destructor\n"; }
};RvoTest testRVO() {return RvoTest();  // 應該只調用一次構造函數（無拷貝/移動）
}RvoTest testNRVO() {RvoTest obj;return obj;  // 應該只調用一次構造函數（無拷貝/移動）
}void checkRVO() {std::cout << "Testing RVO:\n";RvoTest obj1 = testRVO();std::cout << "\nTesting NRVO:\n";RvoTest obj2 = testNRVO();
}

3.3 現代C++中的最佳實踐：

// ? 依賴C++17的強制拷貝消除
BigObject createGuaranteedElision() {return BigObject();  // C++17保證無拷貝/移動
}// ? 使用自動類型推導
auto createWithAuto() {return BigObject();  // 返回類型推導，不影響優化
}// ? 配合移動語義
class Optimized {
public:Optimized() = default;Optimized(const Optimized&) {std::cout << "Copy (expensive)\n";}Optimized(Optimized&&) noexcept {std::cout << "Move (cheap)\n";}
};Optimized createOptimized() {Optimized obj;// 如果NRVO不適用，則使用移動語義return obj;
}// ? 使用編譯器提示（可能有限作用）
#ifdef __GNUC__
#define OPTIMIZE_RVO __attribute__((optimize("no-elide-constructors")))
#else
#define OPTIMIZE_RVO
#endifOptimized createWithHint() OPTIMIZE_RVO {return Optimized();
}

3.4 處理無法優化的情況：

// 當無法避免多個返回路徑時
BigObject createMultiplePathsOptimized(bool flag) {if (flag) {BigObject obj;// ... 設置objreturn obj;  // 一個返回路徑} else {// 使用移動構造或直接返回臨時對象return BigObject(/* 參數 */);  // 直接返回臨時對象}
}// 使用輸出參數替代返回值（傳統方式）
void createByOutputParameter(BigObject* out) {// 在out指向的位置直接構造new (out) BigObject();// ... 操作*out
}// 使用optional或variant處理復雜情況
#include <optional>
std::optional<BigObject> createOptional(bool flag) {if (flag) {BigObject obj;return obj;  // 可能應用NRVO} else {return std::nullopt;  // 無對象返回}
}

---

💡 關鍵實踐原則

1. 優先編寫適合RVO的代碼
   遵循簡單返回模式：

   // 好：單一返回路徑，返回局部對象
   BigObject goodPractice() {BigObject result;// 所有操作...return result;
   }// 更好：返回匿名臨時對象
   BigObject betterPractice() {return BigObject(/* 參數 */);
   }// 避免：多個返回路徑
   BigObject badPractice(bool flag) {if (flag) {BigObject obj1;return obj1;} else {BigObject obj2;return obj2;}
   }
   

2. 理解并測試編譯器優化能力
   通過實際測試了解編譯器的行為：

   void testCompilerOptimizations() {// 測試不同編譯器和設置下的RVO/NRVOauto obj1 = createRVO();      // 應該無拷貝auto obj2 = createNRVO();     // 應該無拷貝auto obj3 = createComplex();  // 測試復雜情況
   }
   

3. 使用現代C++特性作為保障
   利用C++11/14/17的新特性：

   // 使用移動語義作為NRVO的備選
   BigObject createWithFallback() {BigObject obj;return obj;  // 首先嘗試NRVO，否則使用移動語義
   }// 依賴C++17的強制拷貝消除
   BigObject createCpp17() {return BigObject();  // 保證無臨時對象
   }// 使用noexcept移動構造函數
   class NoExceptMove {
   public:NoExceptMove(NoExceptMove&&) noexcept = default;
   };
   

現代C++中的RVO工具：

// 1. 保證拷貝消除 (C++17)
BigObject obj = BigObject(BigObject());  // 無臨時對象// 2. 移動語義 (C++11)
BigObject create() {BigObject obj;return obj;  // 使用移動如果NRVO不適用
}// 3. 自動類型推導 (C++14)
auto create() {return BigObject();  // 類型推導不影響優化
}// 4. 委托構造函數 (可能影響但一般可優化)
class Delegating {
public:Delegating() : Delegating(0) {}Delegating(int value) : value_(value) {}
private:int value_;
};

代碼審查要點：

1. 檢查函數是否以適合RVO/NRVO的方式返回局部對象
2. 確認移動構造函數是否正確實現（noexcept，正確交換資源）
3. 檢查是否存在多個返回路徑阻礙優化
4. 確認是否可以使用emplace操作或工廠函數避免臨時對象
5. 檢查C++17的強制拷貝消除是否可用
6. 測試編譯器在實際平臺上的優化行為

總結：
返回值優化是C++編譯器的一項重要優化技術，可以消除函數返回時產生的臨時對象，從而提升性能。通過編寫適合RVO的代碼（如單一返回路徑、返回匿名臨時對象），我們可以協助編譯器應用這一優化。

現代C++提供了多種工具來支持返回值優化，包括移動語義（作為NRVO不適用時的備選）、C++17的強制拷貝消除保證，以及自動類型推導等。理解編譯器的優化能力和限制，編寫編譯器友好的代碼，是優化返回值處理的關鍵。

在代碼審查時，應關注函數的返回方式，確保它們適合RVO/NRVO優化。對于無法避免多個返回路徑的復雜情況，可以考慮使用移動語義、輸出參數或optional等替代方案。最終目標是減少不必要的拷貝和移動操作，提升代碼效率，同時保持代碼的清晰性和可維護性。