多態的四種布控形式

多態，不同的對象收到同一訊息可以產生不同的結果，這種現象叫做多態。

多態的布控形式：多重參數變形，包含多態，過載多態，強制多態。其中前兩者稱為通用多態，後兩者稱為特定多態。

強制多態（coercion）

編譯器通過語義操作，把操作對象的類型強行加以變換，以符合函數或操作符的要求。程式設計語言中基本類型的大多數操作符，在發生不同類型的資料進行混合運算時，

編譯器一般都會進行強制多態。程式員也可以顯示地進行強制多態的操作(Casting)。

要注意的是並不是任意兩個類型之間都可以進行強制多態。在不同類型之間實現強制多態，通常需要執行不同的轉換操作。強制多態的原則是：將值集較小（即佔用儲存空間較小）的類型，變換成值集包含了前者（即佔用儲存空間較大）的類型，反之，應當注意可能發生的對值的損傷（特別是在使用Casting時）。

過載（overloading）多態：同一個名（操作符﹑函數名）在不同的上下文中有不同的類型。程式設計語言中基本類型的大多數操作符都是過載多態的。通俗的講法，就是c++中的函數重載。在此處中“overload”譯為“過載”，其實就是所謂的“重載”，也許“overload”就應翻譯為“過載，重載”吧，那“override”就只能是“覆蓋”了。

 

包含多態（inclusion） 同樣的操作可用於一個類型及其子類型。（注意是子類型，不是子類。）包含多態一般需要進行運行時的類型檢查。如Pascal中的子界。幾點需要注意的地方： 1.包含多態的操作存在著逆單調（Anti-mornotonic）。即一個類型t上的操作，當其定義域縮小成t的一個子類型時，其範圍應不小於t. 多重參數變形（parametric）採用參數化模板，通過給出不同的型別參數，使得一個結構有多種類型。