多态性有不同的形式。()的多态性是指同一个名字在不同的上下文中有不同的含义。

参数多态性:应用最广泛、最纯粹的多态性。

包含多态性:相同的操作可用于类型及其子类型。包含多态性通常需要在运行时进行类型检查。包含多态性存在于许多语言中，最常见的例子是子类型，即一种类型是另一种类型的子类型。

强制多态:编译器通过语义操作强制转换被操纵对象的类型，以满足函数或运算符的要求。

重载多态:同一个名字(运算符，函数名)在不同的上下文中有不同的类型。目前大部分软设置都是重载多态。