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

Question

让我们在以下片段中查看简单的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

编译器将对的解释解释null为null Integer，对条件运算符应用自动装箱/拆箱规则（如Java语言规范15.25中所述），并愉快地前进。这将NullPointerException在运行时生成一个，你可以通过尝试进行确认。