从源码分析Java的“128陷阱“

Ethan_.

已于 2024-07-08 19:55:07 修改

阅读量867

点赞数 30

分类专栏： Java基础文章标签： java 开发语言 intellij-idea

于 2024-07-08 19:46:51 首次发布

本文链接：https://blog.csdn.net/qq_42742845/article/details/140277216

版权

Java基础专栏收录该内容

4 篇文章 0 订阅

订阅专栏

简介

从源码出发, 分析Java Integer类的"128陷阱"问题, 以此掌握更多的Java的细节, 深化我们对Java语言的理解

正文

开门见山, 所谓**"128陷阱"指的是当我们比较两个Integer对象时, 会出现明明不是同一个对象, 却可以相等的问题**, 下面我们来具体分析

public class Test {
    public static void main(String[] args) {
        Integer a1 = 10;
        Integer a2 = 10;
        System.out.println(a1 == a2);
    }
}
/*
输出结果
true
*/

在上述代码中, 利用JDK的自动装箱语法糖, 用整型10得到了一个Integer对象a1,

随后, 使用==来判断两个对象是否相等, 并输出结果

众所都周知, 当使用==来判断两个对象是否相等时, 得到的结果并不是我们通常意义上的是否相等

(我们通常意义上的相等是判断这两个Integer对象的value(值)是否相等)

而是判断两个对象是否是同一个,

说的准确一点, 是判断a1 和 a2 这两个引用指向的是否是同一个地址, 如果是, 返回 true, 否则返回false

再看我们的代码, a1和a2这两个对象, 应该是两个独立的, 互不影响的对象, 那为什么 == 的结果是true呢?

我们再看以下代码

public class Test {
    public static void main(String[] args) {
        Integer a1 = 1000;
        Integer a2 = 1000;
        System.out.println(a1 == a2);
    }
}
/*
输出结果
true
*/

奇怪的现象出现了, 明明只是改变了整数的值, 却得到了截然相反的结果, 那么这是为什么呢,

Integer源码

我们找到Integer类的源码

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

valueOf()方法是java官方推荐的创建Integer对象的方法, 尽管我们上面的代码使用的JDK的自动装箱创建的Integer对象

但其原理上也是执行valueOf()方法,

观察这个方法, 我们发现, 当我们要创建的Integer对象的值在IntegerCache.low和IntegerCache.high之间时, 返回的是一个IntegerCache.cache[]数组中的一个值, 当我们需要的值不在这个范围时, 才会调用new Integer()方法, 即Integer类的构造方法.

我们找到IntegerCache这个类的详细信息

// Integer类源码
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() {}
}

我们发现IntegerCache是Integer类的一个静态内部类, 在这个静态内部类中我们找到了low, high, 以及cache[]数组,

接下来我们观察这段代码, 看看这个IntegerCache类中用这三个东西干了什么事情.

不难看出, low的值为-128, high的值为127, cache[]数组的长度为127-(-128)+1, 随后, 在静态初始化块static{}中, 将-128~127之间的每个值都创建了一个Integer对象, 并存到了cache[]数组中.

结论

通过上面对Integer类源码的分析, 我们不难发现, 我们的Java程序在我们需要用到Integer类时, 自动创建了一个数组, 并在其中保存了-128~127直接每个值对应的Integer对象,

于是乎, 当我们使用valueOf()方法创建Integer对象时, 都会先判断这个值是否在-128~127的范围中,

如果在, 那么就直接返回cache[]数组中以及创建好的对象,

如果不在, 这时才会通过 new Integer()的方式创建Integer对象

验证

要验证上述的结论也非常简单,

public class Test {
    public static void main(String[] args) {
        Integer a1 = new Integer(10);
        Integer a2 = new Integer(10);
        System.out.println(a1 == a2);
    }
}
/*
输出结果
false
*/