关于Java泛型"擦除"的一点思考

Posted 2020-11-01 沧海一滴

 

头次写博客，想说的东西不难，关于泛型的疑问，是前一阵在学习jackson中遇到的。

下面就把我所想到的、遇到的，分享出来。

泛型是JDK1.5后的一个特性，是一个参数类型的应用，可以将这个参数声明在类、接口、方法中，就像我们方法中定义的局部变量一样；在工作中，我们常在List，Map，Set等集合对象中使用，或者我们自己声明的类中使用。

说到泛型，就不得说起“擦除”这个概念，相比于c#来说，java的泛型只存在于程序的源码中，在编译后的class文件中不存在，这个过程就是--泛型"擦除"；所以，对于new ArrayList<String> 和 new ArrayList<Integer> 来说，两个对象在编译之后两者是一样的，通过反射均可以向集合中添加任意类型的对象；

 

 

 

 

可以看到，在编译后的class文件中，ArrayList所声明的泛型不存在了；由此可知，如果想在程序运行期间获取泛型，看似是一件不可能完成的事情！

直到学习了jackson后，我发现java泛型的“擦除”并不能一概而论；至少通过TypeReference接口，是可以获取到对象中的泛型；

 

 

 

一开始学习jackson，相关的api操作还不是很熟悉，json并没有转换成StudentEntity对象，而是变成了LinkedHashMap；研究后，发现可以使用TypeReference对象，来实现参数化类型的json转换；

 

 

 

有些疑问？按照之前所说，由于泛型“擦除”的原因，泛型在编译后的class文件中就不存在了，只会保留原始类型(Type中的概念)，那么TypeReference又是如何实现，获取到了具体的泛型类型呢！

查看TypeReference的源码，发现在其构造方法中，主要使用到了getGenericSuperclass()和getActualTypeArguments
()两个方法，getGenericSuperclass()返回的是此对象带“泛型”的父类，而getActualTypeArguments()返回的是此父类中实际类型参数的Type 对象数组，说白了就是TypeReference<>中的泛型；

 

 

通过debug,发现确实获取到了new TypeReference<Map<String,StudentEntity>>中的泛型，至此我决定自己写个父类、子类，看看效果如何？

 

 

 

再次通过debug发现，并没有得到具体的泛型，而是获取到了ParameterizedTypeImpl对象(Type中的概念)；此时，对于泛型更加疑惑了，感觉心中有千万只草泥马在奔腾！

于是，又回过头来看了下之前的代码 new TypeReference<Map<String,StudentEntity>>(){}，发现此段代码其实是一个匿名的内部类，而编译器在编译的时候，会将此匿名内部类单独生成一个class文件，命名规则如下：主类＋$＋(1,2,3....)

 

 

 

通过反编译后，真相一目了然！

 

 

 

创建的匿名内部类new TypeReference<Map<String,StudentEntity>>(){}，在生成的的class文件中，编译器默认为TypeReference中的泛型Map<String,StudentEntity>原始类型，并不会进行擦除！类似于 我们实际创建一个类 Class TypeReference<Map<String,StudentEntity>>{} 、 Class Test<T>{}一样，在编译后Map、T依旧会存在！

由此，对于java泛型的“擦除”并不能一概而论，在运行期间，如果方法中出现带泛型的匿名内部类，那么泛型依旧会被保留下来，我们可以通过对应的方法获取到实际的泛型类型！

上文中，提到的Type、原始类型的概念，在下一篇博客中提及！

作者：贾博岩
链接：https://www.jianshu.com/p/1f608fd05e20
來源：简书
著作权归作者所有。商业转载请联系作者获得授权，非商业转载请注明出处。