Java多态中重载方法参数分别为父类和子类时的疑惑

问题：

代码如下： 
class A {  
    public String show(D obj){  
           return ("A and D");  
    }   
    public String show(A obj){  
           return ("A and A");  
    } 
}   
class B extends A{ 
    public String show(A obj){  
           return ("B and A");  
    }   
    public String show(B obj){  
           return ("B and B");  
    } 
}  
class C extends B{}   
class D extends B{} 

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

运行代码结果如下： 
B and A 
B and A 

为什么不是 

B and B 
B and B

网友们给出的各种解答，挺好的

网友1、

A ab = new B(); 这里ab的引用类型是A，但是它指向的内存是类型为B的一个实例 想对ab进行方法调用，你调用的方法都必须在 class A里面有的才行（因为你的引用类型为A） 这里 class A有show(A obj) show(D obj)着两个方法 ab.show(b) 在class A中没有找到类型匹配的方法，但是对b进行类型提升后，可以找到 show(A obj)方法，同理 ab.show(c)也是show(A obj)方法；但是ab​​内存地址​​指向一个类型为B内存空间，如果class B Override 了 class A的show(A obj)方法，则调用B的方法，反之，则调用A自己的方法 可以猜测 D d = new D()； ab.show(d)的结果是 A and D 如果注释掉 class A的 show(A obj)方法， ab.show(b) ab.show(c)都会出错。 这里你只要记住，能调用那些方法，由引用类型决定，具体执行情况，由实际内存对象类型决定

网友2、

Override 是多态，由运行时实际类决定，所以调用的是B类的方法而不是A类的方法。 
Overload 是由编译器在编译时决定的，因为 ab 的声明类型为 A，所以会调用 show(A obj) 方法，编译类型一致。

网友3、

​​Java​​​ 执行方法时，是动态匹配的，在运行时才会决定用哪个方法。A ab = new B(); 你调用ab.show(b)时，会根据对象的类型A，去找方法，A中的show(A obj)匹配上，但是此方法在B中被覆盖了，所以会调用B中的show(A obj)。 
如果将代码改为：B ab = new B();，这个执行时：ab.show(b)会直接调用show(B obj)；ab.show(c)会将c向上转型一次，然后调用show(B obj)。 
这样的话最后的结果就会是： 
                 B and B 
                 B and B 
总结： 
    java执行方法时，会根据对象的类型得到相应的方法，如果不存在编译时会报错，真正执行时，会动态去匹配，如果真正的对象是子类的话，且此方法在子类中被覆盖的话，就会执行子类方法。 
    java类型匹配时，如果不能匹配的话就做向上类型转换，转换为父类，直到能够匹配为止，若一直不能匹配在编译时会报错。

网友4、

这个涉及到了java的多态中的向上转型，简单来说，父类引用生成子类对象，那这个引用只能调用在父类中已经定义过的属性和方法，而对子类自己新定义的属性和方法则不能访问。比如你这里的A ab=new B();,ab是一个父类引用，之后执行ab.show(b),这时ab先从父类中查找方法，与之匹配的只有show(A obj)方法，而且发现子类重写了该方法，这时动态链接到子类的show(A obj)方法。 
假如你执行b.show(c),这里，b中有show(A obj)方法和show（B obj)方法，继承层次为C->B->A，根据重载的最近匹配原则，会调用show（B obj)方法。

自己在eclipse中写了上面的代码，利用eclipse的自动提示方法调用功能，看了下对方法的提示，如下图：

可以看到，提示的是A类中的两个方法，而不是B类中的两个方法，编译的时候看的是引用类型，运行的时候调用的是实际类型。