为什么我可以在三元运算中将原始类型设置为null

Question

我一直以为Java中的原始类型不能为null，因为如果我尝试执行以下操作，则会导致编译时错误：

int test = null;

但是，在三元运算中，似乎允许这样做：

int test = something != 0 ? 5 : null;

这不是三元运算的简称（在这种情况下）：

int test;
if (something != 0){
    test = 5;
} else {
    test = null
}

当然不应该这样做。如果该条件失败，它将NullPointerException由于自动装箱而自动引发a
。那么，为什么Java编译器不会像这样获取废话呢？

Answer 1

发生的情况是Java编译器首先尝试使等式两边的表达式类型:相同。在这种情况下，它将自动装箱5到Integer；请注意，这null是的有效值Integer。整个三元表达式的结果是Integer。您分配一个int，所以Integer随后autounboxed。

本质上，编译器会应用自动装箱和-unboxing，以便该行如下所示：

int test = (something != 0 ? Integer.valueOf(5) : null).intValue();

实际上，自动拆箱null会导致NullPointerException。

那么，为什么Java编译器不会像这样获取废话呢？

因为Java语言的设计者以这样的方式定义了该语言，因此无需决定必须将其视为错误…

Java语言规范的15.25节解释了如何确定整个表达式的类型。