先看下面的代碼

public static String loophole(Integer x) {
    List<String> ys = new LinkedList<String>();
    List xs = ys;
    xs.add(x); 
    return ys.iterator().next();
}

public static void main(String[] args) {
    loophole(123);
}

image-20200213124451377.png

看到，程序類型的轉(zhuǎn)換異常，但是編譯器卻沒有報錯

這樣的原因是，泛型是通過 java 編譯器的稱為擦除(erasure)的前端處理來實現(xiàn)的。你可以（基本上就是）把它認為是一個從源碼到源碼的轉(zhuǎn)換，它把泛型版本的 loophole()轉(zhuǎn)換成非泛型版本。 結(jié)果是，java 虛擬機的類型安全和穩(wěn)定性決不能冒險，即使在又unchecked warning 的情況下。

擦除去掉了所有的泛型類型信息。所有在尖括號之間的類型信息都被扔掉了，因此，比如說一個 List<String>類型被轉(zhuǎn)換為 List。所有對類型變量的引用被替換成類型變量的上限(通常是 Object)

Java 的泛型支持僅在語法級別