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

第27 卷 第ll 期 计 算 机 学 报 VoI. 27 No. ll 2004 年ll 月 CHINESE JOURNAL OF COMPUTERS Nov. 2004 面向对象、泛型程序设计与类型约束检查 孙 斌 （北京大学信息科学技术学院计算语言研究所 北京 l0087 l ） 摘 要 该文对面向对象和泛型程序设计（generic programming ）的核心思想和方法进行了较为深入的分析，阐明 了各自的目标、技术特征及其优缺点所在，介绍了泛型程序设计针对对象技术的不足所引进的重大革新，即通过 类型需求抽象来设计通用、高效的数据结构和算法；着重论述了作者在进一步增强泛型程序设计实际运用方面 所提出的改进工作，以C + + 语言的一个泛型编程扩充语言C **为实施例，详细说明了如何通过一种叫做“命名 类型约束”的新的机制来比较完整地实现静态类型需求的直接语言支持和编译检查，为当前泛型程序设计模型的 首例编程语言实例. 关键词 面向对象；泛型程序设计；需求检查；类型约束 中图法分类号 TP3ll Object Orientation ，Generic Programming and Type Constraint Checking Swen Bing （Institute of Comp utational Linguistics ，School of Electronics Engineering and Comp uter Science ，Peking Uniuersity ，Beij ing l0087 l ） Abstract A thorough and in-depth anaIysis of the underIying ideas and methodoIogy of object-orienta- tion and generic programming is presented ，eIaborating the aims ，technoIogicaI characteristics ，advanta- ges and disadvantages of both ，with the emphasis on the significant innovation introduced by generic pro- gramming to compensate object-orientation for its insufficiency. The paper aIso detaiIs the author ’s work on further enhancing generic programming by providing direct Ianguage support and compiIer checking for static type reguirements ，which Ieads to a new programming mechanism caIIed “named type constraint ”. As the first exampIe of generic programming Ianguages in the Iiteratures ，a generic programming extension of C + + is aIso discussed. Keywords object orientation ；generic programming ；r