Java泛型理解

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方法。