Java中泛型类的继承

Question

Java新手，请教个关于泛型类的问题。在Java中继承一个泛型类的时候，经常见到强制指定泛型类到底是什么，像是：class GenericSuperClass<T>{    //先定义一个泛型类；        T t;    public GenericSuperClass(T t)    {        this.t = t;    }}class GenericSubClass extends GenericSuperClass<Number>{    //继承之前定义的GenericSuperClass并且要求T是Number}类似的操作很常见，可是我找来找去就是没找到关于这种写法的讨论或者文档。 这种写法貌似也不符合对有界类型参数的声明。。。所以说这种写法是哪来的呢？

Answer 1

当然来自Java语言规范：

8.1.4. Superclasses and Subclasses

Super:

    extends ClassType

ClassType:

    TypeDeclSpecifier TypeArgumentsopt

其中的TypeDeclSpecifier是指父类型，见4.3章节：

TypeDeclSpecifier:

    TypeName  

    ClassOrInterfaceType . Identifier

TypeName:

    Identifier

    TypeName . Identifier

关键是后面的可选的TypeArguments，见4.5.1章节：

TypeArguments:

    < TypeArgumentList >

TypeArgumentList: 

    TypeArgument

    TypeArgumentList , TypeArgument

TypeArgument:

    ReferenceType

    Wildcard

倒数第二个ReferenceType包括类、接口、数组等，当然Number也是合法的。