問題：

程式碼如下： 
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類中的兩個方法，編譯的時候看的是引用型別，執行的時候呼叫的是實際型別。