为什么我可以在 Java 中抛出 null？ [复制]

Question

运行时：

public class WhatTheShoot {

    public static void main(String args[]){
        try {
            throw null;
        } catch (Exception e){
            System.out.println(e instanceof NullPointerException);
            System.out.println(e instanceof FileNotFoundException);
        }
    }
}

回复是：

true  
false

这对我来说相当惊人。我原以为这会产生编译时错误。

为什么我可以在 Java 中抛出 null，为什么它会将它向上转换为 NullPointerException？

（实际上，我不知道这是否是一个“upcast”，因为我正在抛出 null）

除了一个非常愚蠢的面试问题（请不要在面试中问这个问题）我看不出有任何理由throw null。也许你想被解雇，但那是......我的意思是，为什么还有人会throw null？

有趣的事实 IntelliJ IDEA 12 告诉我，我的行 e instanceof NullPointerException 将永远是错误的。这根本不是真的。

Answer 1

为什么将它向上转换为 NullPointerException？

根据JLS 14.18：

throw 语句首先计算表达式。如果 Expression 的评估由于某种原因突然完成，那么 throw 会因为这个原因而突然完成。如果表达式的求值正常完成，产生一个非空值 V，则 throw 语句突然完成，原因是带有值 V 的 throw。如果表达式的求值正常完成，产生一个空值，那么一个创建并抛出类 NullPointerException 的实例 V' 而不是 null。 然后 throw 语句突然完成，原因是带有值 V' 的 throw。

为什么我可以在 java 中抛出 null ？

您可以抛出 Throwable 类型的对象，并且由于 null 是 Throwable 的有效引用，编译器允许这样做。

这就是Neal Gafter says (archived)

虽然 null 可以分配给每个引用类型，但 null 的类型本身并不是引用类型。我们的意图是从 JLS 的第三版中删除 throw 语句中的表达式为引用类型的要求，但该更改从未真正进入已发布的版本。因此，这是我在 SE 5 中引入的 javac 编译器错误。

Answer 2

bharal...它看起来是一个 javac 编译器错误。我认为它是在 SE 5 中引入的。 Null 可以分配给任何引用类型。但是，“null 的类型”本身并不是引用类型。程序编译它是因为 null 可以简单地转换为 Exception。 而且 throw 在声明之后查找对象引用，并且 null 可以作为对象引用，它会显示结果。

关于 throw as 的 JLS 文档：

“throw 语句首先计算表达式。如果评价 由于某种原因，表达式突然完成，然后抛出 出于这个原因突然完成。如果表达式的评估 正常完成，产生一个非空值 V，然后抛出 语句突然完成，原因是值 V 的 throw。 如果表达式的评估正常完成，则产生 null 值，然后创建类 NullPointerException 的实例 V' 并抛出而不是null。然后 throw 语句完成 突然，原因是价值为 V' 的投掷。”

Answer 3

null 可以转换为任何东西*，包括异常。就像你可以返回 null 如果你的方法签名指定你应该返回一个异常（或者实际上是一个字符串，或者 Person 类），你可以抛出它。

*不包括原始类型。

Answer 4

以这种方式思考它可以更清楚地了解它的工作原理：

try {
    Exception foo = null;
    if(false) {
        foo = new FileNotFoundException();
    } // Oops, forgot to set foo for the true case..
    throw foo;
} catch (Exception e){
    System.out.println(e instanceof NullPointerException);
    System.out.println(e instanceof FileNotFoundException);
}

Answer 5

看起来不是null 被视为NullPointerException，而是尝试throw null 的行为本身 抛出NullPointerException。

换句话说，throw 检查其参数是否为非空，如果为空，则抛出 NullPointerException。

JLS 14.18 specifies 这种行为：

如果表达式的评估正常完成，产生一个空值，则创建并抛出类 NullPointerException 的实例 V' 而不是空值。然后 throw 语句突然完成，原因是带有值 V' 的 throw。

Answer 6

它的行为符合JLS：

如果表达式的评估正常完成，产生一个空值，则创建并抛出类 NullPointerException 的实例 V' 而不是空值。

Answer 7

不确定，但我猜是“抛出 null”； not 是否工作，并且尝试它会导致程序抛出异常，并且该异常恰好是（鼓）NullPointerException...