在Java中，为什么在运行时没有通用类型信息？

Question

考虑这个例子，该例子取自一本书，其中有一个超类Gen和一个子类Gen2 …

class Gen<T> { }

class Gen2<T> extends Gen<T> { }

现在，该书指出以下内容将无法编译（让我们在主要方法中假设其内容）

Gen2<Integer> obj = new Gen2<Integer>();

if (obj instanceof Gen2<Integer>) {

    //do something
}

由于泛型类型信息在运行时不存在，因此无法编译。如果在运行时不存在，什么时候存在？我以为它不会在编译时存在，而会在运行时存在。当然，以下适用于带有通配符的运行时…

if (obj instanceof Gen<?>) {

    //do something else

}

因此要澄清，我的问题是为什么泛型类型信息在运行时不存在？我是否忽略了一个简单的概念？

Answer 1

问题在于，泛型并不总是出现在java中（我认为他们在1.5中添加了泛型）。因此，为了能够实现向后兼容性，提供了类型擦除功能，该功能可以在编译代码以实现该目标的同时有效地擦除通用类型信息。

摘自官方文件的相关部分：

在类型擦除过程中，Java编译器将擦除所有类型参数，如果类型参数是有界的，则将每个参数替换为其第一个边界；如果类型参数是无界的，则将其替换为对象。

所以这段代码例如

public class Node<T extends Comparable<T>> {

    private T data;
    private Node<T> next;

    public Node(T data, Node<T> next) {
        this.data = data;
        this.next = next;
    }

    public T getData() { return data; }
    // ...
}

在类型擦除后变为：

public class Node {

    private Comparable data;
    private Node next;

    public Node(Comparable data, Node next) {
        this.data = data;
        this.next = next;
    }

    public Comparable getData() { return data; }
    // ...
}

但是，如果您沿着反射的路径前进，就像 光剑
一样，有一种方法可以复活其中一些类型的信息：既强大又危险。