javac编译器如何检测方法重载歧义及编译时识别空值问题

一、javac如何检测方法重载的歧义并报错 #

Java编译器解析重载方法调用时，遵循最具体匹配的核心规则，具体流程如下：

1. 先收集所有参数数量与调用语句匹配的重载方法；
2. 从这些方法里筛选出参数类型与实参兼容的候选方法——对于null实参来说，所有引用类型的参数都兼容，因为null是所有引用类型的子类型；
3. 在候选方法中判断最具体的参数类型：如果类型A是类型B的子类，那么A比B更具体，编译器会优先选择参数为A的方法；
4. 当候选方法里存在多个无法区分优先级的最具体类型时（这些类型之间无继承关系，互为兄弟类或无层级关联），编译器会判定为方法调用歧义，直接在编译阶段抛出错误。

结合你给出的示例代码来看：
传入null时，四个重载方法都符合参数数量要求且参数类型兼容。但其中FileNotFoundException（属于IOException分支）和ArithmeticException（属于RuntimeException分支）是同级子类，彼此没有继承关系，编译器无法确定优先调用哪一个，因此触发编译错误。

二、编译器如何在执行前识别传入null的情况 #

Java编译器不会主动阻止传入null，但会在重载方法解析过程中处理null实参的场景：

• null作为特殊的引用值，属于所有引用类型的子类型，因此会被纳入所有参数为引用类型的重载方法的候选池；
• 编译器按照“最具体匹配”规则筛选候选方法，如果筛选后存在唯一的最具体方法，就会确定调用该方法，不会报错；如果出现多个无法区分的最具体方法，就会抛出歧义错误；
• 注意：编译器不会在编译时检查null是否会导致运行时空指针异常，只会处理重载解析层面的歧义问题。

比如如果代码中只保留overloadedMethod(IOException e)和overloadedMethod(FileNotFoundException e)，传入null时编译器会自动选择参数为FileNotFoundException的方法，因为它是更具体的子类，不会报错。

public class Ambiguity {
    public static void main(String[] args) {
        Ambiguity test = new Ambiguity();
        test.overloadedMethod(null);               
    }

    void overloadedMethod(IOException e) {
        System.out.println("1");
    }

    void overloadedMethod(FileNotFoundException e) {
        System.out.println("2");
    }

    void overloadedMethod(Exception e) {
        System.out.println("3");
    }

    void overloadedMethod(ArithmeticException e) {
        System.out.println("4");
    }
}

内容的提问来源于stack exchange，提问作者Sethu MJ