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：

 这里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：  

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类型匹配时，如果不能匹配的话就做向上类型转换，转换为父类，直到能够匹配为止，若一直不能匹配在编译时会报错。