静态类型实际类型为父子关系中重写方法的调用规则

今天在赛码网遇到一道题，大概为：

public class A {
        public String show(D obj) {
            return ("A and D");
        }
        public String show(A obj) {
            return ("A and A");
        } 
    }
    public class B extends A{
        public String show(B obj){
            return ("B and B");
        }       
        public String show(A obj){
            return ("B and A");
        } 
    }

public class Test{
    public static void main(String[] args) {
        A a2 = new B();B b = new B();
        System.out.println(a2.show(b)) ;     
    }
}

正确输出为：B and A

原理如下：

    变量a2的静态类型为A，实际类型为B。a2在调用show方法时，虽然变量a2指向了B实例，但其静态类型是A，所以只能调用父类A所拥有的方法。接着在A类中查找对应的方法，在A类中没有参数为B类的方法，所以将会对B类进行向上转型，转为A类。所以，这次方法调用实际调用的方法是A类中的show(A obj)方法，注意了，这时，jvm发现B实例重写了其父类A的show(A obj)方法，所以show(A obj)将动态连接到B类的show(A obj)方法中，输出自然就是 B and A 了。