第三部分面向对象模型gomgenericobjectmodel.pptVIP

第三部分面向对象模型GOMGenericObjectModel 第三部分面向对象模型GOMGenericObjectModel 7.9 类型安全 非类型安全数据类型：数据库的组件（属性，变量，集合元素等），并不限制为一个特定的类型（不需要类型说明），即编译时不对它们进行类型检查，好处是使用灵活。 问题：大量的错误只能在运行时被检测出来 第三部分面向对象模型GOMGenericObjectModel 类型安全（续） 类型安全数据类型：对所有构件均限制了数据类型。 — 强类型语言 — GOM为强类型的 优点 1. 类型安全 2. 高效，在运行时无需作类型检查。 3. 支持结构化设计 4. 类型约束的组件为：属性、变量、操作参数、 表和集合类型的元素。 5. 强类型语言编译时检查表达式中类型的兼容 性。 第三部分面向对象模型GOMGenericObjectModel type City is Public… body [name: string; mayor: Person; inhabitants: PersonSet;] operations … implementation … end type City; type Person is Public… body [name: string; age: int; spouse:Person; livesIn: City;] operations … implementation … end type Person; type PersonSet is Public… body {Person} operations … implementation … end type PersonSet; Var cityOfLA: City; mickey,mini,dinald;Person; … 第三部分面向对象模型GOMGenericObjectModel name: “Los Angeles” mayor: id188 inhabitants: id115 id571 City cityOfLA {id193,id188,id372} id115 PersonSet name: “Mickey Mouse” age: 60 spouse: id372 livesIn: id571 Person id188 name: “Mini Mouse” age: 50 spouse: id188 livesIn: id571 Person id372 name: “Donald Duck” age: 45 spouse: NULL livesIn: id571 Person id193 donald mickey 第三部分面向对象模型GOMGenericObjectModel 第三部分 面向对象模型GOM Generic Object Model 类型系统与对象系统 GOM的结构定义 聚集结构 对象的标识 子对象的共享 对象的持久性 Sort类型上的复合结构 第七章 对象类型的结构 第三部分面向对象模型GOMGenericObjectModel 7.1 类型系统与对象系统 类型系统（sort type）的发展 类型：类型名，{值域}，{操作} 早期语言只提供简单类型 进一步复杂类型 －简单类型、结构类型、串、指针... Ada提出抽象数据类型ADT（abstract data type） 用户自己定义结构、操作 系统提供打包功能 以类型方式提供使用 第三部分面向对象模型GOMGenericObjectModel 几种简单sort类型 第三部分面向对象模型GOMGenericObjectModel 类型的使用、特点、局限 变量说明：指明一个变量的类型 变量赋值：类型的实例化操作 实例化结果：指定一个值 在实例的整个生命周期，值是不变的，因此类型的实例无需标识，值就是其本身的标识 变量的重新赋值是重新实例化过程，原实例已消亡。 类型系统的问题：无法描述实例的状态变化，即不同的值代表了某个实例在不同时刻的不同状态 数据库的应用是最突出的不协调 第三部分面向对象模型GOMGenericObjectModel 面向对象类型 对象系统强调的是对象状态的变化 对象的生命周期种的某一瞬间是一个状态（对象属性的某个值集） 但对象属性值被修改时，表明该对象由一个状态转化为另一个状态 为了能识别不同状态下的对象，必须进行标识。——唯一性约束 对象状态的转化时内部变化，因此必须进行封装——完整性约束 对象O由（id#, Type, Rep)三元组表示 第三部分面向对象模型GOM