NullPointerException 通过 Java 三元运算符的自动装箱行为

Question

前几天我遇到了一个非常奇怪的NullPointerException这是由三元运算符中的意外类型转换引起的。 鉴于这个（无用的示例）功能：

Integer getNumber() {
    return null;
}

我期望编译后以下两个代码段完全相同：

Integer number;
if (condition) {
    number = getNumber();
} else {
    number = 0;
}

对比

Integer number = (condition) ? getNumber() : 0;

.

事实证明，如果condition为true ，则if语句工作正常，而第二个代码段中的三元操作会抛出NullPointerException 。 似乎三元运算决定在将结果自动装箱回Integer之前将两个选项都类型转换为int ！？！ 事实上，如果我显式地将0为Integer ，异常就会消失。 换句话说：

Integer number = (condition) ? getNumber() : 0;

不等同于：

Integer number = (condition) ? getNumber() : (Integer) 0;

.

因此，三元运算符和等效的if-else语句之间似乎存在字节码差异（这是我没想到的）。 这就提出了三个问题：为什么会有差异？ 这是三元实现中的错误还是类型转换的原因？ 鉴于存在差异，三元运算的性能是否比等效的if语句更高或更低（我知道，差异不会很大，但仍然如此）？

Answer 1

根据JLS ：-

条件表达式的类型确定如下：

• 如果第二个和第三个操作数具有相同的类型（可能是空类型），那么这就是条件表达式的类型。
• 如果第二个和第三个操作数之一是原始类型 T，另一个的类型是应用装箱转换的结果
  (§5.1.7) 到 T，则条件表达式的类型为 T。

Answer 2

问题在于：

Integer number = (condition) ? getNumber() : 0;

强制对 getNumber() 的结果进行拆箱和重新装箱。 这是因为三元 (0) 的 false 部分是整数，因此它尝试将 getNumber() 的结果转换为 int。 而以下不是：

Integer number = (condition) ? getNumber() : (Integer) 0;

这不是错误，只是 Java 选择做事的方式。

Answer 3

这就是它应该如何工作。 三元运算符并不意味着等同于常规if语句。 if和else的主体是语句，而后面的部分是? 和:是表达式，需要计算为相同的类型。

换句话说： a = b ? c : d a = b ? c : d不应该等价于if (b) a = c; else a = d; if (b) a = c; else a = d; . 相反， b ? c : d b ? c : d本身就是一个表达式，将其结果赋值给a不会影响结果。