面向对象方法中的类型概念
TYPE NOTION IN OBJECT ORIENTED METHODS
-
摘要: 本文讨论了面向对象方法中非常重要的类型概念,指出对象类型由对象集、状态集、运算集、方法集和约束组成,并进一步阐述了对象类型的层次结构、对象的动态类型集和静态类型、对象方法的封闭性以及对象方法的动态定连等问题,为进一步的研究奠定了基础.Abstract: The type notion in object oriented methods is discussed in this paper.It is pointed out that object type is composed of object set, state set, calculation set, method set and constraints. Then clarified are the hierarchy of object types, dynamic types set and static type of objects, closure of object methods, and dynamic binding of object methods.
下载: