泛型简介

泛型是程序设计语言的一种特性。允许程序员在强类型程序设计语言中

编写代码时定义一些可变部份，那些部份在使用前必须作出指明。各种程序

设计语言和其编译器、运行环境对泛型的支持均不一样。将类型参数化以达

到代码复用提高软件开发工作效率的一种数据类型。泛型类是引用类型，是

堆对象，主要是引入了类型参数这个概念。
其定义为：
　　在程序编码中一些包含类型参数的类型，也就是说泛型的参数只可以代

表类，不能代表个别对象。（这是当今较常见的定义）在程序编码中一些包

含参数的类。其参数可以代表类或对象等等。（现在人们大多把这称作模板

）不论使用那个定义，泛型的参数在真正使用泛型时都必须作出指明。
　　一些强类型编程语言支援泛型，其主要目的是加强类型安全及减少类转

换的次数，但一些支持泛型的编程语言只能达到部份目的。
特性：泛型是具有占位符（类型参数）的类、结构、接口和方法，这些

占位符是类、结构、接口和方法所存储或使用的一个或多个类型的占位符。

泛型集合类可以将类型参数用作它所存储的对象的类型的占位符；类型参数

作为其字段的类型及其方法的参数类型出现。泛型方法可以将其类型参数用

作其返回值的类型或者其某个形参的类型。
泛型类和泛型方法同时具备可重用性、类型安全和效率，这是非泛型类

和非泛型方法无法具备的。泛型通常用与集合以及作用于集合的方法一起使

用。
当然，也可以创建自定义泛型类型和方法，以提供自己的通用解决方案

，设计类型安全的高效模式。下面的代码示例演示一个用于演示用途的简单

泛型链接列表类。在通常使用具体类型来指示列表中存储的项的类型的场合

，可使用类型参数 T。