类型擦除如何在 Java 中工作？

Question

我在 http://download.oracle.com/javase/tutorial/java/generics/erasure.html 上浏览 TypeErasure 主题，上面写着 该编译器会删除与类或方法中的类型参数和类型参数相关的所有信息。

现在考虑下面的代码

public class Box<T> {
    private T t; // lineA, T stands for "Type" 

    public void add(T t) { // lineB
        this.t = t; // lineC
    }

    public T get() { // lineD
        return t; // lineE
    }
}

现在在main 方法里面我有下面的代码sn-p

Box<String> box1 = new Box<String>(); // line1
box1.add("Scott"); // line2
String s1tr=box1.get(); // line3

Box<Integer> box2 = new Box<Integer>(); // line4
box2.add(1); // line5
Integer k=box2.get(); // line6

现在在上面的代码中（在Box 类和main 方法中）编译器将进行哪些更改以及在哪一行？

正如链接所说，编译器会删除与类或方法中的类型参数和类型参数相关的所有信息，当编译器 将编译Box 类，它会分别从Box 类和main 方法中删除所有T、<String>、<Integer> 出现吗？如果是，删除T后的编译代码是什么？

Answer 1

类型擦除发生在编译时。 Java 编译器从源代码中删除这些泛型类型信息，并根据需要添加类型转换并提供字节码。因此生成的字节码不会包含任何关于类型参数和实参的信息。 它看起来像一个没有泛型的旧 java 代码。无法在运行时确定 T 的值，因为在编译代码之前该信息已被删除。

Answer 2

在您的示例代码中没有类型限制的情况下，在 Box 类中（大致）会发生什么，方法代码中对 T 的所有引用的所有实例将被 替换目的。在使用 Box 类的代码中，<String>、<Integer> 等的所有实例都将被删除。

关于 Java 泛型的详尽深入的文章是 Angelika Langer's FAQ - 它还解释了类型边界的影响等等。