使用条件运算符的奇怪Java行为。是虫子吗？

Question

您能否运行以下内容并进行解释？

Object o = true ? new Integer(1) : new Double(2.0);
System.out.println(o);

我发现令人惊讶，因为有人期望打印1而不是1.0

Answer 1

尽管看起来好像一个，但这一点也不令人惊讶。该行为在JLS§15.25-条件运算符中指定：

否则，如果第二个和第三个操作数的类型可以转换（第5.1.8节）为数字类型，则有几种情况：

• 如果其中一个操作数的类型为byte或Byte，而另一个操作符的类型为short或Short，则条件表达式的类型为
  short。
  

[…]

• 否则，将二进制数值提升（第5.6.2节）应用于操作数类型， 条件表达式的类型为第二和第三操作数的提升类型。

请注意，二进制数值升级执行值集转换（第5.1.13节），并且可能 执行拆箱转换 （第5.1.8节）。

因此，Integer和Double类型作为二进制数值提升的过程被取消装箱到它们各自的原始副本-
int和double。然后，条件运算符的类型是intand
的提升类型double，即double。因此结果是1.0。然后，当然会将最终结果装箱到Double。