摘要：本文对泛型编程的核心思想和技术特征进行了较为深入的分析,介绍了泛型编程在语言实现上的现状与不足,着重论述了作者针对这些不足做出的改进工作,即对类型参数及其约束机制进行扩展以支持通用、高效的算法和数据结构的设计,并以Java语言作为实施例,详细介绍了如何通过现有对象技术来实现比较完整的泛型编程,是现有面向对象语言类泛型编程的首例。

关键词：泛型编程 面向对象语言 类型参数 约束机制 

单位：江西师范大学计算机信息工程学院; 江西南昌330027; 江西省高性能计算技术重点实验室; 江西南昌330027; 中国科学院软件研究所计算机科学重点实验室; 北京100080