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

Abstract:

A thorough and in-depth analysis of the underlying idea and technological characteristics of generic programruing is presented,elaborating its develop ment and weaknesses with respect to language support. With the emphasis on the significant work to compensate for the insufficiency of type parameters a nd their constraints in language realization, aiming at a more general and efficient algorithm and data structure, the paper provides an extension to th e generic programming mechanism and details its implementation in Java, which is the first example to support the extension for generic programming in the family of OO languages.

Key words: （generic programming, object-oriented language, type parameter, constraint mechanism）