如何理解程序设计语言中的泛型

泛型是程序设计语言的一种特性。允许程序员在强类型程序设计语言中编写代码时定义一些可变部分，那些部分在使用前必须作出指明。各种程序设计语言和其编译器、运行环境对泛型的支持均不一样。将类型参数化以达到代码复用提高软件开发工作效率的一种数据类型。泛型类是引用类型，是堆对象，主要是引入了类型参数这个概念。

因为程序写得越抽象, 重用的可能性越高. 这就是泛型技术(Generic programming)的目的. (泛型这个翻译不是很好, Generic 泛的不光是型).比如说, 泛型技术还用于实现各种DESIGN PATTERN. 范型技术本身的特点决定了它不是一个象面向对象那样比较基础的概念，它的应用范围比面向对象要窄的多。甚至可以说它们在某种程度上不具有可比性。

---