多型分兩種：
(1) 編譯時多型（設計時多型）：方法過載。
(2) 執行時多型：JAVA執行時系統根據呼叫該方法的例項的型別來決定選擇呼叫哪個方法則被稱為執行時多型。（我們平時說得多的事執行時多型，所以多型主要也是指執行時多型）
執行時多型存在的三個必要條件：
一、要有繼承（包括介面的實現）；
二、要有重寫；
三、父類引用指向子類物件。
詳細解釋：
執行時多型的解釋：a.執行時多型是指程式中定義的引用變數所指向的具體型別和b.通過該引用變數發出的方法呼叫在程式設計時並不確定，而是在程式執行期間才確定，即一個引用變數倒底會指向哪個類的例項物件，該引用變數發出的方法呼叫到底是哪個類中實現的方法，必須在由程式執行期間才能決定.
1.程式序中定義的引用變數所指向的具體型別不確定(即一個引用變數倒底會指向哪個類的例項物件) 。
例子 ：
driver 類中 drive 方法 （Vehicle類 vehicle）{}
e( new car() )
e( new bus() )
其中vehicle 變數無法確定具體使用哪個子類例項。
1.通過該引用變數發出的方法呼叫在程式設計時並不確定(該引用變數發出的方法呼叫到底是哪個類中實現的方法) 。
例子 : 廚師，園丁，理髮師的Cut 方法呼叫().
多型的'好處：
1.可替換性（substitutability）。多型對已存在程式碼具有可替換性。例如，多型對圓Circle類工作，對其他任何圓形幾何體，如圓環，也同樣工作。
2.可擴充性（extensibility）。多型對程式碼具有可擴充性。增加新的子類不影響已存在類的多型性、繼承性，以及其他特性的執行和操作。實際上新加子類更容易獲得多型功能。例如，在實現了圓錐、半圓錐以及半球體的多型基礎上，很容易增添球體類的多型性。
3.介面性（interface-ability）。多型是超類通過方法簽名，向子類提供了一個共同介面，由子類來完善或者覆蓋它而實現的。如圖8.3 所示。圖中超類Shape規定了兩個實現多型的介面方法，computeArea()以及computeVolume()。子類，如Circle和Sphere為了實現多型，完善或者覆蓋這兩個介面方法。
4.靈活性（flexibility）。它在應用中體現了靈活多樣的操作，提高了使用效率。
5.簡化性（simplicity）。多型簡化對應用軟體的程式碼編寫和修改過程，尤其在處理大量物件的運算和操作時，這個特點尤為突出和重要。
實際運用：
結合配置檔案的使用，聯絡Spring框架，利用反射，動態的呼叫類，同時不用修改原始碼，直接新增新類和修改配置檔案，不需要重啟服務器便可以擴充套件程式。
小結：
使用父類型別的引用指向子類的物件，該引用呼叫的師父類中定義的方法和變數，變數不能被重寫（覆蓋）；如果子類中重寫了父類中的一個方法，那麼在呼叫這個方法的時候，將會呼叫子類中的這個方法；
注意特殊情況，如果該父類引用所呼叫的方法引數列表未定義，就呼叫該父類的父類中查詢，如果還沒找到就強制向上型別轉換引數列表中的引數型別，具體優先順序高到低依次如下：
(O)、(O)、((super)O)、((super)O)。
