Java在1.5开始允许定义泛型类，泛型接口，泛型方法。

泛型可以让我们在编译时检测出错误而不是运行时，在编程时起到约束作用，泛型可以让编程更加严谨和可靠。泛型可以参数化，可以定义使用泛型类型的类和方法，编译器会用具体的类型来替换泛型类型。习惯上使用<E>和<T>代表泛型类型，当然也可以自己定义一个字母如：<M>，<U>。除了固定的泛型类型外还有三种通配泛型类形式，？ ，？extends T ， ？super T。？为非受限通配。？extends T 代表替换类型需要是 T 或 T的子类；？super T 称为下限通配，表示T或T 的父类。

需要注意，泛型不可以用来创建实例，例如 new E()。也不能用来创建数组，例如 new E[5],不可以在静态环境中使用泛型类型参数，异常类中也不能使用泛型类型参数。

/*定义一个泛型接口  T 表示一个泛型类型，在使用时编译器会自动用实际的类来替换*/public interface Comparable<T> {    /*可以使用泛型类型的参数*/    public int compareTo(T o);}/*使用泛型   使用时指定实际类型为Date ，此时调用compareTo() 方法时参数必须时Date类型，否则会编译错误*/Compare<Date> comp = new Date();comp.compareTo(new Date());