---

引言

Java 中的**裝箱（Boxing）和拆箱（Unboxing）**是自動類型轉換的機制，用于在基本數據類型（如 int、long 等）和其對應的包裝類（如 Integer、Long 等）之間進行轉換。這種機制簡化了代碼的編寫，但也可能引發一些性能問題或意外行為。

通過以下案例和字節碼分析，我們將深入探討裝箱和拆箱的原理及其在實際開發中的應用。

---

案例代碼與輸出

public class Test {public static void main(String[] args) {Integer a = 1;          // 自動裝箱Integer b = 2;          // 自動裝箱Integer c = 3;          // 自動裝箱Integer d = 3;          // 自動裝箱Integer e = 321;        // 自動裝箱Integer f = 321;        // 自動裝箱Long g = 3L;            // 自動裝箱System.out.println(c == d);           // trueSystem.out.println(e == f);           // falseSystem.out.println(c == (a + b));     // trueSystem.out.println(c.equals(a + b));  // trueSystem.out.println(g == (a + b));     // trueSystem.out.println(g.equals(a + b));  // false}
}

輸出結果：

true
false
true
true
true
false

---

逐行解析與字節碼分析

1. c == d 輸出 true

• 原因：c 和 d 都是 Integer 類型，值為 3。
• 裝箱過程：Integer c = 3 實際上被編譯器翻譯為 Integer c = Integer.valueOf(3)。
• 緩存機制：Integer.valueOf 方法會對 -128 ~ 127 范圍內的整數使用緩存池。因此，c 和 d 指向同一個緩存對象。
• 字節碼分析：

   ICONST_3INVOKESTATIC java/lang/Integer.valueOf (I)Ljava/lang/Integer;ASTORE 3ICONST_3INVOKESTATIC java/lang/Integer.valueOf (I)Ljava/lang/Integer;ASTORE 4
  

  • ASTORE 3 和 ASTORE 4 分別存儲 c 和 d。
  • 因為 3 在緩存范圍內，c 和 d 引用的是同一個對象，因此 c == d 返回 true。

---

2. e == f 輸出 false

• 原因：e 和 f 的值為 321，超出了 Integer 緩存范圍（默認 -128 ~ 127），因此每次調用 Integer.valueOf(321) 都會創建新的對象。
• 字節碼分析：

   SIPUSH 321INVOKESTATIC java/lang/Integer.valueOf (I)Ljava/lang/Integer;ASTORE 5SIPUSH 321INVOKESTATIC java/lang/Integer.valueOf (I)Ljava/lang/Integer;ASTORE 6
  

  • SIPUSH 將常量 321 壓入棧頂。
  • INVOKESTATIC 調用 Integer.valueOf 方法。
  • 因為 321 不在緩存范圍內，e 和 f 是不同的對象，因此 e == f 返回 false。

---

3. c == (a + b) 輸出 true

• 原因：a + b 的計算涉及拆箱操作，a.intValue() 和 b.intValue() 相加得到一個 int 值，然后與 c 進行比較時，c 也會被拆箱為 int。
• 拆箱過程：
  • a + b 被翻譯為 a.intValue() + b.intValue()。
  • c == (a + b) 被翻譯為 c.intValue() == (a.intValue() + b.intValue())。
• 字節碼分析：

   ALOAD 3INVOKEVIRTUAL java/lang/Integer.intValue ()IALOAD 1INVOKEVIRTUAL java/lang/Integer.intValue ()IALOAD 2INVOKEVIRTUAL java/lang/Integer.intValue ()IIADDIF_ICMPNE L14
  

  • INVOKEVIRTUAL 調用 intValue 方法完成拆箱。
  • 最終比較的是兩個 int 值，因此 c == (a + b) 返回 true。

---

4. c.equals(a + b) 輸出 true

• 原因：equals 方法比較的是值，而不是引用。a + b 的結果是一個 int，會被自動裝箱為 Integer，然后調用 equals 方法進行比較。
• 字節碼分析：

   ALOAD 3ALOAD 1INVOKEVIRTUAL java/lang/Integer.intValue ()IALOAD 2INVOKEVIRTUAL java/lang/Integer.intValue ()IIADDINVOKESTATIC java/lang/Integer.valueOf (I)Ljava/lang/Integer;INVOKEVIRTUAL java/lang/Integer.equals (Ljava/lang/Object;)Z
  

  • a + b 的結果被裝箱為 Integer。
  • equals 方法比較的是兩個 Integer 的值，因此返回 true。

---

5. g == (a + b) 輸出 true

• 原因：g 是 Long 類型，a + b 的結果是 int 類型。在比較時，a + b 被提升為 long 類型（I2L 指令），然后與 g 的值進行比較。
• 字節碼分析：

   ALOAD 7INVOKEVIRTUAL java/lang/Long.longValue ()JALOAD 1INVOKEVIRTUAL java/lang/Integer.intValue ()IALOAD 2INVOKEVIRTUAL java/lang/Integer.intValue ()IIADDI2LLCMPIFNE L18
  

  • I2L 將 int 提升為 long。
  • LCMP 比較兩個 long 值，因此 g == (a + b) 返回 true。

---

6. g.equals(a + b) 輸出 false

• 原因：equals 方法比較的是對象類型和值。a + b 的結果是 int 類型，會被裝箱為 Integer，而 g 是 Long 類型，因此 equals 返回 false。
• 字節碼分析：

   ALOAD 7ALOAD 1INVOKEVIRTUAL java/lang/Integer.intValue ()IALOAD 2INVOKEVIRTUAL java/lang/Integer.intValue ()IIADDINVOKESTATIC java/lang/Integer.valueOf (I)Ljava/lang/Integer;INVOKEVIRTUAL java/lang/Long.equals (Ljava/lang/Object;)Z
  

  • a + b 的結果被裝箱為 Integer。
  • equals 方法檢查類型不匹配（Long vs Integer），因此返回 false。

---

總結與注意事項

1. 裝箱與拆箱的本質：

   • 裝箱：將基本類型（如 int）轉換為包裝類（如 Integer）。底層調用 valueOf 方法。
   • 拆箱：將包裝類（如 Integer）轉換為基本類型（如 int）。底層調用 intValue 方法。

2. 緩存機制的影響：

   • Integer 的緩存范圍是 -128 ~ 127，超出范圍會創建新對象。
   • 可以通過 JVM 參數（如 -XX:AutoBoxCacheMax=512）調整緩存范圍。

3. 比較操作的陷阱：

   • 使用 == 比較引用類型時，可能會因為緩存或對象創建方式不同而導致結果不符合預期。
   • 推薦使用 equals 方法進行值比較。

4. 性能問題：

   • 頻繁的裝箱和拆箱操作會導致額外的對象創建和方法調用，影響性能。
   • 在性能敏感的場景下，盡量避免不必要的裝箱和拆箱。

---

擴展思考

在前面的分析中，我們提到 e == f 的結果為 false，因為 321 超出了 Integer 默認的緩存范圍（-128 ~ 127），導致每次調用 Integer.valueOf(321) 都會創建新的對象。然而，Java 提供了一種方式來擴展 Integer 的緩存范圍，從而改變這一行為。

如何調整緩存范圍
Integer 的緩存范圍可以通過 JVM 參數 -XX:AutoBoxCacheMax= 進行調整。例如，如果我們希望將緩存范圍擴展到 512，可以在啟動 JVM 時添加以下參數：

java -XX:AutoBoxCacheMax=512 Test

調整后的效果
當我們將緩存范圍擴展到 512 后，e == f 的結果會發生變化：

原因：321 現在位于緩存范圍內，因此 Integer.valueOf(321) 會返回緩存中的同一個對象。
輸出結果：true

底層原理分析
通過調整緩存范圍，Integer.valueOf 方法的行為發生了變化：

如果值在緩存范圍內（-128 ~ AutoBoxCacheMax），則返回緩存中的對象。
如果值超出緩存范圍，則創建新的 Integer 對象。
以下是 Integer.valueOf 方法的源碼片段：

public static Integer valueOf(int i) {if (i >= IntegerCache.low && i <= IntegerCache.high)return IntegerCache.cache[i + (-IntegerCache.low)];return new Integer(i);
}

其中，IntegerCache.low 和 IntegerCache.high 分別表示緩存范圍的下限和上限。默認情況下，IntegerCache.low = -128，IntegerCache.high = 127。通過 JVM 參數 -XX:AutoBoxCacheMax，我們可以動態調整 IntegerCache.high 的值。