如何表达类型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>