多態有不同的形式，（ ）的多態是指同壹個名字在不同上下文中所代表的含義不同。

參數多態：應用廣泛、最純的多態。

包含多態：同樣的操作可用於壹個類型及其子類型。包含多態壹般需要進行運行時的類型檢查。包含多態在許多語言中都存在,最常見的例子就是子類型化,即壹個類型是另外壹個類型的子類型。

強制多態：編譯程序通過語義操作，把操作對象的類型強行加以變換，以符合函數或操作符的要求。

過載多態：同壹個名（操作符﹑函數名）在不同的上下文中有不同的類型。 目前軟設考查比較多的是過載多態。