为什么在运行时未在Java中擦除所有类型信息？

Question

到目前为止，我对Java Generics的理解显然是错误的，即Type
Erasure删除了所有类型信息，从而在运行时几乎没有剩余。最近，我偶然发现了一个代码片段，不得不问自己：这种破解是如何工作的？简化后，它表示为：

import java.lang.reflect.ParameterizedType;
import java.lang.reflect.Type;

public abstract class SuperClass<T> {

    private final Type type;

    protected SuperClass(){
        ParameterizedType parameterizedType =
                (ParameterizedType) getClass().getGenericSuperclass();
        type = parameterizedType.getActualTypeArguments()[0];
    }

    public void tellMyType(){
        System.out.println("Hi, my type parameter is " + type);
    }    
}

和

public class Example {

    public static void main(String[] args) {
        SuperClass sc = new SuperClass<Integer>(){};
        sc.tellMyType();
    }
}

执行Main Class结果Hi, my type parameter is class java.lang.Integer。

我们在这里看到的是，T的类型信息在运行时也可用，这与我的最初理解相矛盾。

所以我的问题是：为什么编译器会保留此？这对于某些内部JVM行为是必需的还是对此效果有任何合理的解释？

Answer 1

从http://www.artima.com/weblogs/viewpost.jsp?thread=208860：

事实证明，尽管JVM不会跟踪泛型类实例的实际类型参数，但它会跟踪泛型类的子类的实际类型参数。换句话说，虽然new
ArrayList<String>()实际上ArrayList()在运行时只是一个new
，但是如果一个class扩展了ArrayList<String>，那么JVM就会知道这String是的type参数的实际List类型参数。

在您的情况下，您正在制作参数化类型的匿名子类，因此将保留类型信息。请参阅本文以获取详细说明。