繼承：在多型中必須存在有繼承關係的子類和父類。

重寫：子類對父類中某些方法進行重新定義，在呼叫這些方法時就會呼叫子類的方法。

向上轉型：在多型中需要將子類的引用賦給父類物件，只有這樣該引用才能夠具備技能呼叫父類的方法和子類的方法。（當子類重寫父類的方法被呼叫時，只有物件繼承鏈中的最末端的方法才會被呼叫。

但是向上轉型存在一些缺憾，那就是它必定會導致一些方法和屬性的丟失，而導致我們不能夠獲取它們。所以父類型別的引用可以呼叫父類中定義的所有屬性和方法，對於只存在與子類中的方法和屬性它就望塵莫及了。

指向子類的父類引用由於向上轉型了，它只能訪問父類中擁有的方法和屬性，而對於子類中存在而父類中不存在的方法，該引用是不能使用的，哪怕是過載（方法名相同，但引數不同）該方法。若子類重寫了父類中的某些方法，在呼叫該些方法的時候，必定是使用子類中定義的這些方法（動態連線、動態呼叫）。

1. publicclass Wine {  
2.     publicvoid fun1(){  
3.         System.out.println("Wine 的Fun....."
   );  
4.         fun2();  
5.     }  
6.     publicvoid fun2(){  
7.         System.out.println("Wine 的Fun2...");  
8.     }  
9. }  
10. publicclass JNC extends Wine{  
11.     publicvoid fun1(String a){  
12.         System.out.println("JNC 的 Fun1...");  
13.         fun2();  
14.     }  
15.     publicvoid fun2(){  
16.         System.out.println("JNC 的Fun2..."
    );  
17.     }  
18. }  
19. publicclass Test {  
20.     publicstaticvoid main(String[] args) {  
21.         Wine a = new JNC();  
22.         a.fun1();  
23.     }  
24. }  
25. -------------------------------------------------  
26. Output:  
27. Wine 的Fun.....  
28. JNC 的Fun2...  

多型即多種形態，在執行時確定其狀態，在編譯階段無法確定其型別，這就是多型。Python中的多型和Java以及C++中的多型有點不同，Python中的變數是弱型別的，在定義時不用指明其型別，它會根據需要在執行時確定變數的型別（個人覺得這也是多型的一種體現），並且Python本身是一種解釋性語言，不進行預編譯，因此它就只在執行時確定其狀態，故也有人說Python是一種多型語言。在Python中很多地方都可以體現多型的特性，比如內建函式len(object)，len函式不僅可以計算字串的長度，還可以計算列表、元組等物件中的資料個數，這裡在執行時通過引數型別確定其具體的計算過程，正是多型的一種體現。有些朋友提出Python不支援多型，我是完全不贊同的.