Java Dispatching-Runtime类型

Question

我对java中的方法调度感到困惑。 为什么第一个方法“ a.m1（b）”调用类A？

调用变量是一个。 它的运行时类型是B，不是吗？

class A {
    public void m1(A a){
        System.out.println("A-m1");
    }
    public void m1(){
        System.out.println("A-m1");
    }

}
class B extends A {
    public void m1( B b){
        System.out.println("B-m1");

    }
    public void m1(){
        System.out.println("B-m1");

    }

}
public class HelloWorld {
    public static void main(String[] args) {

    B b = new B();  
    A a = new B();

        a.m1(b);//prints A-m1
        a.m1();//prints B-m1

    }

}

Answer 1

过载分辨率基于编译时类型完成。 类型为A的变量仅公开方法m1()和m1(A) 。 因为传入参数，所以调用m1(A) ; 或者更确切地说，适当地覆盖它。 除了m1(B) 不是 m1(A)的覆盖 。 （在我的头顶，我不知道覆盖是否可以扩大参数签名，但他们当然不能缩小它们。）