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