当使用==运算符比较包装类和原语时，类型转换背后的逻辑是什么？

Question

我了解到，当需要执行多个操作来执行隐式转换（int）时，编译器拒绝使用自动装箱/取消装箱-

Integer i = 2;
Double d = 2.0;
System.out.println(i == d); // COMPILE TIME ERROR

// fix

System.out.println( (double) i == d); // OK: true

我的理解是编译器试图用Integer.intValue（）来解包i。因为它需要一个以上的步骤来转换整数到双（整数-

Integer i = 2;
double d = 2.0;
System.out.println(i == d); // OK: true

在本例中，编译器执行转换（Integer）显然需要多个步骤-

我知道必须使用equals（）方法，而不是=




Answer 1

答案可以在Java语言规范第15.21节中找到。相等运算符：

运算符==（等于）和！=（不等于）被称为相等运算符。

第15.21.1节。数值相等运算符==和= 表示：

如果一个等号操作符的操作数都是数字类型，或者一个是数字类型，另一个可转换为数字类型（§5.1.8），则对操作数执行二进制数字提升（§5.6）。

第15.21.3节。引用相等运算符==和= 表示：

如果等号操作符的操作数都是引用类型或空类型，则该操作是对象相等的。

如果无法通过强制转换将任一操作数的类型转换为另一个操作数的类型（§5.5），则为编译时错误。两个操作数的运行时值必然不相等（忽略两个值均为null的情况）。

如果没有强制转换，i==d表达式必须遵循第15.21.3节中的规则，因为i和d都是引用类型，而不是数字类型。只有基元类型是数字类型（当然，除了布尔型）。

由于整数不能转换为双精度，双精度不能转换为整数，编译器知道表达式不可能为真（忽略两个值均为null）的情况，因此会发生编译类型错误。

如果执行（double）i==d，则左侧将变为数字类型，并且第15.21.1节中指定的规则适用。