Java中包装类型的大小比较

本文详细剖析了Java中Integer对象在不同数值范围内比较时的行为差异,揭示了自动装箱过程中缓存机制的作用,并给出了实际开发中的建议。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

一、案例

我们先来看下这个例子:

public class IntegerTest {

    public static void main(String[] args) {
        Integer a = 127;
        Integer b = 127;
        System.out.println(a == b);

        a = 128;
        b = 128;
        System.out.println(a == b);

        a = -128;
        b = -128;
        System.out.println(a == b);

        a = -129;
        b = -129;
        System.out.println(a == b);
    }

}

程序运行结果:

true
false
true
false

看到这个结果,是不是很疑惑,不应该都是true吗?

二、剖析

要弄懂这其中的缘由,我们要先明白上面的程序到底做了什么?

javap是JDK自带的反汇编器,可以查看java编译器为我们生成的字节码。通过它,我们可以对照源代码和字节码,从而了解很多编译器内部的工作。

于是,我们通过javap命令反编译IntegerTest.class字节码文件,得到结果如下:

$ javap -c IntegerTest
▒▒▒▒: ▒▒▒▒▒▒▒ļ▒IntegerTest▒▒▒▒com.lian.demo.IntegerTest
Compiled from "IntegerTest.java"
public class com.lian.demo.IntegerTest {
  public com.lian.demo.IntegerTest();
    Code:
       0: aload_0
       1: invokespecial #1                  // Method java/lang/Object."<init>":                                                                                                              ()V
       4: return

  public static void main(java.lang.String[]);
    Code:
       0: bipush        127
       2: invokestatic  #2                  // Method java/lang/Integer.valueOf:                                                                                                              (I)Ljava/lang/Integer;
       5: astore_1
       6: bipush        127
       8: invokestatic  #2                  // Method java/lang/Integer.valueOf:                                                                                                              (I)Ljava/lang/Integer;
      11: astore_2
      12: getstatic     #3                  // Field java/lang/System.out:Ljava/                                                                                                              io/PrintStream;
      15: aload_1
      16: aload_2
      17: if_acmpne     24
      20: iconst_1
      21: goto          25
      24: iconst_0
      25: invokevirtual #4                  // Method java/io/PrintStream.printl                                                                                                              n:(Z)V
      28: sipush        128
      31: invokestatic  #2                  // Method java/lang/Integer.valueOf:                                                                                                              (I)Ljava/lang/Integer;
      34: astore_1
      35: sipush        128
      38: invokestatic  #2                  // Method java/lang/Integer.valueOf:                                                                                                              (I)Ljava/lang/Integer;
      41: astore_2
      42: getstatic     #3                  // Field java/lang/System.out:Ljava/                                                                                                              io/PrintStream;
      45: aload_1
      46: aload_2
      47: if_acmpne     54
      50: iconst_1
      51: goto          55
      54: iconst_0
      55: invokevirtual #4                  // Method java/io/PrintStream.printl                                                                                                              n:(Z)V
      58: bipush        -128
      60: invokestatic  #2                  // Method java/lang/Integer.valueOf:                                                                                                              (I)Ljava/lang/Integer;
      63: astore_1
      64: bipush        -128
      66: invokestatic  #2                  // Method java/lang/Integer.valueOf:                                                                                                              (I)Ljava/lang/Integer;
      69: astore_2
      70: getstatic     #3                  // Field java/lang/System.out:Ljava/                                                                                                              io/PrintStream;
      73: aload_1
      74: aload_2
      75: if_acmpne     82
      78: iconst_1
      79: goto          83
      82: iconst_0
      83: invokevirtual #4                  // Method java/io/PrintStream.printl                                                                                                              n:(Z)V
      86: sipush        -129
      89: invokestatic  #2                  // Method java/lang/Integer.valueOf:                                                                                                              (I)Ljava/lang/Integer;
      92: astore_1
      93: sipush        -129
      96: invokestatic  #2                  // Method java/lang/Integer.valueOf:                                                                                                              (I)Ljava/lang/Integer;
      99: astore_2
     100: getstatic     #3                  // Field java/lang/System.out:Ljava/                                                                                                              io/PrintStream;
     103: aload_1
     104: aload_2
     105: if_acmpne     112
     108: iconst_1
     109: goto          113
     112: iconst_0
     113: invokevirtual #4                  // Method java/io/PrintStream.printl                                                                                                              n:(Z)V
     116: return
}

标号2的code调用了静态的valueOf方法解析Integer实例,也就是说Integer a = 127; 在编辑期进行了自动装箱,即把基本数据类型转换为包装类型。

从JDK1.5就开始引入了自动拆装箱的语法功能,也就是系统将自动进行基本数据类型和与之相对应的包装类型之间的转换,这使得程序员书写代码更加方便。

  • 装箱过程是通过调用包装器的valueOf方法实现的。
  • 拆箱过程是通过调用包装器的xxxValue方法实现的(xxx表示对应的基本数据类型)

当给a赋值时,实际上是调用了Integer.valueOf(int i)方法。其JDK 8源码如下:

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

继续看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() {}
    }

看到了没,当赋的基本数据类型值不在[-128, 127]之间,会去Java堆内存中new一个对象出来,显然它们不是两个不同的对象,所以结果false;

而值在[-128, 127]之间,会直接从IntegerCache中获取,也就是从缓存中取值,不用再创建新的对象,即同一个对象,所以结果true。

关系操作符“==”生成的是一个boolean结果,它们计算的是操作数的值之间的关系。如果是基本类型则直接判断其值是否相等,如果是对象则判断是否是同一个对象的引用,即其引用变量所指向的对象的地址是否相同。

三、结论

在阿里巴巴Java开发手册中,它是这么描述的:

【强制】所有的相同类型的包装类对象之间值的比较,全部使用equals方法比较。

说明:对于Integer var = ? 在-128 至 127范围内的赋值,Integer对象是在IntegerCache.cache产生,会复用己有对象,这个区间内的Integer值可以直接使用==进行判断,但是这个区间之外的所有数据,都会在堆上产生,并不会复用己有对象,这是一个大坑,推荐使用equals方法进行判断。

可能你还会问,问啥是equals方法?这就要看equals方法到底做了什么?可以参考《Java中关系操作符“==”和equals()方法的区别

我们来看下Integer类中equals源码:

public boolean equals(Object obj) {
        if (obj instanceof Integer) {
            return value == ((Integer)obj).intValue();
        }
        return false;
    }

直接通过intValue()方法拆箱,即将包类型转换为基本数据类型。所以equals方法比较的是它们的值了。

四、注意事项

包装类型缓存赋值范围基本数据类型二进制数

Boolean

全部缓存

boolean1

Byte

[-128, 127]

byte8

Character

<=127

char16

Short

[-128, 127]

short16

Integer

[-128, 127]

int32

Long

[-128, 127]

long64

Float

没有缓存

float32

Double

没有缓存

double64

所以两个同类型的Float或Double类型的==比较永远都是返回false。

转载于:https://my.oschina.net/lienson/blog/3029667

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值