您现在的位置：程式碼之家 >> 編程語言 > >> C語言 >> C++ >> 關於C++

C++ 引用與指標的核心差異深度解析

編輯：關於C++

引言

在 C++ 程式設計中，引用與指標是兩個基礎卻又容易混淆的概念。雖然它們都涉及記憶體位址的操作，但在語法規則、語義限制與應用場景上卻有本質區別。本文系統整理兩者的異同點，並結合經典著作《More Effective C++》與《高品質 C++ 程式設計》的觀點，幫助開發者建立正確的選擇準則。

核心相同點

兩者本質上都是「地址的概念」：指標儲存目標記憶體的位址，引用則是目標記憶體的別名。在底層實作上，引用通常由編譯器以指標機制實現。

關鍵差異總覽

1. 實體性質不同

指標是獨立的物件，佔用記憶體空間（通常 4/8 位元組），可被複製、重新指向；引用不是物件，僅是現有變數的別名，不佔用額外儲存空間（作為類別成員時除外）。

2. 解引用語法

指標需顯式解引用（*ptr 或 ptr->member），引用則直接使用變數名，語法與操作原物件完全一致。

3. 初始化與重新綁定

引用必須在定義時初始化，且「從一而終」，終生綁定同一物件。
指標可延遲初始化，隨時改變指向目標，甚至設為 nullptr。

4. `const` 語義差異

指標有「頂層 const」（指標本身不可變）與「底層 const」（指向的值不可變）之分；引用本身無 const，const T& 僅表示透過此引用不可修改綁定物件。

5. 空值合法性

指標可為空（nullptr），引用必須綁定合法物件，不存在「空引用」。警告：透過解引用空指標初始化引用（char& r = *pc; // pc 為 nullptr）屬於未定義行為，極其危險。

6. `sizeof` 與 `typeid` 行為

sizeof(ref) 回傳被引用物件大小，sizeof(ptr) 回傳指標本身大小。
typeid(T) == typeid(T&) 恆為真，但引用作為類別成員時，實際佔用空間等同指標（標準未強制規定）。

7. 遞增運算語義

指標遞增依元素大小位移位址；引用遞增直接作用於被引用物件本身。

函式參數傳遞的三種模式對比

模式	語法	呼叫端	函式內部	效果
值傳遞	`void f(int x)`	`f(n)`	操作副本	不影響原物件
指標傳遞	`void f(int* x)`	`f(&n)`	解引用操作	可修改原物件，需檢查空值
引用傳遞	`void f(int& x)`	`f(n)`	直接操作	語法簡潔，必須綁定有效物件

引用傳遞結合了「指標的修改能力」與「值傳遞的書寫簡潔性」，是 C++ 推薦的預設參數傳遞方式。

選擇準則：何時用指標，何時用引用

核心原則：盡可能使用引用，不得已時才用指標。

使用引用當：變數必須綁定有效物件、初始化後不需改變綁對象、運算子多載（如 operator[] 返回可賦值的左值）。
使用指標當：需表達「無物件」狀態（可設 nullptr）、需動態改變指向對象、實作底層資料結構（鏈結串列、樹）、跨越 C/C++ 介面、需手動管理記憶體生命週期。

進階觀點：介面設計與實作細節

Scott Meyers 指出：引用適合出現在類別的 公有介面（表達「別名」語義），指標多用於 私有實作（表達「指向」語義）。例如 std::vector::operator[] 回傳引用，使 v[5] = 10 符合直覺；若回傳指標則需寫成 *v[5] = 10，破壞容器語義。