Java Reflection，为什么在运行时保留父类(super class)型类型参数

Question

所以 java 有类型删除，它删除类型参数(在运行时没有泛型类型)。有人可以解释为什么要保留父类(super class)型类型参数吗？

class StringList extends ArrayList<String> {
    public Type getType() {

        Type[] typeArguments = ((ParameterizedType) this.getClass()
                .getGenericSuperclass()).getActualTypeArguments();
        return typeArguments[0];
    }
}

这基本上意味着:

new ArrayList<String>()// I cannot use reflection to find out the generified type String

但是

new StringList()//I can use reflection to see the generic type String

所以类型删除是为了向后兼容，但为什么要保留父类(super class)型类型参数呢？元数据是否已更新以支持它？

为什么是一个而不是另一个？

Answer 1

这样做是为了编译时类型安全。如果将 StringList 的父类(super class)删除为 ArrayList ，将无法防范

StringList stringList = new StringList();
stringList.add(new Integer(123456));

如果 .class 的类型保留在 StringList 文件中，编译器可以正确地拒绝上面的源代码，因为 new Integer(123456) 不是 String 期望的 ArrayList<String>#add(String) 类型。