需要注意自動裝拆箱的一個特例

首先看一段代碼（使用JDK 5），如下： public class Test {

  public static void main(String[] args) {

    Integer i1 = 127;

    Integer i2 = 127;       if (i1 == i2)

      System.out.println("Equal!");

    else

      System.out.println("Not equal!");

  }

}       輸出結果想必大家也知道，是“Equal!”。現在把i1和i2的值由127改為128看看會發生什麼？結果輸出“Not equal!”。   提示：這段解釋有錯誤,可以跳過看下面的。        注意i1和i2都是Integer類型，事實上隻要這個值的範圍在“-128—127”之間，輸出結果都是“Equal!”。JDK 5引進了很多新的特性，其中有一個就是自動裝箱（Autoboxing）和自動拆箱（Auto-Unboxing）。當i1和i2值為128時，在進行“==”時，它們被裝進兩個不同的Integer Objects，由于這是兩個不同的instances，它們引用不同的記憶體位址，是以結果是“Not equal!”。 但當這個值是127時，JVM自動将這個值轉換成基本類型int，這樣進行“==”時，JVM仍然使用的是相同的object instance， 是以輸出結果為“Equal!”了。          真是讨厭！

修改後的：

首先感謝abcdhy網友指出問題，為了更能鞭策自己，我會将上面錯誤的解釋一直留着，時刻提醒自己，研究問題一定要腳踏實地，多方考證。       為了友善說明問題，我寫了下面的代碼：   public class Test {

  public static void main(String[] args) {

    Integer i1 = 127;

    Integer i2 = 127;

    Integer i3 = Integer.valueOf(127);       if (i1 == i2)

      System.out.println("i1 == i2 is true!");

    else

      System.out.println("i1 == i2 is false!");       if (i1 >= i2)

      System.out.println("i1 >= i2 is true!");

    else

      System.out.println("i1 >= i2 is false!");       if (i1 == i3)

      System.out.println("i1 == i3 is true!");

    else

      System.out.println("i1 == i3 is false!");     }

}

當值是127時，輸出是： i1 == i2 is true!

i1 >= i2 is true!

i1 == i3 is true!   當值是128時，輸出是： i1 == i2 is false!

i1 >= i2 is true!

i1 == i3 is false!   說明：    我使用的是Sun JDK 1.5.0_03-b07 和 Eclipse 3.2M4。       “Integer i1 = 127;”在JDK1.4下不能編譯通過的，會提示：“ Type mismatch: cannot convert from int to Integer”的錯誤，一般改寫為：“Integer i1 = new Integer(127);”。        “Integer i1 = 127;”在JDK1.5下可以編譯通過的，這就是自動裝箱（Autoboxing）和自動拆箱（Auto-Unboxing）。自動裝箱（Autoboxing）特性讓Java自動包裝一個簡單資料類型（例如int）到對應的包裝類型中（例如Integer）中。       在《 JSR 201: Extending the Java Programming Language with Enumerations, Autoboxing, Enhanced for loops and Static Import》中，對這個問題，是作了這樣的規定：

    If the value p being boxed is true, false, a byte, an ASCII character, or an integer or short number between -127 and 128, then let r1 and r2 be the results of any two boxing conversions of p. It is always the case that r1 == r2.

      在Java中，The following is the list of primitives stored as immutable objects（不可變對象 ）: * boolean values true and false

* All byte values

* short values between -128 and 127

* int values between -128 and 127

* char in the range /u0000 to /u007F      為了更容易了解問題，用Jad将上面代碼反編譯，如下： import java.io.PrintStream;   public class Test

{       public Test()

    {

    }       public static void main(String args[])

    {

        Integer i1 = Integer.valueOf(128);

        Integer i2 = Integer.valueOf(128);

        Integer i3 = Integer.valueOf(128);

        if(i1 == i2)

            System.out.println("i1 == i2 is true!");

        else

            System.out.println("i1 == i2 is false!");

        if(i1.intValue() >= i2.intValue())

            System.out.println("i1 >= i2 is true!");

        else

            System.out.println("i1 >= i2 is false!");

        if(i1 == i3)

            System.out.println("i1 == i3 is true!");

        else

            System.out.println("i1 == i3 is false!");

    }

}

從這可以看出，“Integer i1 = 127;”在JDK1.5下應該編譯成了“Integer i1 = Integer.valueOf(127);”。     再看看java.lang.Integer中關于valueOf的源代碼是怎樣的：   public static Integer valueOf(int i) {

    final int offset = 128;

    if (i >= -128 && i <= 127) { // must cache

      return IntegerCache.cache[i + offset];

    }

    return new Integer(i);

  }       可以看出，這個值在-128到127之間，會将其cached（緩存）起來，如果多次使用的話，會節省記憶體和改善性能；如果不在這個範圍之内，則生成一個新的Integer Object instance，這樣如果進行“==”時，由于是比較兩個不同的Object references，故結果是false。事實上，這個特性從JDK 1.3就存在了（以前的我不清楚） 。       确切的說，上面出現的問題實質并不是Autoboxing和Auto-Unboxing，應該是Integer類的valueOf(int i)方法，隻是Autoboxing和Auto-Unboxing将這個問題掩蓋了。