深入理解 Java 包裝類的不可變特性與記憶體模型

前言：為什麼包裝類被稱為「不可變類」？

在 Java 開發中，我們常聽到「包裝類是不可變類」這句話。對於初學者來說，這往往令人困惑：明明我可以寫 Integer i = 10; i = 20;，值不是變了嗎？這篇文章將從記憶體分配、引用機制與類設計三個維度，徹底釐清這個核心概念。

核心概念：對象 vs 引用

首先必須區分「對象本身」與「指向對象的引用」。

• 對象（實例）：存放在堆內存中，包含具體的數據值（如數字 21）。
• 引用變量：存放在棧內存中，保存的是對象在堆中的地址。

當我們執行 Integer it = 21; 時，發生了兩件事：

1. 在堆中創建一個值為 21 的 Integer 對象。
2. 在棧中創建引用變量 it，指向該對象。

「不可變」的真實含義

當代碼執行到 it = 22; 時：

1. JVM 在堆中新建一個值為 22 的 Integer 對象。
2. 棧中的引用 it 斷開與舊對象（21）的連接，轉而指向新對象（22）。
3. 原本的 21 對象若無其他引用指向，將等待垃圾回收器（GC）回收。

關鍵點： 值為 21 的對象從未被修改過，修改的是引用 it 指向的目標。這就像「人（引用）換了房子（對象）住，但房子本身沒變」。

記憶體分配圏解

// 初始化
Integer it = 21;
// 棧: it  --------------------> 堆: [Integer Object: value=21]

// 重新賦值
it = 22;
// 棧: it  --------------------> 堆: [Integer Object: value=22]
//                      堆: [Integer Object: value=21] (無引用，待 GC)

為什麼設計為不可變？

Integer 類內部沒有任何 setValue() 之類的方法來修改內部的 value 字段（該字段被 final 修飾）。這帶來了重要優勢：

• 線程安全：不可變對象天然線程安全，無需同步即可共享。
• 緩存友好：JVM 可緩存常用數值（-128 到 127），自動複用對象（Integer.valueOf() 機制）。
• 哈希鍵可靠：可安全用作 HashMap 鍵或 HashSet 元素，避免值變更導致找不到對象。

常見誤區澄清

誤區：int a = 21; 也是引用指向堆？

事實：基本類型 int 直接在棧中存儲數值 21，無堆對象、無引用概念。自動裝箱才會創建 Integer 對象。

總結

「包裝類不可變」意味著：一個包裝類對象一旦創建，其封裝的數值永遠不能改變。 變量賦值新值實際上是創建新對象並讓引用指向它。理解「棧存引用，堆存對象」的記憶體模型，是掌握 Java 核心機制的關鍵一步。