??前言

Java泛型是進(jìn)階高級開發(fā)必備技能之一，了解實(shí)現(xiàn)泛型的基本原理，有助于寫出更優(yōu)質(zhì)的代碼。

眾所周知，Java是偽泛型，是通過類型擦除（Type Erasure）來實(shí)現(xiàn)的。為了“查看/證明”Java對泛型類型的擦除，我們常常通過反編譯的手段實(shí)現(xiàn)。Intellij IDEA作為Java開發(fā)主流IDE，它內(nèi)置的反編譯功能是最為常用的反編譯工具。

但是，你會發(fā)現(xiàn)，IDEA的反編譯竟沒有擦除泛型。

?正文

如下代碼：

/**
 * 在此處添加備注信息
 *
 * @author YourBatman's home page. <a href=https://yourbatman.cn>https://yourbatman.cn</a>
 * @author YourBatman. <a href=mailto:yourbatman@aliyun.com>Send email to me</a>
 * @author wechat:fsx641385712
 * @since 0.0.1
 */
public class Tester {

    @Test
    public void fun() {
        List<Integer> numbers = new ArrayList<>();
        numbers.add(18);

        List newNumbers = numbers;
        newNumbers.add("YourBatman");

        System.out.println(numbers);
    }

    @Test
    public void fun1() {
        List<Integer> intList = new ArrayList<>();
        List<String> stringList = new ArrayList<>();

        System.out.println(intList.getClass() == stringList.getClass());
    }

}

我們借助IDEA的反編譯后的內(nèi)容：找到需要反編譯的.class文件

雙擊即可查看：

我的天，泛型類型不應(yīng)該被擦除了嗎，為毛還在？IDEA的反編譯工具難道有bug？

??嘗試其它反編譯工具

IDEA最初內(nèi)置的是著名的JD-GUI?反編譯插件，從2016年起改為自研的反編譯插件Java Bytecode Decompiler，一直沿用至今：

為了驗(yàn)證此問題，我計(jì)劃多試試幾款反編譯工具。

??jd-gui

下載地址：https://github.com/java-decompiler/jd-gui/releases

尷尬的是，雙擊打不開：

無奈。在虛擬機(jī)里啟了個(gè)Windows 11來跑：

結(jié)論：沒有擦除泛型類型。和IDEA不同的是它反編譯出來的結(jié)果更“原始”一丟丟

??jadx

下載地址：https://github.com/skylot/jadx/releases

同樣的Windows 11上運(yùn)行進(jìn)行反編譯：

結(jié)論：沒有擦除泛型類型。結(jié)果不說和IDEA差不多，也是一模一樣。

??JAD

下載地址：https://varaneckas.com/jad

由于我的本是基于Apple Silicon芯片的，所以只能繼續(xù)在Windows上執(zhí)行了：

結(jié)論：泛型類型被擦除了。

??Beyond Compare 4

Beyond Compare的主業(yè)是做文件比較，其實(shí)它也可以Java反編譯。只需在https://www.scootersoftware.com/download.php?zz=moreformats下載所需插件：

使用Beyond Compare 4進(jìn)行反編譯：

結(jié)論：泛型類型被擦除了。Beyond Compare 4的反編譯基于Jad，因此效果和Jad一模一樣

??javap -c

使用最底層的javap -c進(jìn)行反編譯：

結(jié)論：泛型類型被擦除了。

??總結(jié)

有些擦除了但有些沒有擦除泛型類型，到底該信誰呢？當(dāng)然是無條件相信javap -c，因?yàn)橐磺蟹淳幾g操作都基于它。so結(jié)論是：Java的泛型是偽泛型，編譯后泛型類型都會被擦除。

記住結(jié)論的同時(shí)，通過本文對比了多個(gè)反編譯器的結(jié)果亦可得到兩條基本的常識：

1. 像IDEA內(nèi)置的Java Bytecode Decompiler?以及jadx這種比較新（還在持續(xù)迭代）的工具，稱作智能反編譯器更為合適：它能重排序代碼，并且“保留”住泛型類型，方便開發(fā)者閱讀
2. Java泛型引入至今已有近20年，“偽泛型”已被認(rèn)為是所有開發(fā)者的共識，沒有必要再在反編譯后體現(xiàn)出來反倒大大降低了可讀性。像Jad這種“上古”時(shí)期的反編譯器，依舊原汁原味