C++ 返回值優化 (RVO/NRVO) 深度解析：消除臨時對象提升效能

前言

C++ 按值返回函數會產生臨時對象，導致額外建構/拷貝/解構開銷。返回值優化 (RVO) 與具名返回值優化 (NRVO) 是編譯器消除這些臨時對象的關鍵技術。本文透過 Complex 類別實例，詳細追蹤編譯器轉換過程、臨時對象產生原因、RVO/NRVO 條件與寫法建議。

一、問題場景：按值返回的隱藏開銷

class Complex {
    double real, imag;
public:
    Complex(double r=0, double i=0) : real(r), imag(i) { cout << "建構"; }
    Complex(const Complex& c) : real(c.real), imag(c.imag) { cout << "拷貝建構"; }
    Complex& operator=(const Complex& c) { real=c.real; imag=c.imag; cout << "指派"; return *this; }
    ~Complex() { cout << "解構"; }
};

Complex operator+(const Complex& a, const Complex& b) {
    Complex retVal(a.real+b.real, a.imag+b.imag);
    return retVal;  // 可能產生臨時對象
}

Complex a(1,1), b(2,2), c;
c = a + b;

二、編譯器內部轉換 (無優化時)

編譯器將按值返回轉換為「輸出參數」模式：

// 原始
Complex operator+(const Complex& a, const Complex& b);

// 編譯器轉換為
void Complex_Add(Complex& __tempResult, const Complex& a, const Complex& b);

呼叫端 c = a + b 展開為：

Complex __tempResult;
Complex_Add(__tempResult, a, b);
c = __tempResult;  // 指派操作

臨時對象產生點

1. 函數內部：Complex retVal(...) → 1 次建構
2. 返回時：__tempResult.Complex::Complex(retVal) → 1 次拷貝建構
3. 銷毀：retVal.~Complex() → 1 次解構
4. 指派：c.operator=(__tempResult) → 1 次指派
5. 清理：__tempResult.~Complex() → 1 次解構

總計：3 建構 + 1 拷貝建構 + 1 指派 + 4 解構 = 嚴重開銷

三、RVO (Return Value Optimization) 優化

編譯器直接使用呼叫端儲存空間

void Complex_Add(Complex& __tempResult, const Complex& a, const Complex& b) {
    __tempResult.Complex::Complex();           // 直接在 __tempResult 建構
    __tempResult.real = a.real + b.real;
    __tempResult.imag = a.imag + b.imag;
    // 無 retVal，無拷貝，無額外解構
}

效果：消除函數內部臨時對象 retVal 及其拷貝/解構。

確保 RVO 生效的寫法

// 具名變數 (NRVO) - 視編譯器支援度
Complex operator+(const Complex& a, const Complex& b) {
    Complex retVal(a.real+b.real, a.imag+b.imag);
    return retVal;
}

// 未命名臨時對象 (RVO) - 較通用支援
Complex operator+(const Complex& a, const Complex& b) {
    return Complex(a.real+b.real, a.imag+b.imag);  // 直接建構於呼叫端空間
}

現代編譯器 (GCC, Clang, MSVC) 對兩種形式支援良好，但未命名臨時對象形式最保險。

四、呼叫端優化：消除 __tempResult

即使函數內部 RVO 成功，呼叫端 c = a + b 仍產生 __tempResult 並觸發指派。

原因

c 已存在 (預設建構)，指派運算子要求右值來源，故需臨時對象。

解決：直接初始化而非指派

// 指派版本 (產生臨時對象)
Complex a(1,1), b(2,2), c;
c = a + b;

// 直接初始化版本 (無臨時對象，C++17 強制 RVO)
Complex a(1,1), b(2,2);
Complex c = a + b;  // 或 Complex c(a + b);

結果對比

五、C++17 強制複製省略

C++17 標準化 RVO/NRVO 為強制行為 (非優化)：

• T x = T(args); 直接在 x 建構，無臨時對象
• return expr; 其中 expr 為純右值，直接在呼叫端空間建構
• 即使建構/解構有副作用 (如 cout)，也必須省略

六、最佳實務總結

1. 函數返回：優先 return Type(args); 未命名臨時對象形式
2. 呼叫端：優先直接初始化 Type x = func(); 而非 x = func();
3. 移動語意：C++11 起定義移動建構/指派，若 RVO 失效仍有高效備援
4. 避免過度優化：現代編譯器極其強大，清晰代碼優於微優化技巧
5. 驗證方法：觀察建構/解構輸出、檢視組合語言、使用 -fno-elide-constructors 關閉優化對比

七、總結

RVO/NRVO 是 C++ 編譯器最重要的優化之一，消除按值返回的臨時對象開銷。理解其觸發條件、寫法配合與 C++17 強制複製省略，能寫出兼具表達力與高效能的 C++ 代碼。