Clang++ 返回值優化（RVO/NRVO）與 C++17 拷貝消除深度解析

現象觀察

Clang++ 3.5+ 默認開啟優化，即使不指定 `-std=c++11`，也會對函數返回值進行優化。測試代碼：

class A {
public:
    A() { cout << "ctor" << endl; }
    A(const A&) { cout << "copy" << endl; }
    A& operator=(const A&) { cout << "=" << endl; return *this; }
};

A test() {
    A a;
    cout << &a << endl;
    return a;
}

int main() {
    A a2 = test();
    cout << &a2 << endl;
}

輸出：

ctor
0x7ffd4ed29998
0x7ffd4ed29998

構造函數只調用一次，地址相同 —— 發生了 NRVO (Named Return Value Optimization)。

RVO vs NRVO vs Move 語義

Clang/GCC 行為差異

• Clang：積極執行 NRVO，即使無優化旗標（`-O0`）也常啟用
• GCC：通常需要 `-O1` 或以上才啟用 NRVO
• MSVC：`/O2` 下積極優化，調試模式下不優化

C++17 強制拷貝消除規則

C++17 將 PRvalue（純右值）的語義改為「初始化器」而非「臨時對象」。對於：

T f() { return T(); }  // PRvalue 直接初始化調用者的對象
T x = f();             // 保證無拷貝/移動，x 直接由 f() 的返回表達式初始化

這不再是優化，而是語言強制規定，即使構造函數有副作用也會被消除。

最佳實踐指南 (Howard Hinnant)

1. 直接返回局部變量：`return my_local;`
2. 避免條件返回：`return cond ? a : b;` 可能抑制 NRVO
3. 不要包裝返回：`return wrapper(my_local);` 會抑制優化
4. 多個 return 語句無妨：現代編譯器均支持
5. 返回成員時需显式 move：`return std::move(local.member);`

常見陷阱：返回懸空引用

// 錯誤：返回局部對象的引用
T&& bad() { T tmp; return std::move(tmp); }  // tmp 析構後引用懸空

// 正確：返回值類型
T good() { T tmp; return tmp; }  // NRVO 或 move 構造

編譯器探測技巧

// 檢查是否發生拷貝消除
struct Tracker {
    Tracker() { puts("ctor"); }
    Tracker(const Tracker&) { puts("copy"); }
    Tracker(Tracker&&) { puts("move"); }
    ~Tracker() { puts("dtor"); }
};

Tracker test() { Tracker t; return t; }  // 觀察輸出