秘密包含（）、（）、（）、（）四种类型。

多态指的是不同对象对同一消息的不同的响应。主要分为：参数多态：应用广泛、最纯的多态。包含多态：同样的操作可用于一个类型及其子类型。包含多态一般需要进行运行时的类型检查。包含多态在许多语言中都存在,最常见的例子就是子类型化,即一个类型是另外一个类型的子类型。强制多态：编译程序通过语义操作，把操作对象的类型强行加以变换，以符合函数或操作符的要求。过载多态：同一个名（操作符﹑函数名）在不同的上下文中有不同的类型。

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