java中的T extends Comparable ? super T

项目github地址：bitcarmanlee easy-algorithm-interview-and-practice
欢迎大家star，留言，一起学习进步

<T extends Comparable<? super T>> 这样的类型参数 (Type Parameter) 在 JDK 中或工具类方法中经常能看到。例如在Collections中的sort方法：

    public static <T extends Comparable<? super T>> void sort(List<T> list) {list.sort(null);}

很多人第一眼看到这个函数签名，都会有些疑惑，干嘛搞这么麻烦，这么声明不就好了么

<T extends Comparable<T>>

为什么非要声明成这么复杂的形式

<T extends Comparable<? super T>>

经过一番看书，搜索，搞明白了这样声明的目的。

1.<T extends Comparable> 和 <T extends Comparable<? super T>>的简单区别

<T extends Comparable<T>>

类型 T 必须实现 Comparable 接口，并且这个接口的类型是 T。

<T extends Comparable<? super T>>

类型 T 必须实现 Comparable 接口，并且这个接口的类型是 T 或 T 的任一父类。这样声明后，T 的实例之间，T 的实例和它的父类的实例之间，可以相互比较大小。

2.示例１

看一个很多地方都能找到的例子

public class Test1 {public static void main(String[] args) {Demo<GregorianCalendar> p1 = null; // 报错会}}class Demo<T extends Comparable<T>> {}

上述代码在IDE中会报错：
Error:(11, 14) java: 类型参数java.util.GregorianCalendar不在类型变量T的范围内。

为什么会报上面的错误呢？因为GregorianCalendar并没有实现Comparable接口。
如果将上面的代码稍作修改，就能正常运行：

public class Test1 {public static void main(String[] args) {Demo<GregorianCalendar> p1 = null;}
}class Demo<T extends Comparable<? super T>> {}

为什么现在没有问题？因为GregorianCalendar继承了Calendar类，而Calendar实现了Comparable接口。

通过上面的例子，很明显能看出来： <T extends Comparable<? super T>>这种声明的方式，不仅可以接受T类型，还可以接受T的父类型，这样类型参数对所传入的参数限制更少，提高了 API 的灵活性。

3.示例2

看另外一个例子

public class Test2 {public static <T extends Comparable<T>> void sort1(List<T> list) {Collections.sort(list);}public static <T extends Comparable<? super T>> void sort2(List<T> list) {Collections.sort(list);}public static void t1() {List<Animal> animals = new ArrayList<Animal>();animals.add(new Animal(20));animals.add(new Animal(30));List<Dog> dogs = new ArrayList<Dog>();dogs.add(new Dog(5));dogs.add(new Dog(10));sort1(animals);// sort1(dogs); 会报错sort2(animals);sort2(dogs);}
}class Animal implements Comparable<Animal> {public int age;public Animal(int age) {this.age = age;}public int compareTo(Animal other) {return this.age - other.age;}
}class Dog extends Animal {public Dog(int age) {super(age);}
}

上面的例子有两个类：Animal类实现了Comparable接口，Dog继承了Animal类。sort1方法的参数为<T extends Comparable<T>> ，sort2方法的参数为<T extends Comparable<? super T>>。

sort1方法只能对List<Animal>类型的list进行排序，对于List<Dog>类型不能排序。
sort2方法因为方法签名的参数为<T extends Comparable<? super T>>，所以不管是List<Animal>类型还是List<Dog>类型，都可以！