Java 泛型（generics）也是 JDK 5 中引入的一个新特性，泛型提供了编译时类型安全的检测机制，该机制允许开发者在编译时检测到非法的参数类型。泛型的本质是参数化类型，即所操作的数据类型被指定为一个参数。

在没有泛型的情况下，我们只能通过对类型 Object 的引用来实现参数的任意化，这带来的缺点是要做显式的强制类型转换，而这种转换是要求开发者对实际参数类型可以预知的情况下进行的。编译器对于强制类型转换错误的情况可能不提示错误，在运行的时候才出现异常，这是本身就是一个安全隐患。

那么泛型的好处就是在编译的时候能够检查类型安全，并且所有的强制转换都是自动和隐式的。

public class GlmapperGeneric<T> {  
    private T t;  
    public void set(T t) { this.t = t; }  
    public T get() { return t; }    
    public void specifyType(){  
        GlmapperGeneric<String> glmapperGeneric = new GlmapperGeneric();  
        glmapperGeneric.set("test");  
        // get时不需要强制类型转换  
        String test = glmapperGeneric.get();
    }  
}

泛型擦除及局限

Java 语言的泛型实现方式是擦拭法（Type Erasure）。所谓擦拭法是指，虚拟机对泛型其实一无所知，所有的工作都是编译器做的。在编译过程中，类型变量会被擦除，并替换为第一个限定类型，对于无限定的变量则替换为 Object。例如，我们编写了一个泛型类 Pair，这是编译器看到的代码：

public class Pair<T> {
    private T first;
    public T getFirst() {
        return first;
    }
}

而虚拟机根本不知道泛型，这是虚拟机执行的代码：

public class Pair {
    private Object first;
    public Object getFirst() {
        return first;
    }
}

因此，Java 使用擦拭法实现泛型，导致了：

• 编译器把类型 视为 Object
• 编译器根据 实现安全的强制转型

所以，Java 的泛型是由编译器在编译时实行的，编译器内部永远把所有类型 T 视为 Object 处理，但是在需要转型的时候，编译器会根据 T 的类型自动为我们实行安全地强制转型。

Java 泛型的局限：

• 不能是基本类型，例如 int，因为实际类型是 Object，而 Object 类型无法持有基本类型。

• 无法取得带泛型的 Class。因为 T 是 Object，我们对 Pair 和 Pair 类型获取 Class 时获取到的都是同一个 Class，即所有泛型实例，无论 T 的类型是什么，getClass() 都返回同一个 Class 实例，因为编译后它们全部都是 Pair