C++ 參數傳遞三大模式深度解析：值傳遞、指標傳遞與引用傳遞的語意、效能與最佳實踐

參數傳遞是函數介面設計的核心，直接影響程式的正確性、效能與可維護性。C++ 提供值傳遞、指標傳遞、引用傳遞三種模式，各有其語意契約與適用場景。本文深度剖析三者機制差異、效能特性、常見誤區與現代 C++ 選擇指南。

一、引用機制基石：別名而非指標

定義與特性

int m = 10;
int& n = m; // n 是 m 的別名 (alias)，非拷貝、非指標
n = 20;     // 直接修改 m，m 變為 20

三大鐵律

1. 宣告即初始化：int& r; 編譯錯誤，必須 int& r = obj;。
2. 無空引用：引用必須綁定合法物件，不存在「空引用」概念。
3. 綁定不可變更：初始化後永遠指向同一物件，r = other 是賦值操作，非重新綁定。

引用 vs 指標

二、三大參數傳遞模式實戰對比

1. 值傳遞 — 複製語意

void Func1(int x) { x = x + 10; } // 操作副本

int n = 0;
Func1(n); // n 仍為 0

• 機制：呼叫端建構參數副本 (呼叫複製/移動建構函數)。
• 語意：函數擁有參數獨立所有權，修改不影響呼叫端。
• 適用：基本型別、小型可複製型別 (如 std::pair)、需修改副本的演算法 (如排序)。
• 代價：大型物件複製開銷大 (記憶體配置、深度複製)。

2. 指標傳遞 — 位址語意

void Func2(int* x) { *x = *x + 10; } // 解參考修改原物件

int n = 0;
Func2(&n); // n 變為 10

• 機制：傳遞物件位址 (8 bytes)，函數透過解參考存取原物件。
• 語意：可選參數 (可傳 nullptr)、輸出參數、非擁有式觀察、C API 互操作。
• 風險：空指標解參考崩潰、懸空指標、所有權模糊 (誰負責 delete?)。

3. 引用傳遞 — 別名語意

void Func3(int& x) { x = x + 10; } // 直接操作原物件

int n = 0;
Func3(n); // n 變為 10

• 機制：參數綁定為實際引數別名，零開銷 (編譯器通常實作為指標但語法透明)。
• 語意：輸入輸出參數、避免大型物件複製、運算子多載 (如 operator+=)、串流操作。
• 限制：不能綁定暫時物件 (除非 const T&)、不能為空。

三、const 引用：唯讀避免複製的黃金標準

void Process(const BigObject& obj) { // 唯讀存取，避免複製
    // obj 只能呼叫 const 成員函數
}

• 接受左值、右值、字面值、臨時物件 (延長生命週期)。
• 現代 C++ **預設參數傳遞首選 const T&** (大型物件)。

四、現代 C++ 參數傳遞決策矩陣 (C++11/17/20)

五、進階主題：回傳值優化與參數傳遞協同

RVO / NRVO (Return Value Optimization)

Big CreateBig() {
    Big b; // 建構
    return b; // NRVO: 直接在呼叫端儲存空間建構，零複製/移動
}

Big b = CreateBig(); // 無建構/移動開銷

Sink 參數模式 (C++11/17 最佳實踐)

// 消耗參數並取得所有權
void Sink(Big b) { // 值傳遞
    // 使用 b...
} // 離開作用域自動析構

Big obj;
Sink(std::move(obj)); // 明確移動語意，obj 狀態轉為 valid but unspecified

完美轉發工廠函數

template
std::unique_ptr Make(Args&&... args) {
    return std::make_unique(std::forward(args)...);
}

六、常見錯誤與防護

❌ 錯誤 1：回傳區域物件引用/指標

int& Bad() { int x = 10; return x; } // UB: 回傳區域變數引用
// 正確：回傳值、static 物件、或動態配置 (智慧指標)

❌ 錯誤 2：非 const 引用綁定暫時物件

void Modify(int& x);
Modify(10); // 編譯錯誤：暫時物件不能綁定非 const 引用
// 正確：const int& 或 值傳遞

❌ 錯誤 3：指標參數未檢查 nullptr

void Use(int* p) { std::cout << *p; } // 危險
// 正確：assert(p); 或 使用 gsl::not_null (Guideline Support Library)

七、總結：選擇原則

1. 預設用值傳遞：基本型別、小型型別、需副本的演算法。
2. 大型物件唯讀用 const T&：避免複製、接受臨時物件。
3. 需修改原物件用 T&：明確 in-out 語意。
4. 可選/輸出用 T* 或 std::optional：nullptr 表達無值。
5. 轉移所有權用值傳遞 + std::move：Sink 參數模式。
6. 模板通用轉發用 T&&：完美轉發保持值類別。
7. 避免裸指標擁有權：用 unique_ptr/shared_ptr 管理動態記憶體。

掌握參數傳遞語意，不僅能寫出高效程式碼，更能設計出意圖明確、難以誤用的 API 介面——這正是專業 C++ 開發者的核心競爭力。