Java 5 自動裝箱/拆箱機制深度解析：原始類型與包裝類無縫轉換

前言：語法糖背後的編譯器魔法

Java 5 引入自動裝箱與自動拆箱，消除了原始類型與對應包裝類之間手動轉換的樣板代碼。這不是 JVM 新指令，而是編譯器在編譯期自動插入轉換代碼的語法糖。理解其運作機制，能避免效能陷阱、空指針風險與語義誤解。

核心概念

實戰範例

public class BoxingDemo {
    public static void main(String[] args) {
        Integer wrapper = new Integer(8);
        int primitive = 9;

        foo(primitive);  // 自動裝箱
        bar(wrapper);    // 自動拆箱
    }

    static void foo(Integer val) { System.out.println("foo: " + val); }
    static void bar(int val) { System.out.println("bar: " + val); }
}

反編譯驗證：javap -c 輸出解讀

public static void main(java.lang.String[]);
  Code:
     0: new           #2  // class java/lang/Integer
     3: dup
     4: bipush        8
     6: invokespecial #3  // Method "":(I)V
     9: astore_1
    10: bipush        9
    12: istore_2
    13: iload_2
    14: invokestatic  #4  // Method java/lang/Integer.valueOf:(I)Ljava/lang/Integer;  ← 自動裝箱
    17: invokestatic  #5  // Method foo:(Ljava/lang/Integer;)V
    20: aload_1
    21: invokevirtual #6  // Method java/lang/Integer.intValue:()I                  ← 自動拆箱
    24: invokestatic  #7  // Method bar:(I)V
    27: return

• #14 invokestatic Integer.valueOf：編譯器將 foo(primitive) 轉為 foo(Integer.valueOf(primitive))
• #21 invokevirtual Integer.intValue：編譯器將 bar(wrapper) 轉為 bar(wrapper.intValue())

關鍵細節與陷阱

1. valueOf() 快取機制

• Integer.valueOf(int) 對 -128 ~ 127 範圍內的整數回傳快取實例
• Integer a = 100; Integer b = 100; a == b → true（同一快取物件）
• Integer c = 200; Integer d = 200; c == d → false（新建物件）
• 結論：包裝類比較值必須用 .equals()，不可用 ==

2. NullPointerException 風險

Integer wrapper = null;
int primitive = wrapper; // 執行時拋出 NPE（編譯通過，運行炸裂）

• 自動拆箱隱含 wrapper.intValue()，若 wrapper 為 null 即拋出 NPE
• 集合運算、三元運算子、流式 API 中隱性拆箱同樣風險

3. 效能開銷

• 頻繁裝箱/拆箱會產生大量短命物件，增加 GC 壓力
• 熱點迴圈、大量數值運算建議維持原始類型
• JVM JIT 編譯器可執行逃逸分析與標量替換，部分情況優化掉裝箱，但不可依賴

4. 重載解析優先序

void m(int i) { }
void m(Integer i) { }

m(10);      // 呼叫 m(int) —— 原始類型優先
m(new Integer(10)); // 呼叫 m(Integer)

• 編譯器優先匹配不需轉換的簽名
• 若同時有 long 和 Integer 重載，int 會擴展為 long 而非裝箱為 Integer（擴展優於裝箱）

5. 三元運算子類型統一

boolean flag = true;
Integer a = 1;
int b = 2;
Number result = flag ? a : b; // 結果類型為 int（拆箱後擴展為 Number）
// 實際編譯為：flag ? a.intValue() : b → int → 裝箱為 Integer → Number

• 三元運算子要求二、三操作數類型兼容，會觸發拆箱/裝箱/擴展

最佳實踐清單

1. 集合、泛型、反射：必須用包裝類，接受自動裝箱便利
2. 數值運算、高頻迴圈：堅持原始類型，避免物件建立
3. 比較包裝類值：永遠用 .equals()
4. 可為 null 的數值：用包裝類，但拆箱前檢查 null
5. API 設計：公開介面優先用原始類型（int），內部實作視情況用包裝類表達「可缺失」
6. 編譯參數：javac -source 1.5 -target 1.5 確保啟用特性

結語

自動裝箱/拆箱是 Java 5 最貼近開發日常的語法糖，極大提升了集合與泛型操作的流暢度。但其本質是編譯期插入 valueOf()/xxxValue() 呼叫，帶來快取語義、NPE 風險、效能開銷與重載解析細節。專業開發者應享受便利、理解代價、規避陷阱，在正確場合做正確選擇。