java泛型是通过类型擦除实现的 为什么通过反射还能获得泛型类型

我们都知道java泛型的实现是通过类型擦除实现的，在字节码中，并没有保存泛型的信息。泛型的实现是在字节码之上的，类似于语法糖。比如下面的代码：

public class reflect {
    public static void main(String[] args) {
        List<Integer> a = new ArrayList<>();
        List<String> b = new ArrayList<>();

        System.out.println(a.getClass() == b.getClass());
    }
}

这里的输出是True，这也印证了在字节码中并没有保存泛型信息，ArrayList<Integer> 它的类型是ArrayList.泛型中类型的作用更多的是在编译器进行语法检查，还有对返回的对象等进行强转。

那如何通过反射获取泛型类型

public class reflect {
    public Map<Integer,String> map = new HashMap<>();
    public static void main(String[] args) throws NoSuchFieldException {

        Field fa = reflect.class.getField("map");
        System.out.println(fa.getType());
        Type type = fa.getGenericType();
        if (type instanceof ParameterizedType) {
            ParameterizedType pt = ((ParameterizedType) type);
            Type [] acType = pt.getActualTypeArguments();
            for (Type t : acType)
                System.out.println(t);
        }
    }
}

输出为

interface java.util.Map
class java.lang.Integer
class java.lang.String

通过这种方式，可以遍历泛型的类型，从而获得真正的类型。那它是怎么做到的呢？

在class文件中，并没有丢弃泛型类型

Signature属性

Signature属性出现在类、字段表、方法表结构的属性表中，会为这些属性记录泛型签名信息。

Java的反射API可以获取泛型类型，最终的数据来源也是这个属性。

所以java泛型的类型擦除并不是在class文件中不保存泛型信息，而是在字节码的方法体或者类结构中擦掉了泛型信息，这样做的好处就是在不改变虚拟器的前提下可以引入泛型的特性。