Java 泛型类型擦除：何时以及会发生什么？

我读到了有关 Java 类型擦除的内容在甲骨文网站上.

什么时候发生类型擦除？在编译时还是运行时？类什么时​​候加载？类什么时​​候实例化？

很多网站（包括上面提到的官方教程）都说类型擦除发生在编译时。如果在编译时完全删除类型信息，那么当调用没有类型信息或类型信息错误的使用泛型的方法时，JDK如何检查类型兼容性？

考虑以下示例：说类A有一个方法，empty(Box<? extends Number> b)。我们编译A.java并获取类文件A.class.

public class A {
    public static void empty(Box<? extends Number> b) {}
}

public class Box<T> {}

现在我们创建另一个类B它调用该方法empty使用非参数化参数（原始类型）：empty(new Box())。如果我们编译B.java with A.class在类路径中，javac 足够聪明，可以发出警告。所以A.class has其中存储了一些类型信息。

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());
    }
}

我的猜测是，加载类时会发生类型擦除，但这只是猜测。那么什么时候发生呢？

类型擦除适用于use的仿制药。类文件中肯定有元数据来说明是否有方法/类型is泛型，以及约束是什么等。但是当泛型是used，它们被转换为编译时检查和执行时强制转换。所以这段代码：

List<String> list = new ArrayList<String>();
list.add("Hi");
String x = list.get(0);

被编译成

List list = new ArrayList();
list.add("Hi");
String x = (String) list.get(0);

在执行时没有办法发现这一点T=String对于列表对象 - 该信息消失了。

...但是List<T>接口本身仍然标榜自己是通用的。

编辑：只是为了澄清，编译器确实保留了有关variable成为一个List<String>- 但你还是无法发现T=String对于列表对象本身。