为什么 Java 的整数装箱对于'Integer == Integer”比较产生不同的结果？

Weird Java Integer Boxing

Java's integer boxing机制会让你感到一丝困惑，尤其是当比较引用相等性时。

问题

考虑以下代码段：

public class Scratch {
    public static void main(String[] args) {
        Integer a = 1000, b = 1000;
        System.out.println(a == b); // false

        Integer c = 100, d = 100;
        System.out.println(c == d); // true
    }
}

运行后会生成：

false
true

第一行结果是预期的，因为 a 和 b 是不同的对象。但第二行结果是为什么？

回答

第二行的 true 结果是由语言规范保证的。根据第 5.1.7 节：

如果要装箱的值 p 为 true、false、范围在 u0000 到 u007f 的 byte 或 char，或者介于 -128 和 127 之间的 int 或 short，那么任何两次对 p 的装箱转换的结果 r1 和 r2 总是相等的。

尽管第二行输出是保证的，但第一行却不是（见下面引用的最后一段）：

理想情况下，给定一个原始值 p 的装箱总是会生成相同的引用。在实践中，使用现有的实现技术可能无法做到这一点。上述规则是一个务实的折衷方案。上面的最后一条条款要求对某些常见值始终装箱成无法区分的对象。实现可以对其进行缓存，无论是以延迟方式还是立即方式。

对于其他值，这个表述不允许程序员对装箱值的标识做出任何假设。这允许（但不强制）共享其中的一些或所有引用。

这确保了在大多数常见情况下，行为将是期望的行为，而不会对性能造成不必要的损失，特别是在小型设备上。内存限制较少的实现可以缓存所有字符和短整型，以及范围在 -32K 到 32K 之间的整型和长整型。

以上是为什么 Java 的整数装箱对于'Integer == Integer”比较产生不同的结果？的详细内容。更多信息请关注PHP中文网其他相关文章！