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

• 作者: 孙斌
• 来源期刊: 计算机学报
• 学科: 工学
• 关键词: 面向对象 泛型程序设计 需求检查 类型约束
• 年，卷（期）: 2004,（11）
• 所属期刊栏目: 研究论文与技术报告
• 页码范围: 1492-1504
• 页数: 13页
• 分类号: TP311
• 字数: 15680字
• 语种: 中文
• DOI: 10.3321/j.issn:0254-4164.2004.11.008

摘要

该文对面向对象和泛型程序设计(generic programming)的核心思想和方法进行了较为深入的分析,阐明了各自的目标、技术特征及其优缺点所在,介绍了泛型程序设计针对对象技术的不足所引进的重大革新,即通过类型需求抽象来设计通用、高效的数据结构和算法;着重论述了作者在进一步增强泛型程序设计实际运用方面所提出的改进工作,以C+ +语言的一个泛型编程扩充语言C* *为实施例,详细说明了如何通过一种叫做"命名类型约束"的新的机制来比较完整地实现静态类型需求的直接语言支持和编译检查,为当前泛型程序设计模型的首例编程语言实例.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孙斌	北京大学信息科学技术学院计算语言研究所	17	317	8.0	17.0