C++ 程序員如何向 Java 工程師解釋「引用」與「指針」的區別

Java 只有引用傳遞（本質是指針值傳遞），沒有 C++ 情意的「引用」與「指針」雙重機制。本文從 Java 開發者視角，用對比方式梳理 C++ 引用的本質與差異。

一、核心差異速查表

二、代碼對比演示

1. 重新綁定

// 指針
int x=5, y=6;
int* p = &x; p = &y; *p = 10; // y 變 10，x 不變

// 引用
int& r = x; // r = y; // 編譯錯誤：不能重新綁定
// r = y; // 這是賦值操作，將 y 的值賦給 x

2. 空值

int* p = nullptr; // 合法
// int& r = nullptr; // 編譯錯誤

3. 取地址

int x = 0;
int& r = x;
int* p = &x;
int* p2 = &r; // p == p2，引用無獨立地址

4. 多級間接

int x=0, y=0;
int* p = &x; int* q = &y;
int** pp = &p; pp = &q; **pp = 4; // y=4, x=0

5. const 引用綁定字面量

const int& r = 12; // 合法，延長臨時量壽命
// int* p = &12;    // 非法

三、工程實踐指南

• 函數參數/返回值：優先用引用（const T& 輸入，T& 輸出），接口自文檔化，避免空指針檢查。
• 演算法/數據結構內部：用指針（鏈表節點、樹節點、手動內存管理），需多級間接或可為空時必須用指針。
• 不要返回局部變量引用：懸空引用導致 UB，同樣不要返回局部指針。

四、給 Java 開發者的類比

C++ 引用 ≈ Java final 變量（初始化後不可指向別的對象），但 C++ 引用語法上表現得像直接操作對象本身（無 ./-> 區分）。
C++ 指針 ≈ Java 普通變量（可重新賦值、可為 null），但 C++ 指針需手動解引用（*p/p->）且涉及內存管理責任。