面向对象技术——多态的种类

多态的定义：

    在面向对象技术中，对象在收到消息后要给予响应，不同的对象收到同一消息可以产生不同的结果，这一现象称为多态。

多态的种类：

    参数多态和包含多态称为通用多态（人们用的最多的），过载多态和强制多态称为特定多态。

    参数多态：是应用最广泛的多态，表现形式为同一对象、函数或过程能以一致的形式用于不同的类型。

    包含多态：最常见的例子是子类型化，即一个类型是一个类型的子类型。

    过载多态：同一变量被用来表示不同的功能，通过上下文决定一个类所代表的的不同功能。即通过语法对不同语义的对象使用相同的变量名，编译能够消除这一模糊

    强制多态：通过语义操作把一个变元的类型加以变换，以符合一个函数的要求。