面向对象语言中的子类型关系

一、前言面向对象程序设计中的继承,作为一种模块扩充机制和一种类型精化机制,一方面能通过增加或修改已有类的特征去定义新类,为实现软件的重用提供了一种途径;另一方面能支持通过例化已有的类型去定义新类型,提供了由分析设计向实现的平滑转换。因此,继承相应地也应分为实现继承和行为继承两种方式。实现继承主要是为了代码的重用和共享;行为继承考虑的是由指引的多态导致了用子类对象替换父类对象的可能性,为了保证这种替换的正确性而要求子父类型间应满足的关系。在构造