最近在Collections代码的时候,看到sort方法的参数限定。下面是JDK中的源码,
public static <T extends Comparable<? super T>> void sort(List<T> list) {
list.sort(null);
}
能调用sort方法进行排序,list中的元素必须是实现了Comparable接口的类或者其子类,通过<T extends Comparable<? super T>>来进行限定。自己一开始没有理解这个限定的意思,查阅了一些网上的文章才明白。Java采取的是类型擦除的方法来实现泛型,并通过extends和super关键字来约束泛型的上界和下界。
extends关键字用于确定泛型的上界。<A extends B>表示类B或者其子类。super关键字用于确定泛型的下界,<A super B>表示类B或者其父类,一直到Object。?则是一个通配符。
因此,<T extends Compatable<? super T>>表示了上界为实现了Comparable接口的类,<? super T>则表示实现Comparable接口的类的子类也可以,从而确定下界