一個小例子理解多態 - 修改 0 次

1、Java 多態機制

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

通俗的解釋：當超類對象引用變量引用子類對象時，如果想用到子類裏的方法，這個方法必須在父類裏也有，也就是必須是子類重寫的方法。如果這個方法只有子類有，而父類沒有，則必須遵循這樣的優先級：this.show(O)、super.show(O)、this.show((super)O)、super.show((super)O)。當超類對象引用變量引用子類對象時，就意味着子類放棄了使用自己獨有的方法的權利。

---

舉個例子：

package test;

//父類 A
class A {
    public String show(D obj) {
        return ("A and D");
    }

    public String show(A obj) {
        return ("A and A");
    }

}

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

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

// 繼承類 B 的子類 C
class C extends B {

}

// 繼承類 B 的子類 D
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--" + a2.show(b));
        System.out.println("4--" + a2.show(d));
        System.out.println("5--" + b.show(b));
        System.out.println("6--" + b.show(c));
        System.out.println("7--" + b.show(d));
    }
}

運行結果：

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

也許輸出結果和您想的不同，我們來分析一下：
父類 A 有方法 show(d) 和 show(a),子類 B 有方法 show(b) 和 show(a),也就是說子類 B 只重寫了方法show(a)，而沒有重寫方法 show(d)，並且，方法 show(b) 是子類 B 獨有的方法。

1. a1.show(b)，a1 沒有 show(b) 方法 – > 開始尋找 super.show(b)，由於 a1 沒有父類 –> 開始尋找 this.show((super)b)，由於 b 有父類 a，所以執行 a1.show(a)，輸出 A and A。
2. a1.show(c)，與 1 同理。
3. a2.show(b)，這個比較關鍵，a2 是引用變量，爲 A 類型，它引用的是 B 對象，因此按照上面那句話的意思是說由 B 來決定調用誰的方法,所以 a2.show(b) 應該要調用 B 中的 show(B obj)，結果應該是“B and B”，但爲什麼沒有這樣呢，因爲方法 show(b) 是子類 B 獨有的方法，不是重寫父類的，所以不能使用 –> 開始尋找 super.show(b)，由於 a1 沒有父類–> 開始尋找 this.show((super)b），由於 b 有父類 a，並且 b 重寫了 a 的 show(a) 方法，所以執行 b. show(a)，輸出 B and A。
4. a2.show(d)，b 沒有重寫好的方法 show(d) –> a.show(d)，輸出 A and D。
5. b.show(b)，毫無疑問。
6. b.show(c)，b 沒有方法 show(c) –> ,c 有父類 b，使用 b.show(b)，輸出 B and B。
7. b.show(d)，b 沒有方法 show(d)，巴特，b 的父類 a 有，所以使用 a.show(d)，輸出 A and D，我們都知道，子類使用父類的方法是理所當然的。