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

Question

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

我在Oracle的网站上读到了Java的类型擦除。

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

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

考虑以下示例：Say class 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与A.class在类路径中，javac的是足够聪明，引发警告。所以A.class 有一些类型信息存储在其中。

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

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

Answer 1

类型擦除适用于泛型的使用。人们确实在类文件元数据说的方法/类型是否是通用的，什么约束等，但仿制药的时候使用，他们转换成编译时检查和执行时间蒙上。所以这段代码：List<String>&nbsp;list&nbsp;=&nbsp;new&nbsp;ArrayList<String>();list.add("Hi");String&nbsp;x&nbsp;=&nbsp;list.get(0);编译成List&nbsp;list&nbsp;=&nbsp;new&nbsp;ArrayList();list.add("Hi");String&nbsp;x&nbsp;=&nbsp;(String)&nbsp;list.get(0);在执行时，无法找到T=String列表对象 - 信息消失了。...但是List<T>界面本身仍然宣称自己是通用的。编辑：只是为了澄清，编译器并保留有关的信息变量是一个List<String>-但您仍然无法找出T=String列表对象本身。

Answer 2

Java语言中的泛型是一个非常好的指南。泛型由Java编译器实现为称为擦除的前端转换。您可以（几乎）将其视为源到源的转换，从而将通用版本loophole()转换为非泛型版本。所以，它是在编译时。JVM永远不会知道ArrayList你使用了哪个。我还建议Skeet先生的答案是什么是Java中泛型的擦除概念？