📚前言
Java泛型是进阶高级开发必备技能之一,了解实现泛型的基本原理,有助于写出更优质的代码。
众所周知,Java是伪泛型,是通过类型擦除(Type Erasure)来实现的。为了“查看/证明”Java对泛型类型的擦除,我们常常通过反编译的手段实现。Intellij IDEA作为Java开发主流IDE,它内置的反编译功能是最为常用的反编译工具。
但是,你会发现,IDEA的反编译竟没有擦除泛型。
✍正文
如下代码:
我们借助IDEA的反编译后的内容:找到需要反编译的.class文件
双击即可查看:
我的天,泛型类型不应该被擦除了吗,为毛还在?IDEA的反编译工具难道有bug?
🌈尝试其它反编译工具
IDEA最初内置的是著名的JD-GUI反编译插件,从2016年起改为自研的反编译插件Java Bytecode Decompiler,一直沿用至今:
为了验证此问题,我计划多试试几款反编译工具。
🚀jd-gui
下载地址:https://github.com/java-decompiler/jd-gui/releases
尴尬的是,双击打不开:
无奈。在虚拟机里启了个Windows 11来跑:
结论:没有擦除泛型类型。和IDEA不同的是它反编译出来的结果更“原始”一丢丢
🚀jadx
下载地址:https://github.com/skylot/jadx/releases
同样的Windows 11上运行进行反编译:
结论:没有擦除泛型类型。结果不说和IDEA差不多,也是一模一样。
🚀JAD
下载地址:https://varaneckas.com/jad
由于我的本是基于Apple Silicon芯片的,所以只能继续在Windows上执行了:
结论:泛型类型被擦除了。
🚀Beyond Compare 4
Beyond Compare的主业是做文件比较,其实它也可以Java反编译。只需在https://www.scootersoftware.com/download.php?zz=moreformats下载所需插件:
使用Beyond Compare 4进行反编译:
结论:泛型类型被擦除了。Beyond Compare 4的反编译基于Jad,因此效果和Jad一模一样
🚀javap -c
使用最底层的javap -c进行反编译:
结论:泛型类型被擦除了。
🍞总结
有些擦除了但有些没有擦除泛型类型,到底该信谁呢?当然是无条件相信javap -c,因为一切反编译操作都基于它。so结论是:Java的泛型是伪泛型,编译后泛型类型都会被擦除。
记住结论的同时,通过本文对比了多个反编译器的结果亦可得到两条基本的常识:
- 像IDEA内置的Java Bytecode Decompiler以及jadx这种比较新(还在持续迭代)的工具,称作智能反编译器更为合适:它能重排序代码,并且“保留”住泛型类型,方便开发者阅读
- Java泛型引入至今已有近20年,“伪泛型”已被认为是所有开发者的共识,没有必要再在反编译后体现出来反倒大大降低了可读性。像Jad这种“上古”时期的反编译器,依旧原汁原味