Java 中是否保证 new Integer(i) == i ？

Question

考虑以下代码片段：

    int i = 99999999;
    byte b = 99;
    short s = 9999;
    Integer ii = Integer.valueOf(9); // should be within cache

    System.out.println(new Integer(i) == i); // "true"
    System.out.println(new Integer(b) == b); // "true"
    System.out.println(new Integer(s) == s); // "true"
    System.out.println(new Integer(ii) == ii); // "false"

很明显为什么最后一行将 ALWAYS 打印 "false"：我们使用 == 引用身份比较，并且新对象将永远==到已经存在的对象。

问题是关于前 3 行：这些比较是否保证在原始 int 上，与 Integer 自动拆箱？是否存在原语被自动装箱并执行参考身份比较的情况？ （这一切都将是false！）

Answer 1

是的。 JLS §5.6.2 指定二进制数字提升的规则。部分：

当运算符应用二进制时
数字提升为一对
操作数，每个操作数必须表示一个
可转换为数字的值
类型，以下规则适用，在
顺序，使用加宽转换
(§5.1.2) 将操作数转换为
必要：

如果任何操作数是
引用类型、拆箱转换
执行（§5.1.8）。

二进制数字提升适用于多个数字运算符，包括“数字相等运算符 == 和 !=”。

JLS §15.21.1（数字相等运算符 == 和 !=) 指定：

如果操作数相等
运算符都是数字类型，或者
一个是数字类型，另一个是数字类型
可转换（§5.1.8）为数字
类型，二进制数字提升是
对操作数执行（第 5.6.2 节）。

相比之下，JLS §15.21.3（参考相等运算符 == 和 !=）提供：

如果操作数相等
运算符都是任一引用
类型或 null 类型，然后
操作是对象相等

这符合装箱和拆箱的一般理解，只有在不匹配时才会执行。

Answer 2

我将首先准确地解释何时 == 是引用相等，以及准确地何时 它是数值相等。引用相等的条件比较简单，所以先解释一下。

JLS 15.21.3 引用相等运算符 = = 和 !=

如果相等运算符的操作数均为引用类型或null类型，则该操作为对象相等。

这解释了以下内容：

System.out.println(new Integer(0) == new Integer(0)); // "false"

两个操作数都是Integer，它们是引用类型，这就是为什么==是引用相等比较，并且两个new对象之间永远不会==，所以这就是它打印false的原因。

要使 == 数值相等，至少有一个操作数必须是数值类型；指定如下：

JLS 15.21.1 数值相等运算符 == 和 !=

如果相等运算符的操作数两者都是数字类型，或者一个是数字类型并且另一个可以转换为数字类型，对操作数执行二进制数字提升。如果操作数的提升类型为int或long，则执行整数相等测试；如果提升的类型是 float 或double`，则执行浮点相等测试。

请注意，二进制数字提升执行值集转换和拆箱转换。

因此，请考虑以下情况：

System.out.println(new Integer(0) == 0); // "true"

这将打印 true，因为：

• 右操作数 是 数字 int 类型
• 左操作数可转换为 一个数字类型，通过拆箱为 int
• 因此 == 是一个数字相等运算

---

摘要

• 如果 == 和 == 的两个操作数code>!= 是引用类型，它始终是引用相等操作
  • 操作数是否可以转换为数字类型并不重要
• 如果至少有一个操作数是数值类型，则它将始终是数值相等运算
  • 如有必要，将对一个（最多！）个操作数执行自动拆箱

参考文献

• JLS 4.2。原始类型和值
  • “数字类型是整型和浮点类型。”
• Java 语言指南/自动装箱
• JLS 5.1.8 拆箱转换
• JLS 15.21.1 数值相等运算符 ==和 !=
• JLS 15.21.3 引用相等运算符 == 和 !=
• JLS 5.6.2 二进制数字升级

相关问题

• 在 Java 中比较两个整数时，是否会发生自动拆箱？
• 为什么这些是 == 而不是 equals() ?
• Java：自动装箱和强制转换之间有什么区别？< /a>