将null传递给java中的重载方法|重载的变量是Exception类型

Question

我正在Java中练习一些例子。代码如下所示：

public class NullPassing {
    public static void main(String[] args) {
        method1(null);
    }
    public static void method1(Exception e) {
        System.out.println(e);
    }
    public static void method1(ArithmeticException e) {
        System.out.println(e);
    }
}

关于这一点，我没有什么问题，

1） 上面的代码使用method1（算术异常e）执行并打印null，为什么不使用异常（因为它位于层次结构的顶部）？

猜测：这是因为与异常相比，算术异常更加具体。如果是这样，为什么要问第二个问题

2） 通过在现有代码中引入以下方法，程序显示编译时异常。为什么？

public static void method1(NullPointerException e) {
    System.out.println(e);
}

帮助我学习。谢谢

Answer 1

Java尝试为任何对象类型选择最具体的重载方法。null对象的类型为“[特殊null类型]”，它是所有非基元类型的子类型；因此，最具体的子类型是算术异常。

有关Java编译器如何解决重载的更多信息，请参阅以下答案：https://stackoverflow.com/a/7199189/112964

一旦您有了不在同一继承层次结构中的多个重载，Java编译器将获得多个最特定重载的可能候选对象：最特定的候选对象是method1（NullPointerException）和method1（ArrithmeticException）。因此，您必须通过将null强制转换为重载类型来告诉编译器您实际需要什么：例如method1（（NullPointerException）null）。

有关不明确重载的详细信息，请参阅https://stackoverflow.com/a/5229890/112964

Answer 2

我们有两个候选人，

 public static void method1(Exception e) {
 }
 public static void method1(ArithmeticException e) {
 }

我们传递一个null，两个方法都接受null，所以我们选择更具体的一个，ArithmeticException是一个异常，但相反的不是真的，因此，ArithmeticException更具体。

现在我们有三位候选人

public static void method1(Exception e) {
}
public static void method1(ArithmeticException e) {
}
public static void method1(NullPointerException e) {
}

第一个是等式之外的，因为还有更具体的，所以我们剩下两个候选者，一个接受NullPointerException，另一个接受ArtihmeticException，两者都处于同一级别，因此我们有一个不明确的调用。

Answer 3

你对1的回答是正确的。给定两个或多个重载是候选的选择，并且其中一个比所有其他重载都更具体，则选择最具体的一个。

JLS这样说（第15.12.2.5节）：

如果一个方法调用可以访问并应用多个成员方法，则需要选择一个成员方法来为运行时方法调度提供描述符。Java编程语言使用的规则是选择最具体的方法。非正式的直觉是，如果第一个方法处理的任何调用都可以传递给另一个方法而不会出现编译时错误，那么一个方法比另一个方法更具体。

（然后它正式解释了“更具体”的含义。）

在第二个案例/问题中，您有：

public class NullPassing {
    public static void main(String[] args) {
        method1(null);
    }
    public static void method1(Exception e) {
        System.out.println(e);
    }
    public static void method1(ArithmeticException e) {
        System.out.println(e);
    }
    public static void method1(NullPointerException e) {
        System.out.println(e);
    }  
}

现在我们有三个候选者（“可访问且适用”的方法）。第一个不如其他两个具体，但剩下的两个候选者都没有比另一个更具体。因此这是一个编译错误。

显然，您可以通过强制转换null来消除调用的歧义；例如

  method1((NullPointerException)null)