C++ 參考完整指南：語法、應用場景與最佳實踐

參考是變數的別名，對參考的操作等同於直接操作目標變數。宣告語法：型別 &參考名 = 目標變數;

基礎語法規則

int a;
int &ra = a; // ra 是 a 的別名
ra = 1;      // 等同於 a = 1

• & 在此非取址運算子，而是宣告標識
• 必須在宣告時初始化，後續不可改綁定其他變數
• 參考本身不佔儲存空間，&ra == &a
• 不可建立陣列的參考

核心應用場景

1. 函數參數傳遞

取代 C 語言指標傳遞，避免大型物件拷貝開銷，語法更清晰。

void Swap(int &a, int &b) {
    int tmp = a; a = b; b = tmp;
}
int main() {
    int x = 10, y = 20;
    Swap(x, y); // 直接傳變數，無需取址
}

優點：

• 無副本產生，效率高
• 語意清晰，呼叫端無需 &
• 配合 const 可防止誤修改（const int &ref）

2. 常數參考

void Print(const string &s); // 保護資料不被修改
Print("hello"); // 合法：臨時物件可綁定到 const 參考
Print(string("world")); // 合法

非 const 參考無法綁定臨時物件，這是 C++ 型別安全機制。

3. 函數回傳參考

float &GetValue(); // 宣告回傳參考

優點：避免回傳值拷貝。但必須遵守鐵律：

1. 絕不回傳區域變數參考：函數結束區域變數銷毀，參考成懸空
2. 絕不回傳 new 記憶體參考：易造成記憶體洩漏
3. 可回傳靜態/全域變數、類別成員參考（建議加 const）

4. 運算子多載回傳參考

串流運算子 <<、>>、指派運算子 = 必須回傳參考以支援鏈式操作：

ostream& operator<<(ostream& os, const MyClass& obj) {
    os << obj.data;
    return os; // 回傳參考支援 cout << a << b << c;
}

MyClass& MyClass::operator=(const MyClass& rhs) {
    data = rhs.data;
    return *this; // 回傳 *this 參考支援 a = b = c;
}

5. 多態性

基類參考可綁定派生類物件，配合虛函數實現多態：

class Base { virtual void Foo() {} };
class Derived : public Base { void Foo() override {} };

Derived d;
Base &ref = d; // 基類參考指向派生類
ref.Foo();     // 呼叫 Derived::Foo()

參考 vs 指標

最佳實踐總結

• 函數參數優先使用 const T&，需修改才用 T&
• 拷貝建構函數、指派運算子參數必須為 const T&
• 運算子 <<、>>、= 回傳 T&
• 算術運算子 + - * / 回傳 T（由值），絕不回傳參考
• 避免為了「取別名」而使用參考，核心價值在參數傳遞與運算子多載