|
|
|
|
不同的对象收到同一消息可以产生完全不同的结果，这一现象叫做多态。在使用多态的时候，用户可以发送一个通用的消息，而实现的细节则由接收对象自行决定，这样，把具有通用功能的消息存放在高层次，而把不同的实现这一功能的行为放在较低层次，在这些低层次上生成的对象能够给通用消息以不同的响应。
|
|
|
|
多态有几种布控的形式，Cardelli和Wegner把它分为四类，即
|
|
|
|
|
|
其中，参数多态和包含多态称为通用的多态，过载多态和强制多态称为特定的多态。包含多态在许多语言中都存在，最常见的例子就是子类型化，即一个类型是另一个类型的子类型。过载多态是同一个变量被用来表示不同功能而通过上下文以决定一个名字所代表的功能。
|
|
|
|
|
|
|
|
|
|
