布尔运算、条件运算符和自动装箱

Question

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
}

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节条件运算符？：

>

对于E1，第2个和第3个操作数的类型分别为boolean和boolean，因此此子句适用：

对于E2，第2个和第3个操作数的类型是 （而不是E1中的boolean)和boolean，所以不适用特定的类型子句（去读它们！），所以最后一个“否则”子句适用：

否则，第二和第三操作数分别为类型S1和S2。设T1是对S1应用装箱转换后得到的类型，设T2是对S2应用装箱转换后得到的类型。条件表达式的类型是将捕获转换(§5.1.10)应用到lub(T1,T2)(§15.12.2.7)的结果。

• S1== （参见§4.1)
• S2==布尔
• T1==方框(S1)==<特殊空类型>（请参见§5.1.7中装箱转换列表中的最后一项）
• T2==方框(S2)==`Boolean
• lub(T1,T2)==boolean

因此，条件表达式的类型是boolean，第3个操作数必须强制为boolean。编译器为第3个操作数插入自动装箱代码(false)。第2个操作数不需要像E1中那样自动取消装箱，因此当返回null时，不需要自动取消装箱NPE。

这个问题需要类似的类型分析：

Java条件运算符？：结果类型