Java重载方法多参数场景下最具体方法规则及歧义问题解析

问题代码 #

class Driver {
    public static void main(String[] args) {
        Test1 t1 = new Test1();
        Test2 t2 = new Test2();
        Test3 t3 = new Test3();
        
        Object o = "";
        String s = "";
        
        t2.method1(t2, o); // calls method1 on Test1
        t2.method1(t3, s); // compile error: reference to method1 is ambiguous
    }
}

class Test1 {
    public void method1(Test2 v1, Object o) {
        System.out.println("Test1 called");
    }
}

class Test2 extends Test1 {
    public void method1(Test1 v1, String o) {
        System.out.println("Test2 called");
    }
}

class Test3 extends Test2 {
}

问题描述 #

我定义了Test1→Test2→Test3的继承类结构，了解到Java处理参数存在is-a关系的重载方法时会选择最具体的方法，因此测试该规则在多参数场景的表现。

第一个调用t2.method1(t2, o)解析为Test1的实现，符合预期：Object不是String，Test2的method1(Test1 v1, String o)无法匹配。

但第二个调用t2.method1(t3, s)，我认为应匹配method1(Test2 v1, Object o)，它看似是最“具体”的方法，然而编译器返回reference to method1 is ambiguous。请问Java如何处理这类情况？

解析 #

Java的重载方法解析是编译期静态类型匹配，核心流程分为两步：

1. 筛选所有适用方法：即每个参数都能通过隐式类型转换（包括子类向上转型）匹配的方法；
2. 从适用方法中选出唯一最具体的方法：如果没有唯一的最具体方法，就会触发歧义错误。

步骤1：筛选适用方法 #

对于调用t2.method1(t3, s)，两个重载方法都属于适用方法：

• Test1的method1(Test2 v1, Object o)：
  • 第一个参数：Test3是Test2的子类，t3的静态类型Test3可隐式转为Test2；
  • 第二个参数：String是Object的子类，s可隐式转为Object；
• Test2的method1(Test1 v1, String o)：
  • 第一个参数：Test3是Test1的子类，t3可隐式转为Test1；
  • 第二个参数：s的类型String与参数类型完全匹配；

步骤2：判断方法的具体性 #

Java定义“方法M1比M2更具体”的规则是：M1的每一个参数类型都比M2对应的参数类型更具体（即M1的参数类型是M2参数类型的子类/子类型）。

对比两个适用方法：

• 第一个参数维度：Test2（Test1方法的参数）比Test1（Test2方法的参数）更具体，但反过来不成立；
• 第二个参数维度：String（Test2方法的参数）比Object（Test1方法的参数）更具体，但反过来不成立；

没有任何一个方法能在所有参数维度上都比另一个方法更具体：Test1的方法在第一个参数更具体，但第二个参数更宽泛；Test2的方法则相反。这种情况下编译器无法确定唯一的目标方法，因此抛出歧义错误。

你认为应该匹配Test1的方法，是只考虑了单个参数的具体性，但Java的多参数重载匹配要求整体参数维度的绝对具体性，不能仅以单个参数作为判断依据。

内容的提问来源于stack exchange，提问作者Kryptic Coconut