Java 泛型（generics）是 JDK 5 中引入的一个新特性, 泛型提供了编译时类型安全检测机制，该机制允许程序员在编译时检测到非法的类型。
泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。
泛型是一种把类型的明确工作推迟到创建对象或者调用方法的时候才去明确的特殊类型。
注意：类型参数只能代表引用型类型，不能是原始类型（像int,double,char的等）。
泛型出现的原因
早期的时候，使用Object来代表任意类型。但是这样在向上转型的是没有问题的，但是在向下转型的时候存在类型转换的问题，这样的程序其实是不安全的。所以Java在JDK5之后提供了泛型来解决这个问题。
使用泛型的典型例子，是在集合中的泛型使用。
在使用泛型前，存入集合中的元素可以是任何类型的，当从集合中取出时，所有的元素都是Object类型，需要进行向下的强制类型转换，转换到特定的类型。
泛型的思想就是由程序员指定类型，这样集合就只能容纳该类型的元素。
实例分析：
在JDK1.5之前，Java泛型程序设计是用继承来实现的。因为Object类是所用类的基类，所以只需要维持一个Object类型的引用即可。就比如ArrayList只维护一个Object引用的数组：
public class ArrayList//JDK1.5之前的 { public Object get(int i){......} public void add(Object o){......} ...... private Object[] elementData; }