C/C++ 函數返回值機制深度解析：寄存器、棧、拷貝構造與生命週期

函數返回值是 C/C++ 核心機制，涉及調用約定、內存模型、對象語義。本文從汇編視角解析基本類型與類對象的返回差異，釐清作用域與生命週期誤區。

基本類型返回：寄存器傳遞

int add(int a, int b) {
    return a + b; // 結果通常放在 EAX/RAX 寄存器
}

int main() {
    int result = add(1, 2); // 從寄存器讀取賦值
}

• 無內存分配：直接使用 CPU 寄存器 (x86: EAX, x64: RAX，浮點: ST0/XMM0)
• 無生命週期問題：值即刻拷貝給接收變量，屬於右值，表達式結束即銷毀
• 調用約定影響：__cdecl/__stdcall/__fastcall 僅影響參數傳遞與棧平衡，返回值寄存器固定

類對象返回：命名返回值優化 (NRVO) 與移動語義

C++98/03：拷貝構造 + NRVO

class BigObject { /* 大數據成員 */ };

BigObject create() {
    BigObject obj; // 在調用者棧幀預留空間構造 (NRVO)
    return obj;    // 編譯器優化：直接在調用者空間構造，零拷貝
}

int main() {
    BigObject a = create(); // NRVO 生效：無拷貝，直接構造
    BigObject b = a;        // 此處觸發拷貝構造函數
}

• NRVO (Named Return Value Optimization)：編譯器將返回對象直接構造在調用者預留空間，省去臨時對象與拷貝
• 若 NRVO 失效 (如多返回路徑)，生成臨時對象 → 拷貝構造到目標 → 銷毀臨時對象

C++11 起：移動構造 + RVO + 強制移動

BigObject create() {
    BigObject obj;
    return obj; // C++11: 優先嘗試移動構造 (obj 為將亡值)
}

BigObject create2() {
    return BigObject(); // 純右值，RVO 直接構造在目標位置
}

int main() {
    BigObject a = create();  // 移動構造 (或 NRVO/RVO)
    BigObject b = std::move(a); // 顯式移動
}

• 右值引用 (T&&) 綁定臨時對象/將亡值
• 移動構造函數 掠奪資源 (指針、句柄、容器內部指針)，而非深拷貝
• RVO (Return Value Optimization)：純右值返回直接在目標構造，C++17 強制保證

生命週期與作用域真相

經典錯誤：返回局部對象引用

const BigObject& badReturn() {
    BigObject local;
    return local; // ❌ 錯誤：返回局部對象引用，函數結束 local 析構，引用懸空
}

BigObject* badReturnPtr() {
    BigObject local;
    return &local; // ❌ 同理，指針懸空
}

BigObject goodReturn() {
    return BigObject(); // ✅ 返回值語義，NRVO/RVO/移動保證安全
}

調試驗證技巧

1. 在構造/拷貝/移動/析構函數打印 this 地址，觀察對象地址變化
2. 編譯器優化等級影響：-O0 可見拷貝，-O2 多為 NRVO/RVO
3. 使用 __attribute__((noinline)) 禁止內聯觀察調用細節

理解返回值機制，是寫出高性能、無 Bug C++ 代碼的關鍵內功。