十章继承Inheritance.pptVIP

第十章 继承 (Inheritance) 继承是面向对象系统的重要特性之一，它支持泛化和特化两方面的抽象。 对继承概念的需求： — 一个类型仅适合于结构和操作相同的 对象实例集 — 当类型需要在结构和操作上有所扩充 或变异时如何处理？ 方式1: 定义一个新的类型 问题：⑴缺乏可重用性， ⑵缺乏灵活性， 方式2: 用继承概念定义子类型 示例： persistent type Person is public name,age,spouse,marry body [ name : string; age:int; spouse : Person;] operations declare marry: Person — void; … implementation define marry(victim) is self.spouse:= victim; … end type Person; persistent type Employee is public name,age,spouse,marry,ss#,boss body[ …] operations declare marry : Person — void; … implementation define marry (victim) is self.spouse:= victim; … end type Employee; 引用语句： var mickeyMouse: Employee; miniMouse: Person; mickeyMouse.marry(miniMouse); //合法,miniMouse是Person miniMouse.marry(mickeyMouse); //非法,mickeyMouse非Person ★以上方式无法体现一个雇员也是一个Person的语义 继承和子类型的一般概念 继承支持类型间的 is-a 联系 继承含有三方面语义： 1. — 特化/泛化 的抽象语义 2. — 子类型是父类型的一个扩展 3. — 可替换性语义(Substitutability) 继承的泛化抽象概念 类型的继承设计是一个抽象过程： 由子类 — 超类是逐级的泛化抽象过程 其中：OTsuper 为 OTsub 的超类，OTsub为OTsuper的子 类，OTsub is-a OTsuper强调了任何属于OTsub 的对象也属于OTsuper。 当OTsub is-a OTsuper 时说明： ⑴ — 子类型OTsub的一个实例继承了 OTsuper Type的所有特征(结构、操 作)，包括OTsuper从祖先继承来的 所有特征 ⑵ — 子类型OTsub的一个实例还具有 OTsub Type自定义的独特的结构 和操作 从类型上看，子类型是超类型的一种扩展 示例： persistent type Employee supertype Person is public ss#,salary,boss,isRetired //public语句也被继承 body [ss# : int; salary: float; boss : Employee;]