| 面向对象、泛型程序设计与类型约束检查 |
| |
| 引用本文： | 孙斌.面向对象、泛型程序设计与类型约束检查[J].计算机学报,2004,27(11):1492-1504. |
| |
| 作者姓名： | 孙斌 |
| |
| 作者单位： | 北京大学信息科学技术学院计算语言研究所,北京,100871 |
| |
| 基金项目： | 国家自然科学基金项目 (60 2 0 3 0 2 2 ) (泛型程序设计方法、语言和泛型程序库研究 )资助 . |
| |
| 摘 要： | 该文对面向对象和泛型程序设计(generic programming)的核心思想和方法进行了较为深入的分析．阐明了各自的目标、技术特征及其优缺点所在．介绍了泛型程序设计针对对象技术的不足所引进的重大革新，即通过类型需求抽象来设计通用、高效的数据结构和算法；着重论述了作者在进一步增强泛型程序设计实际运用方面所提出的改进工作．以C 语言的一个泛型编程扩充语言C**为实施例，详细说明了如何通过一种叫做“命名类型约束”的新的机制来比较完整地实现静态类型需求的直接语言支持和编译检查，为当前泛型程序设计模型的首例编程语言实例．
|
| 关 键 词： | 面向对象 泛型程序设计 需求检查 类型约束 程序设计 |
Object Orientation,Generic Programming and Type Constraint Checking |
| |
| Swen Bing.Object Orientation,Generic Programming and Type Constraint Checking[J].Chinese Journal of Computers,2004,27(11):1492-1504. |
| |
| Authors: | Swen Bing |
| |
| Abstract: | |
| |
| Keywords: | object orientation generic programming requirement checking type constraint |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
