Java 三元运算符似乎始终将整数转换为 int

Question

我的一个学生在使用有时会导致 null 的三元运算符时遇到空指针异常。我想我理解这个问题，但它似乎是由不一致的类型推断引起的。或者换句话说，我觉得这里的语义不一致，在不改变他的方法的情况下应该可以避免错误。

这个问题与Another question about ternary operators 相似，但不同。 .在那个问题中，必须将 null Integer 强制为 int，因为函数的返回值是 int。但是，在我的学生代码中情况并非如此。

这段代码运行良好:

Integer x = (5>7) ? 3 : null;

x 的值为空。没有 NPE。在这种情况下，编译器可以计算出三元运算符的结果需要是 Integer，因此它将 3(一个 int)转换为 Integer，而不是将 null 转换为 int。

但是，运行这段代码:

Integer x = (5>7) ? 3 : (5 > 8) ? 4 : null;

结果为 NPE。发生这种情况的唯一原因是因为 null 被转换为 int，但这并不是真正必要的，而且似乎与代码的第一位不一致。也就是说，如果编译器可以为第一个片段推断出三元运算符的结果是一个整数，为什么在第二个片段中不能这样做呢？第二个三元表达式的结果必须是一个整数，并且由于该结果是第一个三元运算符的第二个结果，所以第一个三元运算符的结果也应该是一个整数。

另一个片段工作正常:

Integer three = 3;

Integer x = (5>7) ? three : (5 > 8) ? three+1 : null;

在这里，编译器似乎能够推断出两个三元运算符的结果都是整数，因此不会强制将 null 强制转换为 int。

Answer 1

关键是条件运算符是右结合的。判断条件表达式结果类型的规则是hideously complicated但它归结为:

1. 第一个(5 > 8) ? 4 : null被评估，第二个操作数是 int ，第三个是null ，如果我们查表，这个表达式的结果类型是Integer . (换句话说:因为操作数之一是 null ，这被视为引用条件表达式)
2. 然后我们有(5>7) ? 3 : <previous result>求值，这意味着在上面链接的表中，我们需要查找第二个操作数 int 的结果类型第三个操作数 Integer : 它是 int .这意味着 <previous result>需要拆箱并失败并显示 NPE .

那么为什么第一种情况有效呢？

我们有 (5>7) ? 3 : null; ，正如我们所见，如果第二个操作数是 int第三个是null , 结果类型为 Integer .但是我们把它赋值给一个变量Integer类型，因此不需要拆箱。

然而，这只发生在 null 上文字，以下代码仍将抛出 NPE，因为操作数类型为 int和 Integer产生一个数字条件表达式:

Integer i = null;
Integer x = (5>7) ? 3 : i;

总而言之:有一种逻辑，但不是人的逻辑。

1. 如果两个操作数都是编译类型Integer , 结果是 Integer .
2. 如果一个操作数的类型是int另一个是Integer , 结果是 int .
3. 如果一个操作数是null type (其中唯一有效值是 null 引用)，结果是 Integer .