雷林鵬分享：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);

　　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

　　Call mailCheck using Salary reference --

　　Within mailCheck of Salary class

　　Mailing check to Mohd Mohtashim with salary 3600.0

　　Call mailCheck using Employee reference--

　　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中所有的方法都能以這種方式表現，借此，重寫的方法能在運作時調用，不管編譯的時候源代碼中引用變量是什麼資料類型。