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文件中不保存泛型信息,而是在字节码的方法体或者类结构中擦掉了泛型信息,这样做的好处就是在不改变虚拟器的前提下可以引入泛型的特性。