Java 泛型类型删除 : when and what happens?

Question

我读到了 Java 的类型删除 on Oracle's website .

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

很多网站(包括上面提到的官方教程)都说类型删除发生在编译时。如果在编译时完全删除了类型信息，那么在没有类型信息或类型信息错误的情况下调用使用泛型的方法时，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与 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> 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>接口(interface)本身仍然宣传自己是通用的。

编辑:为了澄清，编译器确实保留了关于变量的信息是 List<String> - 但你还是找不到 T=String对于列表对象本身。