Java泛型類型擦除：何時(shí)以及發(fā)生了什么？我在Oracle的網(wǎng)站上讀到了Java的類型擦除。什么時(shí)候發(fā)生類型擦除？在編譯時(shí)還是運(yùn)行時(shí)？當(dāng)班級(jí)加載？當(dāng)類被實(shí)例化時(shí)？很多站點(diǎn)（包括上面提到的官方教程）都說在編譯時(shí)會(huì)發(fā)生類型擦除。如果在編譯時(shí)完全刪除了類型信息，那么當(dāng)調(diào)用使用泛型的方法而沒有類型信息或錯(cuò)誤的類型信息時(shí)，JDK如何檢查類型兼容性？考慮以下示例：Say class A有一個(gè)方法，empty(Box<? extends Number> b)。我們編譯A.java并獲取類文件A.class。public class A {     public static void empty(Box<? extends Number> b) {}}public class Box<T> {}現(xiàn)在我們創(chuàng)建另一個(gè)類B，該類empty使用非參數(shù)化參數(shù)（原始類型）調(diào)用該方法：empty(new Box())。如果我們編譯B.java與A.class在類路徑中，javac的是足夠聰明，引發(fā)警告。所以A.class 有一些類型信息存儲(chǔ)在其中。public class B {     public static void invoke() {         // java: unchecked method invocation:         //  method empty in class A is applied to given types         //  required: Box<? extends java.lang.Number>         //  found:    Box         // java: unchecked conversion         //  required: Box<? extends java.lang.Number>         //  found:    Box         A.empty(new Box());     }}我的猜測(cè)是類加載時(shí)會(huì)發(fā)生類型擦除，但這只是猜測(cè)。那么什么時(shí)候發(fā)生？