面向对象方法中的类型概念  

TYPE NOTION IN OBJECT ORIENTED METHODS

作　　者：袁晓东[1] 陈家骏[1] 郑国梁[1] 

机构地区：[1]南京大学计算机科学与技术系

出　　处：《计算机研究与发展》1997年第10期726-730,共5页Journal of Computer Research and Development

基　　金：国家"九五"攻关项目;国家自然科学基金

摘　　要：本文讨论了面向对象方法中非常重要的类型概念，指出对象类型由对象集、状态集、运算集、方法集和约束组成，并进一步阐述了对象类型的层次结构、对象的动态类型集和静态类型、对象方法的封闭性以及对象方法的动态定连等问题，为进一步的研究奠定了基础．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.

关 键 词：对象类型 封闭性 类型 面向对象 程序设计 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]