Java 布尔值，条件运算符和自动装箱

Question

为什么会抛出 NullPointerException

public static void main(String[] args) throws Exception {
    Boolean b = true ? returnsNull() : false; // NPE on this line.
    System.out.println(b);
}

public static Boolean returnsNull() {
    return null;
}

虽然这不是

public static void main(String[] args) throws Exception {
    Boolean b = true ? null : false;
    System.out.println(b); // null
}

解决方案是通过替换false方式Boolean.FALSE来避免null被取消装箱-这boolean是不可能的。但这不是问题。问题是为什么？JLS中是否有任何引用可以证实这种行为，尤其是第二种情况？

Answer 1

别在于方法的显式类型returnsNull()会在编译时影响表达式的静态类型：

E1: `true ? returnsNull() : false` - boolean (auto-unboxing 2nd operand to boolean)

E2: `true ? null : false` - Boolean (autoboxing of 3rd operand to Boolean)

参见Java语言规范，第15.25节“ 条件运算符？”。：

1. 对于E1，第二和第三操作数的类型分别为Boolean和boolean，因此该子句适用：

如果第二个操作数和第三个操作数之一为布尔型，而另一个的类型为布尔型，则条件表达式的类型为布尔型。

由于表达式的类型为boolean，因此第二个操作数必须强制为boolean。编译器将自动拆箱代码插入第二个操作数（返回值returnsNull()）以使其为type boolean。这当然会导致null在运行时从返回的NPE 。

• 对于E2，第二和第三操作数的类型分别为<special null type>（不同于BooleanE1！）boolean，因此没有特定的键入子句适用（请去读’em！），因此最后的“否则”子句适用：

否则，第二和第三操作数分别为S1和S2类型。令T1为对S1进行装箱转换所产生的类型，而T2为对S2进行装箱转换所产生的类型。条件表达式的类型是将捕获转换（§5.1.10）应用于lub（T1，T2）（§15.12.2.7）的结果。

• S1 == <special null type>
• S2 == boolean
• T1 == box（S1）== <special null type>
• T2 == box（S2）==Boolean
• lub（T1，T2）== Boolean
  因此，条件表达式的类型为，Boolean并且第三个操作数必须强制为Boolean。编译器为第三个操作数（false）插入自动装箱代码。第二个操作数不需要像中一样的自动拆箱E1，因此null返回时没有自动拆箱的NPE 。