Java自动装箱/拆箱怪异

Question

可能的重复：
布尔值、条件运算符和自动装箱
Java，Google 集合库； AbstractIterator 有问题吗？

下面的代码产生一个 NPE：

Integer test = null;
Integer test2 = true ? test : 0;
System.out.println(test2);

要正确打印出“null”而没有异常，需要以下代码：

Integer test = null;
Integer test2 = true ? test : (Integer)0;
System.out.println(test2);

在第一个示例中很明显“test”正在被拆箱（转换为本机 int），但是为什么？为什么更改三元运算符中的其他表达式（如第二个示例中）可以修复它？谁能提供某种叙述，说明这两个示例中的内容何时、什么以及为何被装箱和拆箱？

Answer 1

来自Java 语言规范的第 15.25 节：

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

• 如果第二个和第三个操作数具有相同的类型（可能是 null 类型），则这就是条件表达式的类型。
  • 如果第二个和第三个操作数之一是布尔类型，另一个是布尔类型，则条件表达式的类型是布尔类型。
  • 如果第二个和第三个操作数之一为 null 类型，另一个为引用类型，则条件表达式的类型为该引用类型。
  • 否则，如果第二个和第三个操作数的类型可转换（第 5.1.8 节）为数字类型，则有以下几种情况：
    • 如果其中一个操作数的类型为 byte 或 Byte，另一个操作数的类型为 Short 或 Short，则条件表达式的类型为 Short。
    • 如果其中一个操作数的类型为 T，其中 T 为 byte、short 或 char，而另一个操作数是 int 类型的常量表达式，其值可以用类型 T 表示，则条件表达式的类型为 T .
    • 如果其中一个操作数为 Byte 类型，另一个操作数为 int 类型常量表达式，其值可以用 byte 类型表示，则条件表达式的类型为 byte。
    • 如果其中一个操作数是 Short 类型，另一个操作数是 int 类型的常量表达式，且其值可以用 Short 类型表示，则条件表达式的类型为 Short。
    • 如果其中一个操作数是类型；字符，另一个操作数是 int 类型的常量表达式，其值可以用 char 类型表示，则条件表达式的类型为 char。
    • 否则，二进制数值提升（第 5.6.2 节）将应用于操作数类型，并且条件表达式的类型是第二个和第三个操作数的提升类型。请注意，二进制数字提升执行拆箱转换（第 5.1.8 节）和值集转换（第 5.1.13 节）。

因此，它遵循最后一个要点，执行二进制数字提升，从而执行拆箱转换。因此，条件运算符表达式的类型为 int，即使您将其分配给 Integer 也是如此。它尝试对 null 执行拆箱转换，因此出现异常。