如何表达T型必须是U型？

Question

Java泛型有什么方法可以告诉编译器T类型必须是U类型吗？例如。

public class Whatever<T, U> {

    T specific;
    U moreGeneral;

}

现在，我要确保T是U的一个子类。有什么方法可以指定这个吗？

Answer 1

简单地使用

public class Whatever<T extends U,U>

Answer 2

为了澄清这一点，以下内容将对JDK 1.7起作用。当试图切换U和T的声明顺序时，我得到了illegal forward reference to type argument U。与其他帖子一样，更新的JDK版本似乎不存在此问题。

根据这个post，这在JDK1.7中是固定的。

public class Whatever <U, T extends U> {
    T specific;
    U moreGeneral;
}