关于<T extends Comparable<? super T>>的理解

来源:互联网 发布:日本转区软件 编辑:程序博客网 时间:2024/05/01 00:58

最近在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接口的类的子类也可以,从而确定下界

1 0