多态

多态：

在面向对象技术中，对象在收到消息后要予以响应，不同的对象收到同一消息可以产生完全不同的结果的现象。

多态的不同形式：

1）通用多态

参数多态：

最纯的多态，因为同一对象、函数或过程能以一致的形式用于不同的类型。

包含多态：

最常见例子是子类型化，即一个类型是另一个类型的子类型。

2）特点多态

过载多态：

同一变量被用来表示不同的功能，通过上下文以决定一个类所代表的功能。

强制多态：

通过语义操作把一个变元的类型加以变换，以符合一个函数的要求，如果不做这一强制性变换将出现类型错误。