第十一章 虚类型,Virtual Type.ppt

第十一章 虚类型,Virtual Type 两个难题在继承抽象时经常出现: 1.由于信息的缺乏,从子类型中抽象出来的操作在父类型中不能实现 2.从逻辑概念上提取出来的操作概念,在各子类型上都有不同的外特征.因此,不可能用同一个操作体现 解决方案 定义一个虚拟的超类型,虚类型的特点为: ---只有操作说明,而无实现部分,其实现部 分由各子类型重定义实现体 ---它不能被实例化,即它没有自身的实例 对象 ---GOM的根ANY是一个内嵌的虚类型 它是整个类型框架的根,它无实例对象 几何体类型框架示例 示例需求分析 在一般的几何体类型结点上.例如.体积,重量等操作均无法描述它们的实现体,因为缺乏结构信息. 这些操作在不同的几何体上其计算各不相同 有些操作又需要定义在一般几何体结点上,例如:计算全部几何体集合的总重量和总体积: foreach(b in baseParts) totalWeight:=totalWeight+b.weight; totalVolume:=totalVolume+b.volume; 解决方案---引入虚类型和虚操作 Persistent virtual type GeometricPrimitive supertype ANY is public geoID,color,specWeight,mat,weight,display body [geoID:string; mat:Material; color:string;]; operations declare specWeight:-float; virtual declare display:-void; virtual declare volume:-float; virtual declare weigth:-float; … Implementation define specWeight is return self.mat.specWeight; … End type GeoMetricPrimitive; 进一步分析---虚类型仍可拥有虚子类型 在子类型中,不是所有的虚操作均可以被替换实现的 子类型本身,也可能需要进一步引进虚操作---一个可实例化的普通类型仍然可以拥有虚子类型,且不会引起任何问题. 在我们的几何体示例中,多面体Polyeder就是一个一般几何体的虚子类型,它对继承的三个虚操作仍然无法进行精化(由于缺乏结构信息) * ANY GeometricPrimitive geoID mat color Cylinder Polyeder Vertices# Pipe Conicalpipe Pyramid Cuboid v1 v8 … *