# Java 多態 多態是同一個行為具有多個不同表現形式或形態的能力。 多態性是對象多種表現形式的體現。 比如我們說"寵物"這個對象，它就有很多不同的表達或實現，比如有小貓、小狗、蜥蜴等等。那么我到寵物店說"請給我一只寵物"，服務員給我小貓、小狗或者蜥蜴都可以，我們就說"寵物"這個對象就具備多態性。 接下來讓我們通過實例來了解Java的多態。 ### 例子 ``` public interface Vegetarian{} public class Animal{} public class Deer extends Animal implements Vegetarian{} ``` 因為Deer類具有多重繼承，所以它具有多態性。以上實例解析如下： * 一個 Deer IS-A（是一個） Animal * 一個 Deer IS-A（是一個） Vegetarian * 一個 Deer IS-A（是一個） Deer * 一個 Deer IS-A（是一個）Object 在Java中，所有的對象都具有多態性，因為任何對象都能通過IS-A測試的類型和Object類。 訪問一個對象的唯一方法就是通過引用型變量。 引用型變量只能有一種類型，一旦被聲明，引用型變量的類型就不能被改變了。 引用型變量不僅能夠被重置為其他對象，前提是這些對象沒有被聲明為final。還可以引用和它類型相同的或者相兼容的對象。它可以聲明為類類型或者接口類型。 當我們將引用型變量應用于Deer對象的引用時，下面的聲明是合法的： ``` Deer d = new Deer(); Animal a = d; Vegetarian v = d; Object o = d; ``` 所有的引用型變量d,a,v,o都指向堆中相同的Deer對象。 ## 虛方法 我們將介紹在Java中，當設計類時，被重載的方法的行為怎樣影響多態性。 我們已經討論了方法的重載，也就是子類能夠重載父類的方法。 當子類對象調用重載的方法時，調用的是子類的方法，而不是父類中被重載的方法。 要想調用父類中被重載的方法，則必須使用關鍵字super。 ``` /* 文件名 : Employee.java */ public class Employee { private String name; private String address; private int number; public Employee(String name, String address, int number) { System.out.println("Constructing an Employee"); this.name = name; this.address = address; this.number = number; } public void mailCheck() { System.out.println("Mailing a check to " + this.name + " " + this.address); } public String toString() { return name + " " + address + " " + number; } public String getName() { return name; } public String getAddress() { return address; } public void setAddress(String newAddress) { address = newAddress; } public int getNumber() { return number; } } ``` 假設下面的類繼承Employee類： ``` /* 文件名 : Salary.java */ public class Salary extends Employee { private double salary; //Annual salary public Salary(String name, String address, int number, double salary) { super(name, address, number); setSalary(salary); } public void mailCheck() { System.out.println("Within mailCheck of Salary class "); System.out.println("Mailing check to " + getName() + " with salary " + salary); } public double getSalary() { return salary; } public void setSalary(double newSalary) { if(newSalary >= 0.0) { salary = newSalary; } } public double computePay() { System.out.println("Computing salary pay for " + getName()); return salary/52; } } ``` 現在我們仔細閱讀下面的代碼，嘗試給出它的輸出結果： ``` /* 文件名 : VirtualDemo.java */ public class VirtualDemo { public static void main(String [] args) { Salary s = new Salary("Mohd Mohtashim", "Ambehta, UP", 3, 3600.00); Employee e = new Salary("John Adams", "Boston, MA", 2, 2400.00); System.out.println("Call mailCheck using Salary reference --"); s.mailCheck(); System.out.println("\n Call mailCheck using Employee reference--"); e.mailCheck(); } } ``` 以上實例編譯運行結果如下： ``` Constructing an Employee Constructing an Employee Call mailCheck using Salary reference -- Within mailCheck of Salary class Mailing check to Mohd Mohtashim with salary 3600.0 Call mailCheck using Employee reference-- Within mailCheck of Salary class Mailing check to John Adams with salary 2400.0 ``` 例子中，我們實例化了兩個Salary對象。一個使用Salary引用s，另一個使用Employee引用。 編譯時，編譯器檢查到mailCheck()方法在Salary類中的聲明。 在調用s.mailCheck()時，Java虛擬機(JVM)調用Salary類的mailCheck()方法。 因為e是Employee的引用，所以調用e的mailCheck()方法則有完全不同的結果。 當編譯器檢查e.mailCheck()方法時，編譯器檢查到Employee類中的mailCheck()方法。 在編譯的時候，編譯器使用Employee類中的mailCheck()方法驗證該語句， 但是在運行的時候，Java虛擬機(JVM)調用的是Salary類中的mailCheck()方法。 該行為被稱為虛擬方法調用，該方法被稱為虛擬方法。 Java中所有的方法都能以這種方式表現，借此，重寫的方法能在運行時調用，不管編譯的時候源代碼中引用變量是什么數據類型。