代码对象o=真？new Integer(0):new Long(1)返回值为0的Long。为什么？[副本]

Question

请考虑我们有以下代码：

Object obj = true ? new Integer(0) : new Long(1);
System.out.println(obj.getClass() + "\nvalue = " + obj);

其结果是：

class java.lang.Long
value = 0

而不是：

class java.lang.Integer
value = 0

有人能澄清一下为什么我们在Java有这样的功能吗？对我来说很奇怪。你有什么有用例子吗？

更新：这里是一段字节码，我们可以看到，那里发生了什么

NEW java/lang/Integer
DUP
LDC "0"
INVOKESPECIAL java/lang/Integer.<init> (Ljava/lang/String;)V
INVOKEVIRTUAL java/lang/Integer.intValue ()I
I2L
INVOKESTATIC java/lang/Long.valueOf (J)Ljava/lang/Long;
ASTORE 1

Answer 1

这种行为在JLS-15.25中有很好的解释。条件运算符？·：：

条件运算符有三个操作数表达式。？出现在第一个和第二个表达式之间，而:出现在第二个和第三个表达式之间。

[...]

条件表达式的类型确定如下：

>

[...]

否则，如果第二个和第三个操作数具有可转换为数值类型(§5.1.8)的类型，则有几种情况：

>

[...]

否则，对操作数类型应用二进制数字提升(§5.6.2)，条件表达式的类型是第二个和第三个操作数的提升类型。

Answer 2

这里发生的事情是

• 二进制数字提升，将整数和长类型转换为长，用作应用于条件运算符表达式的通用类型
• 取消包装对象的装箱
• 然后装箱条件表达式的结果值

条件运算符的第二个和第三个操作数必须具有相同的类型，这是表达式的结果类型。integer和long当然不是同一类型。

但是，正如JLS§15.25中所描述的，编译器在确定应用于表达式的可能的通用类型时会应用二进制数值提升。该部分有一个方便的表15.25-D，它告诉我们，当第二个操作数的类型为integer而第三个操作数的类型为long时，编译器将对integer,long进行二进制数字提升。integer,long上的二进制数字提升生成long。因此条件运算符表达式的结果是long。

由于表达式的结果类型为long，因此必须将integer或long取消装箱（然后强制转换，对于integer)。

最后，将其分配给一个对象，该对象强制装箱，并将long包装在一个long中。因此，您最终得到一个long，其中包含值0，该值与您的输出匹配。

因此，如果我们忽略这样一个事实，即编译器将优化下面一半的内容，因为它要处理一个常量表达式，这要归功于代码中的true（我使用了下面的flag)，那么代码最终会是这样的：

Object obj = Long.valueOf(flag ? (long)(new Integer(0)).intValue() : (new Long(1)).longValue());
System.out.println(obj.getClass() + "\nvalue = " + obj);

• (long)（new Integer(0)).intValue()表示取消对Integer的装箱，并将其强制转换为long，以便与表达式结果类型匹配。
• （新的Long(1)).longValue()表示取消对Long的装箱，以便与Expression结果类型匹配。
• 而long.valueof表示结尾处的装箱。