Java中多態的相關知識

例子：

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 C extends B{

}

public class D extends B{

}

public class Test {
    public static void main(String[] args) {
        A a1 = new A();
        A a2 = new B();
        B b = new B();
        C c = new C();
        D d = new D();
        
        System.out.println("1--" + a1.show(b));
        System.out.println("2--" + a1.show(c));
        System.out.println("3--" + a1.show(d));
        System.out.println("4--" + a2.show(b));
        System.out.println("5--" + a2.show(c));
        System.out.println("6--" + a2.show(d));
        System.out.println("7--" + b.show(b));
        System.out.println("8--" + b.show(c));
        System.out.println("9--" + b.show(d));      
    }
}

運行結果爲：

1--A and A
2--A and A
3--A and D
4--B and A
5--B and A
6--A and D
7--B and B
8--B and B
9--A and D

在這裏看結果一、二、3還好理解，從4開始就開始糊塗了，對於4來講爲何輸出不是「B and B」呢？

      首先咱們先看一句話：當超類對象引用變量引用子類對象時，被引用對象的類型而不是引用變量的類型決定了調用誰的成員方法，可是這個被調用的方法必須是在超類中定義過的，也就是說被子類覆蓋的方法。這句話對多態進行了一個歸納。其實在繼承鏈中對象方法的調用存在一個優先級：this.show(O)、super.show(O)、this.show((super)O)、super.show((super)O)。

      分析：

     從上面的程序中咱們能夠看出A、B、C、D存在以下關係。

首先咱們分析5，a2.show(c)，a2是A類型的引用變量，因此this就表明了A，a2.show(c),它在A類中找發現沒有找到，因而到A的超類中找(super)，因爲A沒有超類（Object除外），因此跳到第三級，也就是this.show((super)O)，C的超類有B、A，因此(super)O爲B、A，this一樣是A，這裏在A中找到了show(A obj)，同時因爲a2是B類的一個引用且B類重寫了show(A obj)，所以最終會調用子類B類的show(A obj)方法，結果也就是B and A。

      按照一樣的方法我也能夠確認其餘的答案。

      方法已經找到了可是咱們這裏仍是存在一點疑問，咱們仍是來看這句話：當超類對象引用變量引用子類對象時，被引用對象的類型而不是引用變量的類型決定了調用誰的成員方法，可是這個被調用的方法必須是在超類中定義過的，也就是說被子類覆蓋的方法。這咱們用一個例子來講明這句話所表明的含義：a2.show(b)；

      這裏a2是引用變量，爲A類型，它引用的是B對象，所以按照上面那句話的意思是說有B來決定調用誰的方法,因此a2.show(b)應該要調用B中的show(B obj)，產生的結果應該是「B and B」，可是爲何會與前面的運行結果產生差別呢？這裏咱們忽略了後面那句話「可是這兒被調用的方法必須是在超類中定義過的」，那麼show(B obj)在A類中存在嗎？根本就不存在！因此這句話在這裏不適用？那麼難道是這句話錯誤了？非也！其實這句話還隱含這這句話：它仍然要按照繼承鏈中調用方法的優先級來確認。因此它纔會在A類中找到show(A obj)，同時因爲B重寫了該方法因此纔會調用B類中的方法，不然就會調用A類中的方法。

      因此多態機制遵循的原則歸納爲：當超類對象引用變量引用子類對象時，被引用對象的類型而不是引用變量的類型決定了調用誰的成員方法，可是這個被調用的方法必須是在超類中定義過的，也就是說被子類覆蓋的方法，可是它仍然要根據繼承鏈中方法調用的優先級來確認方法，該優先級爲：this.show(O)、super.show(O)、this.show((super)O)、super.show((super)O)。