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

Question

我对条件运算符有点困惑。请考虑以下两行：

Float f1 = false? 1.0f: null;
Float f2 = false? 1.0f: false? 1.0f: null;

为什么f1变成null，而第二条语句抛出NullPointerException？

LANSPEC-3.0第15.25段SAIS：

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

因此，对于false？1.0f:null，T1是Float，T2是null类型。但是lub(T1,T2)的结果是什么？第15.12.2.7段有点过了...

顺便说一句，我在Windows上使用的是1.6.0_18。

PS：我知道浮点f2=false？（浮点）1.0f:假？（浮点）1.0f:null；不抛出NPE。

Answer 1

我认为重写代码让解释更加清晰：

    float f = 1.0f;

    Float null_Float  = false?        f  : null;       // float + null  -> OK
    Float null_Float2 = false? (Float)f  : null_Float; // Float + Float -> OK
    Float npe         = false?        f  : null_Float; // float + Float -> NPE

因此，当我们尝试做以下事情时，即为NPE：

Float npe = false? 1.0f : (Float)null;

Answer 2

不同之处在于在编译时对表达式进行静态类型：

E1: `(false ? 1.0f : null)`
    - arg 2 '1.0f'           : type float,
    - arg 3 'null'           : type null 
    - therefore operator ?:  : type Float (see explanation below)
    - therefore autobox arg2
    - therefore autobox arg3

E2: `(false ? 1.0f : (false ? 1.0f : null))`
    - arg 2 '1.0f'                    : type float
    - arg 3 '(false ? 1.0f : null)'   : type Float (this expr is same as E1)
    - therefore, outer operator ?:    : type float (see explanation below)
    - therefore un-autobox arg3

这是我通过阅读规范和从你得到的结果倒过来的理解。归结为f2内部条件的第三个操作数的类型是null类型，而f2外部条件的第三个操作数的类型是浮点。

注意：重要的是要记住类型的确定和装箱/取消装箱代码的插入是在编译时完成的。装箱/取消装箱代码的实际执行是在运行时完成的。

Float f1 = (false ? 1.0f : null);
Float f2 = (false ? 1.0f : (false ? 1.0f : null));

f1条件和f2内部条件：（false？1.0f:null)

f1条件和f2内部条件是相同的：（false？1.0f:null)。f1条件和f2内部条件中的操作数类型为：

type of second operand = float
type of third operand = null type (§4.1)

第15.25节中的大部分规则被否决，最终评估确实适用：

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

S1 = float
S2 = null type
T1 = Float
T2 = null type
type of the f1 and f2 inner conditional expressions = Float

由于对于f1，赋值是对一个Float引用变量的赋值，因此表达式（null）的结果被成功赋值。

对于f2外部条件：（false？1.0f:[f2内部条件])

对于f2外部条件,类型为：

type of second operand = float
type of third operand = Float

请注意操作数类型与直接引用null文字的F1/F2内部条件相比的差异(§4.1)。由于有两种数字可转换类型的差异，适用§15.12.2.7中的规则：

>

否则，如果第二个和第三个操作数具有可转换(§5.1.8)为数值类型的类型，那么有几种情况：...

• 否则，对操作数类型应用二进制数值提升(§5.6.2)，条件表达式的类型是第二个和第三个操作数的提升类型。请注意，二进制数值提升执行解装箱转换(§5.1.8)和值集转换(§5.1.13)。

由于对f2内部条件（null）的结果执行了取消装箱转换，因此引发了NullPointerException。