奇怪的Java行为。三元运算符

Question

为什么此代码有效？

Float testFloat = null;
Float f = true ? null : 0f;

为什么这会引发异常？

Float testFloat = null;
Float f = true ? testFloat : 0f;

但是最奇怪的是，该代码也可以成功运行，没有任何异常：

Float testFloat = null;
Float f = testFloat;

看来Java的三元运算符会改变行为。有人可以解释为什么吗？

Answer 1

该行为在JLS-
条件运算符中
指定：

如果第二和第三个操作数中的一个是原始类型T的，并且其他的类型是施加装箱转换（§5.1.7）到T的结果，则 条件表达式的类型为T 。

强调我的。因此，在第二种情况下：

Float f = true ? testFloat : 0f;

由于第三个操作数是基本类型（T），因此表达式的类型将是浮点类型- T。因此， 取消 当前引用的 testFloat的 装箱 将导致
NPE 。null``float __

对于第一种情况，相关部分是最后一部分：

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

因此，根据此：

null type - S1
float     - S2

null type - T1 (boxing null type gives null type)
Float     - T2 (float boxed to Float)

然后条件表达式的类型变为- Float。没有null需要的拆箱，因此没有NPE。