Java 參考類型變量值的本質解析：是對象還是地址？

核心疑問

Java 參考類型變量在棧中存儲什麼？是直接指向堆中對象的地址，還是對象本身？當值為 `null` 時又代表什麼含義？這是很多初學者困惑的核心概念。

準確定義

參考類型變量的值，是指向堆內存中對象的引用（引用值/句柄），而非對象本身，也非裸指針地址。

記憶體模型圖解

棧內存 (Stack)          堆內存 (Heap)
+----------------+      +------------------+
|  變量  str     | ───→ |  String 對象     |
|  值: 引用值    |      |  "Hello"         |
+----------------+      +------------------+

關鍵概念辨析

• 引用 ≠ 指針：Java 不暴露物理地址，引用是 JVM 內部管理的句柄，支持垃圾回收移動對象而不影響引用有效性。
• null 的含義：表示該引用「不指向任何對象」，而非指向一個「空對象」。嘗試通過 `null` 調用方法會拋出 `NullPointerException`。
• 基本類型 vs 參考類型：
  • 基本類型變量直接存儲字面值（如 `int a = 10`）。
  • 參考類型變量存儲引用值（如 `String s = "abc"`）。

裝箱與拆箱補充

基本類型通過裝箱轉為對應包裝類對象（如 `Integer`），此時會在堆上創建對象，變量持有其引用。拆箱則逆向提取值。這過程涉及對象創建與引用賦值，非簡單值拷貝。

實戰驗證代碼

public class RefDemo {
    public static void main(String[] args) {
        String a = "Hello";  // 引用指向字符串常量池對象
        String b = a;        // 複製引用值，a、b 指向同一對象
        b = "World";         // b 指向新對象，a 不受影響
        
        String c = null;     // c 不指向任何對象
        // c.length();       // 拋出 NPE
    }
}

總結

理解「引用即句柄」而非「地址」，是掌握 Java 內存模型、避免空指針異常、正確進行參數傳遞分析的基石。參考類型變量的值 = 對象在堆中的定位器，`null` = 無效定位器。