具有自动装箱功能的三元运算符中的Java NPE？

Question

今天早上我遇到了一个非常奇怪的NPE，并将其简化为一个简单的例子。这是 JVM 错误还是正确行为？

public class Test1 {
    class Item {
        Integer id = null;
        public Integer getId() {return id;}
    }   
    public Integer f() {
        Item item = new Item();
        // this works:
        //return item == null ? new Integer(1) : item.getId();

        // NPE??
        return item == null ? 1 : item.getId();
    }   
    public static void main(String[] args) {
        Test1 t = new Test1();
        System.out.println("id is: " + String.valueOf(t.f()));
    }   
}

编译和运行的输出：

$ javac Test1.java 
$ java Test1
Exception in thread "main" java.lang.NullPointerException
at Test1.f(Test1.java:12)
at Test1.main(Test1.java:16)
$

Answer 1

表达式 item == null 的类型？ 1：item.getId() 是 int 而不是 Integer。因此，Java 需要自动将 Integer 拆箱为 int（导致 NullPointerException）。然后它会自动将结果装箱为一个Integer（如果没有NullPointerException，它会）从方法返回。

另一方面，表达式 item == null ? new Integer(1) ：item.getId() 的类型为 Integer，不需要进行自动拆箱。

当您自动取消装箱 null Integer 时，您会收到 NullPointerException （请参阅 自动装箱），这就是您所经历的。

回答你的问题，这是正确的行为。

Answer 2

如果你反编译类文件，你会清楚地看到你的 NPE...

return Integer.valueOf(item != null ? item.getId().intValue() : 1);

Answer 3

item 可能不是 null，但是当您调用 getId() 时，就会返回 null。当您尝试自动取消装箱 null 时，您会收到 NPE。

Answer 4

下面的返回类型是 Integer -

public Integer f() {
    Item item = new Item();
    // this works:
    //return item == null ? new Integer(1) : item.getId();

    // NPE??
    return item == null ? 1 : item.getId();
}

以下结果 -

item == null ? 1 : item.getId()

在您的情况下是 null 。

因此，JVM 抛出 NPE 是因为它试图自动装箱 null。

尝试 -

new Integer(null); // and
Integer.valueOf(null);

两者都会抛出 NPE。

Answer 5

发生这种情况是因为您使用了条件运算符 ?。行

return item == null ? 1 : item.getId();

相当于

int result = item == null ? 1 : item.getId();
return result;

The result is int 因为表达式中的第一个操作数。这就是当您用 Integer 显式包装 1 时您的代码可以工作的原因。在这种情况下，编译器会创建类似

Integer result = item == null ? new Integer(1) : item.getId();
return result;

So, NPE 当尝试将 item.getId() （即 null）“转换”为 int 时发生。