C++ 參數傳遞：引用 vs 指針在 swap 函數中的本質區別

代碼對比

引用版（正確交換）

void swap(char &a, char &b) {
    a = a ^ b;
    b = a ^ b;
    a = a ^ b;
}

指針版（錯誤：交換的是局部指針變量）

void swap(char *a, char *b) {  // 參數是指針的副本
    a = a ^ b;  // 錯誤：指針地址異或，非解引用
    b = a ^ b;
    a = a ^ b;
}

指針版正確寫法

void swap(char *a, char *b) {
    *a = *a ^ *b;  // 解引用操作數值
    *b = *a ^ *b;
    *a = *a ^ *b;
}
// 調用：swap(&x, &y);

核心區別深度解析

經典錯誤演示

int x = 10, y = 20;
int *p = &x, *q = &y;

p = q;        // p 指向 y，x 不變
*p = *q;      // x 變為 20，y 不變

int &r = x, &s = y;
r = s;        // x 變為 20，r 仍綁定 x
// 無法讓 r 綁定 y

最佳實踐建議

1. 優先用引用：語義清晰（輸入/輸出參數）、無空指針風險、調用語法簡潔
2. 必須用指針時：可為空、需重新綁定、C 接口兼容、數組衰減
3. const 引用：大對象只讀傳遞，避免拷貝，void func(const BigObj &obj)
4. 避免指針運算邏輯錯誤：牢記 p = q 改變指向，*p = *q 改變值

引用是 C++ 引入的「別名機制」，本質是編譯器層面的自動解引用指針，但語義限制更嚴格，能防止大類指針誤用。理解兩者在參數傳遞中的異同，是寫出正確、安全 C++ 代碼的基礎。