第10章继承Inheritance.pptVIP

进一步说明的例子： var miniMouse : Person; mickeyMouse : Employee; chief: Employee; i: integer; … mickeyMouse.spouse := miniMouse //ok miniMouse.spouse:= mickeyMouse;//ok mickeyMouse.boss:= chief; //ok miniMouse.spouse.boss:=chief; //非法 i:=mickeyMouse.boss.ss#; //ok i:=miniMouse.spouse.boss.ss#; //非法 i:=miniMouse.spouse.spouse.age; //ok i:=mickeyMouse.spouse.boss.ss#; // 非法 mickeyMouse.boss.spouse.marry(chief); 一个类型一致性检查过程示例 miniMouse.spouse.boss := chief; 由于可替换性，赋值号左边类型必须是右边类型的一个超类或同类型 Person Person 潜在的错误 Employee 对于Sort类型，则必须左右类型相同 i := miniMouse.spouse.spouse.age; int Person Person Person int 锚类型约束 (Anchor Type Constraints) 锚的概念来自超文本，超文本利用超链联结二个页面，而锚则指明了进入页面的具体位置。GOM利用了锚的“定位”概念 静态类型检查会降低灵活性，而有些灵活性的实现并不会破坏状态的一致性。 类型检查降低灵活性的示例 declare incAge: Person || →Person; declare incSalary: Employee || float →Employee; var somePerson : Person; someEmp:Employee; somePerson.incAge.incAge; someEmp.incAge.incAge; someEmp.incSalary(1000.00).incAge; someEmp.incAge.incSalary(1000.00);//类型检查报错 语句(3) (4)完成同样功能，而(4)无论从什么角度来看，都不会造成DB的不一致性。 造成类型检查过严的原因分析及锚的引入 类型检查是严格的按操作说明的各个参数类型来检查的 有些操作，如incAge，其结果类型与接受者类型是相一致的， 如一个雇员增加一岁后仍是雇员 可以将结果类型与接受者类型捆绑，只要保证它们二者的类型一致就可以了，不必要一定严格按照类型说明来检查— 锚就起这个作用 GOM的锚的说明及语义 示例： declare incAge: Person || → like self; declare incSalary: Employee || float→ like self; Like — 象…一样 like self — 指定结果类型与接受者类型self一致 Like 还可以指定类型是参数表中的某一个参数类型，此时，需要对照参数命令 示例： declare meeting : me:Person,he:Person →like he; 编译可以根据like后表示的各类型来检查结果类型的合法性 合法操作的精化规则(Legal Operation Refinement) 在继承概念下一个重定义操作设计必须遵守规则为 (1)原操作名不变 (2)操作参数个数必须与原版本保持一致 目的：为了保证版本的兼容，即当引用系统进行模式演进或增加新子功能时，能使新不影响原有程序的运行。 不影响现有应用的类型扩展使面向对象系统的主要目标 在操作说明字句部分，能精化的只是参数类型(接受参数、变元参数、结果参数)的自由度 精化操作的参数类型自由度约束条件 接受者参数类型 — 只能使原操作所指定的接受类型的子类型 目的：为了支持精化的要求— 更特殊化 变元参数类型 — 使原操作的变元参数类型的超类型 目的：为了使操作更能与原祖先的同名操作兼容，参数类型必须更一般化。即新版的同名操作应当照顾它的祖先版本的要求，参数定义更一般化 结果参数类型— 使原操作的结果类型的子类型 目的：是精化设计的要求，精化的结果自然应当是更特殊化 示例说明：不合法的marry精化定义 declare marr