第十二章多态操作Polymorphic和一般类型.pptVIP

第十二章 多态操作Polymorphic和一般类型 多态操作需求的引入:在数据库概念上,有许多操作,例如查询操作,需要一个通用的独立于类型的格式,从而增加了软件设计的灵活性和可复用性 多态操作的分类: ---特定的多态:即是普通的重载操作 ---包含多态:允许一个特定类型的操作可以作用载子类型对象上 ---有界多态:多态的一般化描述,一个操作可以定 义在多种类型上 多态引入的需要实例 示例1.对类型“人”,有年龄age和增加年龄 IncAgeP的操作; 对类型“酒”,有酒龄age和酒龄的增加 操作IncAgeW Type Person is type wine is [name: string; [name:string; age:int; age:int; spouse: Person;]; bouquet:string;]; declare increaseAge:Person||int-Person Declare increaseAge:Wine||int -Wine (1)define incAgeP(n) is self.age:=self.age+n; (2)define incAgeW(n) is self.age:=self.age+n; 示例2:不同表结构类型的长度操作定义 Type CylinderList is type WineList is Cylinder; Wine; (1)declare length:CylinderList||-int code lengthC; (2)declare length:WineList||-int code lengthW; (1)define lengthC is (2) define lengthW is var cyl:Cylinder; var wine:Wine; I:int:=0; I:int:=0; Begin begin foreach(cyl in self) foreach(wine in self ) I:=I+1; I:=I+1; return I; return I; End define lengthC; end define lengthW; 有界多态需要的新概念 类型变量 type variables 类型表达式 type expressions 类型界限 type boundaries 多态操作说明 Polymorphic operation declaration 类型变量 引入目的:类型变量可以提供必要的抽象机制来隐藏不同类型的定义和操作说明. 作用:在多态操作说明时,用一个类型变量来表达操作参数的抽象类型,只有在该操作被引用激活时,这个类型变量才被替换 类型变量的说明形式: 在特殊符号“\”后面随一个普通的标识符例:\Agetype ;\Listtype… 示例1定义了一个通用的增加年龄的操作: polymorph declare increaseAge:\AgeType|| -\AgeType code polyIncAge; and the unmodified definition define polyIncAge(n) is self.age:=self.age+n; 示例2: 定义一个通用的求表长度的操作: Polymorph declare length:\ListType||-int code polyLength; Define polyLength is var item :\ElementType; I:int:=0; begin foreach(item in self) I:=I+1; End define polyLength; 产生的问题分析 需要