第十章 继承 (Inher的itance).pptVIP

第十章 继承 (Inheritance); 示例： 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的语义 ;继承和子类型的一般概念;继承的泛化抽象概念;当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;] operations declare isRetired: — bool; return (self.age＞64）； … end type Employee; 继承解决了类型间的代码和结构的可复用性;继承的可替换性概念; Person类型的特征定义 ●name ●age ●spouse ●marry;子类型Employee包含了超类型Person的所有属性 如果仅针对Person特征的访问，客户无法区别被访问的对象是Person还是Employee 因此，可以使用替换法则，在所有对Person引用的地方，用一个Employee实例不会破坏一致性 解决了类型特化后的灵活性问题 编译通过放松对类型检查(引用和参数的哑实结合时）的约束来解决子类型实例对超类型实例的可替换性; type Type1 is type Type2 is type Type3