返回NULL作为三元运算符允许的int，但不允许if语句

Question

返回NULL作为三元运算符允许的int，但不允许if语句让我们看一下以下代码片段中的简单Java代码：public class Main {     private int temp() {         return true ? null : 0;         // No compiler error - the compiler allows a return value of null         // in a method signature that returns an int.     }     private int same() {         if (true) {             return null;             // The same is not possible with if,             // and causes a compile-time error - incompatible types.         } else {             return 0;         }     }     public static void main(String[] args) {         Main m = new Main();         System.out.println(m.temp());         System.out.println(m.same());     }}在最简单的Java代码中，temp()方法不会发出编译器错误，即使函数的返回类型为int，我们正在尝试返回值。null(通过声明return true ? null : 0;)。在编译时，这显然会导致运行时异常。NullPointerException.但是，如果我们用if语句(如same()方法)，其中是吗？发出编译时错误！为什么？

Answer 1

实际上，这一切都是在Java语言规范.

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

• 如果第二个和第三个操作数具有相同的类型(这可能是空类型)，那么这就是条件表达式的类型。

因此，您(true ? null : 0)获取int类型，然后自动装箱到Integer。

尝试像这样的东西来验证这一点(true ? null : null)就会得到编译器错误。

Answer 2

编译器解释null作为对Integer，为条件运算符应用自动装箱/取消装箱规则(如Java语言规范，15.25)，并愉快地向前移动。这将生成一个NullPointerException在运行时，您可以通过尝试来确认。

Answer 3

我认为，Java编译器解释true ? null : 0作为Integer表达式，该表达式可以隐式转换为int，可能会给予NullPointerException.

对于第二种情况，表达式null是特别的空型 看见，所以密码return null造成类型错配。