嵌套通用类型参数参数

Question

我有一个抽象类,定义为:

public abstract class BaseClass<T extends FirstClass, U extends BaseAnother<? extends SecondClass>> {

我不想使用问号(?)并使用一些通用变量,如T或U.

我怎样才能做到这一点？

Answer 1

是的 public abstract class BaseClass<X extends SecondClass, T extends FirstClass, U extends BaseAnother<X>> {，不是吗？

（我添加了X extends SecondClass）

考虑一下您将如何使用此类型变量。定义类时声明它的方法是在new BaseClass< /* type parameters - here */> { ... }.

另请注意，根据JLS，类型参数在类定义中的一处声明：

NormalClassDeclaration： ClassModifiers 选择类标识符 TypeParameters 选择 Superopt Interfaces 选择 ClassBody

请参见下面 8.1.2 中的示例。通用类和类型参数章节：

interface ConvertibleTo<T> {
    T convert();
}
class ReprChange<T extends ConvertibleTo<S>,
                 S extends ConvertibleTo<T>> { 
    T t; 
    void set(S s) { t = s.convert();    } 
    S get()       { return t.convert(); } 
}