【趣味代码-01】让1+1=3

以下皆为“程序员的成长之路”公众号推文原文内容。
《为什么 Java 中“1000 == 1000”为false，而”100==100“为true？》
原文链接：https://mp.weixin.qq.com/s/-zozj8mRT7eDvNHOBfl3Vg

---

为什么 Java 中“1000 == 1000”为false，而”100==100“为true？ 这是一个挺有意思的讨论话题。

如果你运行下面的代码：

    Integer a = 1000, b = 1000;  
    System.out.println(a == b);//1
    Integer c = 100, d = 100;  
    System.out.println(c == d);//2

你会得到

false
true

基本知识：我们知道，如果两个引用指向同一个对象，用 == 表示它们是相等的。如果两个引用指向不同的对象，用 == 表示它们是不相等的，即使它们的内容相同。

因此，后面一条语句也应该是false 。

这就是它有趣的地方了。如果你看去看 Integer.java 类，你会发现有一个内部私有类，IntegerCache.java，它缓存了从-128到127之间的所有的整数对象。

所以事情就成了，所有的小整数在内部缓存，然后当我们声明类似——

Integer c = 100;

的时候，它实际上在内部做的是：

Integer i = Integer.valueOf(100);

现在，如果我们去看valueOf()方法，我们可以看到

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

如果值的范围在-128到127之间，它就从高速缓存返回实例。
所以…

Integer c = 100, d = 100;

指向了同一个对象。
这就是为什么我们写

System.out.println(c == d);

我们可以得到true。

现在你可能会问，为什么这里需要缓存？

合乎逻辑的理由是，在此范围内的“小”整数使用率比大整数要高，因此，使用相同的底层对象是有价值的，可以减少潜在的内存占用。

然而，通过反射API你会误用此功能。

运行下面的代码，享受它的魅力吧

public static void main(String[] args) throws NoSuchFieldException, IllegalAccessException {

      Class cache = Integer.class.getDeclaredClasses()[0]; //1
      Field myCache = cache.getDeclaredField("cache"); //2
      myCache.setAccessible(true);//3

      Integer[] newCache = (Integer[]) myCache.get(cache); //4
      newCache[130] = newCache[131]; //5

      int a = 1;
      int b = a + a;
      System.out.printf("%d + %d = %d", a, a, b); //
    }

1 + 1 = 3

---

---

原文中最后一段代码笔者分析。

IntegerCache 源代码中有一段

  static final int low = -128;
    int j = low;
    for(int k = 0; k < cache.length; k++)
        cache[k] = new Integer(j++);

因此我们可以得出

cache[128] = 0;
cache[129] = 1;
cache[130] = 2;
cache[131] = 3;

所以在第五行代码中，将

newCache[130] = newCache[131];

cache[130] 的值指定为3，所以输出的结果为1+1=3。

---

附 每行代码解释：

public static void main(String[] args) throws NoSuchFieldException, IllegalAccessException {

      Class cache = Integer.class.getDeclaredClasses()[0]; //1
      //getDeclaredClasses得到该类所有的内部类，除去父类的
      //1 获取Integer类中的IntegerCache类
      Field myCache = cache.getDeclaredField("cache"); //2
      //2 获取IntegerCache类中的cache字段，即static final Integer cache[];
      myCache.setAccessible(true);//3
      //3 IntegerCache类中的cache变量为private,故必须进行此操作
      //setAccessible 参考 https://blog.csdn.net/kjfcpua/article/details/8496911
      Integer[] newCache = (Integer[]) myCache.get(cache); //4
      //4 获取当前对象(cache)中当前Field(myCache)的value 
      newCache[130] = newCache[131]; //5
      //5 cache[130] 的值指定为3

      int a = 1;
      int b = a + a;
      System.out.printf("%d + %d = %d", a, a, b); 
      //输出 1 + 1 = 3
    }

---

附 IntegerCache 类源代码：

private static class IntegerCache {
        static final int low = -128;
        static final int high;
        static final Integer cache[];

        static {
            // high value may be configured by property
            int h = 127;
            String integerCacheHighPropValue =
                sun.misc.VM.getSavedProperty("java.lang.Integer.IntegerCache.high");
            if (integerCacheHighPropValue != null) {
                try {
                    int i = parseInt(integerCacheHighPropValue);
                    i = Math.max(i, 127);
                    // Maximum array size is Integer.MAX_VALUE
                    h = Math.min(i, Integer.MAX_VALUE - (-low) -1);
                } catch( NumberFormatException nfe) {
                    // If the property cannot be parsed into an int, ignore it.
                }
            }
            high = h;

            cache = new Integer[(high - low) + 1];
            int j = low;
            for(int k = 0; k < cache.length; k++)
                cache[k] = new Integer(j++);

            // range [-128, 127] must be interned (JLS7 5.1.7)
            assert IntegerCache.high >= 127;
        }

        private IntegerCache() {}
    }