面向对象、泛型程序设计与类型约束检查

《面向对象、泛型程序设计与类型约束检查》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第27卷第ll期计算机学报VoI.27No.ll2004年ll月CHINESEJOURNALOFCOMPUTERSNov.2004面向对象、泛型程序设计与类型约束检查孙斌（北京大学信息科学技术学院计算语言研究所北京l0087l）摘要该文对面向对象和泛型程序设计（genericprogramming）的核心思想和方法进行了较为深入的分析，阐明了各自的目标、技术特征及其优缺点所在，介绍了泛型程序设计针对对象技术的不足所引进的重大革新，即通过类型需求抽象来设计通用、高效的数据结构和算法；着重论述了作者在进一步增强泛型程序设计实

2、际运用方面所提出的改进工作，以C++语言的一个泛型编程扩充语言C**为实施例，详细说明了如何通过一种叫做“命名类型约束”的新的机制来比较完整地实现静态类型需求的直接语言支持和编译检查，为当前泛型程序设计模型的首例编程语言实例.关键词面向对象；泛型程序设计；需求检查；类型约束中图法分类号TP3llObjectOrientation，GenericProgrammingandTypeConstraintCheckingSwenBing（InstituteofComputationalLinguistics，SchoolofE

3、lectronicsEngineeringandComputerScience，PekingUniuersity，Beijingl0087l）AbstractAthoroughandin-depthanaIysisoftheunderIyingideasandmethodoIogyofobject-orienta-tionandgenericprogrammingispresented，eIaboratingtheaims，technoIogicaIcharacteristics，advanta-gesanddisadv

4、antagesofboth，withtheemphasisonthesignificantinnovationintroducedbygenericpro-grammingtocompensateobject-orientationforitsinsufficiency.ThepaperaIsodetaiIstheauthor’sworkonfurtherenhancinggenericprogrammingbyprovidingdirectIanguagesupportandcompiIercheckingforsta

5、tictypereguirements，whichIeadstoanewprogrammingmechanismcaIIed“namedtypeconstraint”.AsthefirstexampIeofgenericprogrammingIanguagesintheIiteratures，agenericprogrammingextensionofC++isaIsodiscussed.Keywordsobjectorientation；genericprogramming；reguirementchecking；ty

6、peconstraint程（Object-OrientedProgramming，OOP）技术以及在1引言它们的基础上发展起来的一整套面向对象分析和设计技术自20世纪80年代之后即成为软件设计和开当前，计算机软件技术的发展趋势呈现出了发的技术主流，并在随后l0多年中在纵深和广度两两个显著的特征，即软件系统的构件化和网络化，个方向上获得了发展.一方面，对象技术向更低层和而这种发展趋势又是与对象技术的普及和深化密更广范围的软/硬件平台渗透，使得源于数据抽象和［l］切相关的.众所周知，由程序设计语言SimuIa67、设计一级的

7、OOP方法和模型被扩充、细化成为对象［2］［3］［4］SmaIItaIk、C++、EiffeI等奠定的面向对象编构件（component）模型及其系列规范；另一方面，基收稿日期：2002-07-23；修改稿收到日期：2004-09-l6.本课题得到国家自然科学基金项目（60203022）（泛型程序设计方法、语言和泛型程序库研究）资助.孙斌，男，l968年生，博士，副教授，研究领域包括语言信息处理、编程方法和语言、Web资源控制等.E-maiI：bswen@pku.edu.cn.ll期孙斌：面向对象、泛型程序设计与类型约束

8、检查l493于对象构件的分布式系统又为全面实现软件系统的了如何以类型约束机制来实现GP中的静态类型需网络化提供了一套比较完善和规范的技术方案，而求的直接语言支持和编译检查.其中基于构件的分布式系统（例如CORBA，COM/DCOM/.NET）等则是该领域的一个重要发展方向.目!"##$的不足前正在推出的各种Web服务