Java集合工具类Collections里定义了sort方法,里面的泛型很有意思:<T extends Comparable<? super T>>
对于这个泛型,我们来理解一下:
首先,泛型T是要继承Comparable接口的,这个没什么疑问。重点是Comparable接口里定义的泛型,必须是泛型T或者泛型T的父类。
什么意思呢?如果我有两个类,A和B,A是B的父类。
假如一开始,A和B都继承了Comparable接口,我用B去调用这个方法,即:
B extends Comparable<B>,因为B继承了Comparable接口,所以可以调用成功
如果此时,B不再继承Comparable接口,会出现如下情况:
1.B extends Comparable<B>
2.B extends Comparable<A>
3.B extends Comparable<Object>
因为? super T这个定义,是B和B的父类,所以有B,A和Object
由于B没有继承Comparable接口,所以第一种情况不符合,此时再判断第二种情况,由于A extends Comparable<A>,而
B extends A,所以B extends Comparable<A>,第二种情况满足,可以调用。
综上所述,<T extends Comparable<? super T>>的作用就是,当子类没有继承Comparable接口而父类继承了Comparable时,子类可以通过父类继承的Comparable接口来调用sort方法。