C++ 參數傳遞深度解析：值傳遞、指標傳遞與引用傳遞的區別與選擇

核心概念對比

關鍵差異細節

1. 空值語義

• 指標：可為 nullptr，需防禦性檢查。
• 引用：必須綁定有效物件，語義上保證非空，減少 if (p) 檢查。

2. 重新綁定能力

• 指標：可隨時指向不同物件（p = &other）。
• 引用：初始化後不可改變綁定目標，類似 const 指標。

3. 類型檢查與安全性

• 引用提供更嚴格的類型檢查，避免隱式轉換陷阱。
• 引用不可為空，消除一類空指標解引用錯誤。

4. 底層實現

引用通常以指標實現，但語義層面是別名。編譯器對引用優化更激進（如直接替換為實參地址）。

進階：引用摺疊與完美轉發

C++11 引入右值引用（T&&）與引用摺疊規則，配合 std::forward 實現完美轉發，保留實參值類別（左值/右值）與 const/volatile 資格。此為現代 C++ 泛型程式設計基石。

最佳實踐指南

1. 首選引用：非可空、需修改或避免拷貝的大型物件，用 T& 或 const T&。
2. 需表達可空：用 T* 或 std::optional<T&>（C++17）。
3. 小型物件（sizeof <= 2*pointer 且 trivial copy）：按值傳遞，簡潔且編譯器優化良好。
4. 輸入輸出參數：輸入用 const T&，輸出用 T& 或 T*（輸出參數慣例常用指標）。
5. 通用庫代碼：採用 T&& + std::forward 實現完美轉發。

常見誤區

• 「引用比指標快」——底層相同，差異在語義與優化機會。
• 「引用不能為空」——語義上正確，但惡意代碼 int& r = *reinterpret_cast<int*>(0) 仍可製造空引用，屬未定義行為。
• 「const 引用延長臨時物件生命週期」——僅限直接綁定臨時物件，不適用於函數返回的臨時物件（C++17 保證返回值優化）。

總結

理解值、指標、引用的語義差異，結合「非空保證」、「所有權表達」、「拷貝成本」三個維度選擇，能寫出更安全、高效、可維護的 C++ 代碼。