奇怪的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，而另一个操作数的类型是对T应用装箱转换(§5.1.7)的结果，那么条件表达式的类型是T。

强调我的。因此，在2^nd的情况下：

Float f = true ? testFloat : 0f;

null type - S1
float     - S2

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