java - 静态和动态绑定(bind)歧义

Question

我有以下代码:

class A{
    public void print(A a){
        System.out.println("A 1");
    }
}

class B extends A{
    public void print(A a){
        System.out.println("B 1");
    }
    public void print(B b){
        System.out.println("B 2");
    }
}

class C extends B{
    public void print(A a){
        System.out.println("C 1");
    }
    public void print(B b){
        System.out.println("C 2");
    }
    public void print(C c){
        System.out.println("C 3");
    }
}

class D extends C{
    public void print(A a){
        System.out.println("D 1");
    }
    public void print(B b){
        System.out.println("D 2");
    }
    public void print(C c){
        System.out.println("D 3");
    }
    public void print(D d){
        System.out.println("D 4");
    }
}

public class Test{
    public static void main(String args[]){
        B inst = new C();
        inst.print(new D());
    }
}

输出是 C 2，但我不明白为什么。好的，我明白了，由于动态绑定(bind)，将调用 C 类中的方法。那么为什么它选择第二种方法呢？为什么它不选择第一个？

Answer 1

由于inst被声明为类型B，唯一可见的方法是对B可见的方法

class B extends A{
    // @Override
    public void print(A a){
        System.out.println("B 1");
    }
    public void print(B b){
        System.out.println("B 2");
    }
}

通过方法重载，the method with the most specific possible arguments is chosen.在本例中，即 print(B)。由于多态性或动态绑定(bind)，C 的 print(B) 将被调用。