| 在收到消息时，对象要予以响应。不同的对象收到同一消息可以产生完全不同的结果，这一现象叫作多态（polymorphism）。在使用多态的时候，用户可以发送一个通用的消息，而实现的细节则由接收对象自行决定。这样，同一消息就可以调用不同的方法。
|
|
|
| 多态的实现受到继承的支持，利用类的继承的层次关系，把具有通用功能的消息存放在高层次，而不同的实现这一功能的行为放在较低层次，在这些低层次上生成的对象能够给通用消息以不同的响应。
|
|
|
| 多态有几种不同的形式，Cardelli和Wegner把它分为4类，如下图所示。其中，参数多态和包含多态称为通用多态，过载多态和强制多态称为特定多态。
|
|
|
|
|
|
|
| 参数多态是应用比较广泛的多态，被称为最纯的多态。包含多态在许多语言中都存在，最常见的例子就是子类型化，即一个类型是另一个类型的子类型。过载（overloading）多态是同一个变量被用来表示不同的功能而通过上下文以决定一个名所代表的功能。
|
|
|
