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

作     者：孙斌 Swen Bing

作者机构：北京大学信息科学技术学院计算语言研究所 北京100871 

出 版 物：《计算机学报》 (Chinese Journal of Computers)

年 卷 期：2004年第27卷第11期

页      面：1492-1504页

核心收录：

学科分类：0810[工学-信息与通信工程] 0808[工学-电气工程] 08[工学] 0839[工学-网络空间安全] 0835[工学-软件工程] 0811[工学-控制科学与工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 081202[工学-计算机软件与理论] 

基　　金：国家自然科学基金项目 (60 2 0 3 0 2 2 ) (泛型程序设计方法 语言和泛型程序库研究 )资助 . 

主　　题：面向对象 泛型程序设计 需求检查 类型约束 程序设计 

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