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

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

别在于方法的显式类型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 。