Java 5 自動裝箱/拆箱 (Autoboxing/Auto-Unboxing) 深度解析與效能陷阱

背景：雙類型系統的痛點

• 引用型別：類別、介面、陣列 — 繼承 Object，可放入集合。
• 基本型別：byte, short, int, long, float, double, char, boolean — 非物件，效能佳但無法泛型化。
• 舊代碼須手動 new Integer(i) (Boxing) / i.intValue() (Unboxing)，繁瑣易誤。

JDK 5 機制：編譯器自動插入轉換碼

Autoboxing 觸發時機 (基本型別 → 包裝類)

1. 指派給包裝類變數：Integer i = 31415;
2. 傳遞給包裝類參數：map.put(true, null); (Boolean)
3. 強制轉型為包裝類：System.out.println((Long) 27828L);

Auto-Unboxing 觸發時機 (包裝類 → 基本型別)

1. 指派給基本型別變數：int i = new Integer(32);
2. 傳遞給基本型別參數：frame.setVisible(new Boolean(true));
3. 強制轉型為基本型別：System.out.println((long) new Long(31415L));
4. 參與運算：Byte a=1, b=-1; System.out.println((a++) + ~b);
5. 指定陣列長度：int[] arr = new int[new Character('★')];
6. switch 判斷：switch (new Character('a')) { case 'a': ... }
7. 條件判斷：if (new Boolean(true)) ...

轉換限制與陷阱

null 拆箱風險

Integer i = null;
int j = i; // 執行期拋 NullPointerException (相當於 i.intValue())

編譯期無錯誤，務必檢查 null 再拆箱。

多載解析新規則：非裝箱版本優先

void test(int i) { System.out.println("int"); }
void test(Integer i) { System.out.println("Integer"); }
test(1);      // 輸出 int
test(new Integer(1)); // 輸出 Integer

編譯器偏好不需裝箱/拆箱的簽章，避免歧義。

值相等 vs 參考相等

JSR 201 規範：-128 ~ 127 的 Integer、Boolean、Character 由 valueOf() 快取，裝箱後 == 為 true；超出範圍或 Character 非 ASCII 則 false。比較值務必用 equals()。

效能陷阱：不可變物件導致頻繁物件創建

Integer i = 1;
i++; // 實際：i = Integer.valueOf(i.intValue() + 1); 新物件！
Integer j = i; // j 指向舊物件
System.out.println(i == j); // false

高頻寫入場景優化

• 區域變數用基本型別累加，最後再裝箱存入集合。
• 大量基本型別存集合：改用 FastUtil、Eclipse Collections、Apache Commons Primitives 等原生基本型別容器。

程式碼範例：單字計數器 (含裝箱開銷)

Map counts = new HashMap<>();
for (String w : args) {
    counts.put(w, counts.getOrDefault(w, 0) + 1); // 每次 get/put 觸發裝箱/拆箱
}

改用 IntSummaryStatistics 或原生 Map 搭配 compute() 仍難避免裝箱；極致效能需基本型別 Map。

總結

• Autoboxing/Unboxing 是編譯期語法糖，簡化雙類型系統互操作。
• 嚴格限制：無隱式向上/向下轉型組合、陣列不轉換、基本型別無方法。
• null 拆箱拋 NPE、頻繁寫入包裝類變數產生大量臨時物件 是兩大實務陷阱。
• 效能敏感路徑：優先用基本型別、原生容器庫；一般業務邏輯放心使用。