先看下面的代碼
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)換異常，但是編譯器卻沒有報(bào)錯(cuò)
這樣的原因是，泛型是通過 java 編譯器的稱為擦除(erasure)的前端處理來實(shí)現(xiàn)的辽狈。你可以（基本上就是）把它認(rèn)為是一個(gè)從源碼到源碼的轉(zhuǎn)換，它把泛型版本的 loophole()轉(zhuǎn)換成非泛型版本呛牲。 結(jié)果是刮萌，java 虛擬機(jī)的類型安全和穩(wěn)定性決不能冒險(xiǎn)，即使在又unchecked warning 的情況下娘扩。
擦除去掉了所有的泛型類型信息着茸。所有在尖括號(hào)之間的類型信息都被扔掉了，因此琐旁，比如說一個(gè) List<String>類型被轉(zhuǎn)換為 List涮阔。所有對類型變量的引用被替換成類型變量的上限(通常是 Object)
Java 的泛型支持僅在語法級(jí)別
