多态分为参数多态、包含多态、过载多态和强制多态四种不同形式，其中 （ ） 多态在许多语言中都存在，最常见例子就是子类型化。
多态分为两种：通用多态和特定多态。两者区别是前者对工作类型不加限制，允许对不同类型值执行相同代码：后者只对有限数量类型有效，而对不同类型值可能要执行不同代码。
通用多态又分为参数多态（parametric）和包含多态（Inclusion）；特定多态分为过载多态（overloading）和强制多态（coercion）。
强制多态：编译程序通过语义操作，把操作对象类型强行加以变换，以符合函数成操作符要求。程序设计语言中基本类型大多数操作符，在发生不同类型数据进行混合运算时，编译程序一般都进行强制多态。
过载（overloading）多态：同一个名（操作符、函数名）在不同上下文中有不同类型，程序设计语言中基本类型大多数操作符都是过载多态。
参数多态：采用参数化模板，通过给出不同类型参数，使得一个结构有多种类型。
包含多态：同样操作可用于一个类型及其子类型（注意是子类型，不是子类。）包含多态一般需要进行运行时类型检查。
