泛型擦除与反射获取泛型类型

Java中的泛型会被类型擦除，那为什么在运行期仍然可以使用反射获取到具体的泛型类型？
下面从知乎上看到一个答案，现摘录如下：

在运行期只能获取当前class文件中包含泛型信息的泛型类型，而不能在运行时动态获取某个泛型引用的类型。事实上所谓的泛型的类型擦除是指把某个具体的泛型引用在编译期完成类型检查后，擦除成了Object而丢失了它运行时所赋予的类型信息。举例来说，真正没有擦除的泛型应该是能轻而易举地执行如下操作的：

public class Test<T> {
    public T[] getArray(int length) {
        Class<T> clazz = T.class;
        return (T[])Array.newInstance(clazz, length);
    }
}

在以上的代码中，假设泛型的信息没有被擦除，您在任何位置new出来的Test实例都会保存自己的“T”类型信息，那么getArray方法就可以获取到实际T的class信息。而在类型擦除后，上面代码中是没有任何办法在getArray方法内部获取到T的类型信息的，这才是擦除后的实际效果。您所说的可以通过反射获取到的泛型信息一定是某个class作为成员变量、方法返回值等位置的具体泛型类型，举例来说：

public class Test<T> {
    private Test<Integer> test;

    private T item;
}

在上面的代码中，您可以通过反射获取成员test的Integer泛型信息，但是无法获取item的实际类型。这部分我查看了OpenJDK 8的相关源码，从原理上讲，例子中的test成员编译时会将Integer信息编译进class字节码，从而反射系统就可以获取到这个信息，如下图所示：

您可以看到，实际上test的泛型信息是直接被编译进字节码了。

而这个方法本质上的操作是从已经加载好的class信息中获取fieldDescriptor，从而产生Field对象的oop，把class的field信息注入进去，返回给Java端的调用方。而再追溯class中产生fieldDescriptor的代码可以发现，事实上这个信息就是在JVM加载字节码的时候，JVM将解析到字节码的泛型信息保存下来的。也就说在类加载阶段，JVM就将字节码中写死的泛型信息保存了下来。而您反射的时候，反射系统自然就可以获取到该信息，从而您可以通过getGenericType()来获取到Type信息，从而解析出泛型类型。

而例子中定义的item这类泛型引用来说，它们的泛型信息不来自于自身的class，在编译完成通过类型检查后，类型系统中它们就等同于Object，这种泛型是无法通过反射获取的，也就是说这类类型信息被擦除了。

另外引入下‘深入理解java虚拟机’ P272里的说明：

泛型擦除，仅仅是对方法的Code属性中的字节码进行了擦除，实际上元数据中还是保留了泛型信息，这就是反射可以获取参数化类型的原因。这里的元数据和Signature属性有关(P169)

作者：陆萌萌
链接：https://www.zhihu.com/questio...
来源：知乎
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。