《面向对象模型》ppt课件

《《面向对象模型》ppt课件》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第三部分面向对象模型GOMGenericObjectModel类型系统与对象系统GOM的结构定义元组结构聚集结构对象的标识子对象的共享对象的持久性Sort类型上的复合结构第七章对象类型的结构7.1类型系统与对象系统类型系统（sorttype）的发展类型：<类型名，{值域}，{操作}>早期语言只提供简单类型进一步复杂类型－>简单类型、结构类型、串、指针...Ada提出抽象数据类型ADT（abstractdatatype）用户自己定义结构、操作系统提供打包功能以类型方式提供使用几种简单sort类型类型的使用、特点、局

2、限变量说明：指明一个变量的类型变量赋值：类型的实例化操作实例化结果：指定一个值在实例的整个生命周期，值是不变的，因此类型的实例无需标识，值就是其本身的标识变量的重新赋值是重新实例化过程，原实例已消亡。类型系统的问题：无法描述实例的状态变化，即不同的值代表了某个实例在不同时刻的不同状态数据库的应用是最突出的不协调面向对象类型对象系统强调的是对象状态的变化对象的生命周期种的某一瞬间是一个状态（对象属性的某个值集）但对象属性值被修改时，表明该对象由一个状态转化为另一个状态为了能识别不同状态下的对象，必须进行标识。——唯

3、一性约束对象状态的转化时内部变化，因此必须进行封装——完整性约束对象O由（id#,Type,Rep)三元组表示7.2GOM对象类型框架定义对象类型名唯一，超类型名可选。Public子句提供外部说明Body子句描述结构主体操作子句描述接口说明操作名（唯一性）参数说明操作实现子句——描述操作体7.3元组结构的对象类型结构主体由三种基本结构及其组合而成元组结构(tupe_structure)集合结构(set_structure)表结构(list_structure)元组结构定义Typei可以是简单sort；组合sort

4、；对象类型；混合类型；集合类型；表类型；直接递归类型等内嵌的属性值读写操作VCO操作（Valuereceivingoperation）值接收操作Declareattri:->typei;读取当前第i个属性状态VTO擦作（Valuereturningoperation）值返回操作Declareattri:<-typei;将类型为Typei的状态写入第i个属性中示例(一)直接递归示例维护person的对象实例状态的操作Varp:person…p.age:=p.age+1(p.agep.age->+1)示例（二）立方

5、体对象模型的正文：*定义“点”的对象类型*定义原材料的对象类型*定义立方体的对象类型7.4GOM类型的实例化一个对象类型框架可产生一系列对象实例内嵌的创建对象操作——“create”GOM类型的实例化过程第一步*VarmyCuboid:Cuboid；/说明对象变量第二步*执行赋值语句:（1）myCuboid:=Cuboid$create;或（2）myCuboid.create;赋值语句的作用（1）产生了一个初始化的空壳实例；（2）对该空壳实例赋予了一个对象标记OID；（3）将OID（或实例地址）赋给变量myCub

6、oid；（4）将空壳属性值初始化为：Int：0；float：0.0；char：’’；bool：false；复杂对象类型：NULL；（5）当前该OID还仅是逻辑表示，不能被用户访问。*产生了一个仅仅与OID相联系的一个空对象。－第三步：对空对象的每个属性进行实际值的初始化工作示例yxV4V8V1V3V6V7V2V5图7.2TheTopologicalRepresentationOfaCuboidmyCuboid图7.3The“Skeleton”ofaNewCuboidInstancemat：NULLvalue：

7、0.0v1：NULLv2：NULLv3：NULLv4：NULLv5：NULLv6：NULLv7：NULLv8：NULLid1Cuboid7.5对象标识表示对象的三种方法：内容标识—关键字标识符地址标识—物理对象标识符逻辑对象标识符内容标识的问题（内容依赖）概念的混淆：将两对象相等与两对象内容相等混为一谈。一致性管理的困难。例1：对大商场中，同一商品在不同柜组有不同售价，商品的主key为（商品号+柜组号）。例2：若主key为（人名+地址），当搬家而修改库时，给完整性维护带来困难。地址标识地址标识—用对象所分配的地址

8、空间表示对象。地址标识问题（地址依赖）存储空间的重用导致引用错误且无法查找。例如新对象占用已删除对象空间。分布式系统中对象经常被移动位置。DB性能调整时常常需要重构硬盘存储区。逻辑对象标识符OIDLogicalObjectIdentity对于GOM，每个对象可以描述为下述三元组O=（id#，Type，Rep）Id#：系统产生的对象O的逻辑标识符Type：对象O的类型Re