为什么字节码中保留了这个类型参数？

Question

打字擦除页面上说

如果类型参数是无界的，则用其边界或对象替换泛型类型中的所有类型参数。因此，生成的字节码只包含普通类、接口和方法。

但是，对于以下类别：

public class Foo<E extends CharSequence> {
    public E something;
}

javap-c Foo打印：

public class Foo<E extends java.lang.CharSequence> {
  public E something;
}

为什么类型参数没有替换为绑定（CharSequence），而是保留为E？

Answer 1

类型参数被保留，因为它必须为子分类所知。定义

public class Foo<E extends CharSequence> 

和

public class Foo<CharSequence> 

不相等，因为后者不允许将子类声明为，例如：

public class MyStringFoo extends Foo<String> { }

而前者有。

Answer 2

类型信息保留在类和方法上，但不保留在实际变量上。如果你写

class Foo extends Bar<String> {
}

...您可以提取条

new Bar<String>();

...您无法提取条

Answer 3

你打印的不是字节码。它是方法签名。它被放在那里，这样编译器就可以在编译其他调用它的类时强制执行类型安全。