在看java容器类的时候经常可以看到<T extends Comparable<? super T>>，感觉十分不解？
我们觉得<T extends Comparable<T>>我们是知道的，T是实现了Comparable接口的类型，因此他们之间可以进行比较，
<? super T>表名类型参数需要是T或T的父类，那么<T extends Comparable<? super T>>到底是什么意思呢？
对T的约束是Comparable的子类，对Comparable中泛型的约束是，?至少是T的父类,那么就意味着T是？的子类。
一言以蔽之：元素必须是实现了Comparable接口的类或者其子类，可以使用父类方法比较子类型
/**
* Created by wangbin10 on 2018/9/18.
* mySort2() list中的元素必须是实现了Comparable接口的类或者其子类
* Java采取的是类型擦除的方法来实现泛型，并通过extends和super关键字来约束泛型的上界和下界。
* extends关键字用于确定泛型的上界。<A extends B>表示类B或者其子类。
* super关键字用于确定泛型的下界，<A super B>表示类B或者其父类，一直到Object。？则是一个通配符。
* 因此，<T extends Comparable<? super T>>表示了上界为实现了Comparable接口的类，<? super T>则表示实现Comparable接口的类的子类也可以，从而确定下界
*/
public class Test {
public static void main(String[] args) {
List<Animal> animals = new ArrayList<>();
animals.add(new Animal(25));
animals.add(new Dog(34));
mySort1(animals);//ok List<Dog> dogs = new ArrayList<>();
dogs.add(new Dog(18));
dogs.add(new Dog(19));
/**
* 这个编译不能通过，因为T推断是Animal，得到的是Dog，Dog没有实现Comparable，所以不行
* mySort1(dogs);
* */ mySort2(animals);//ok
mySort2(dogs);//ok
} /**
* mySort1的类型参数是T extends Comparable<T>，他要求T必须实现Comparable
* @param list
* @param <T>
*/
public static <T extends Comparable<T>> void mySort1(List<T> list) {
Collections.sort(list);
System.out.println("mySort1 Success!");
} /**
* list中的元素必须是实现了Comparable接口的类或者其子类
* @param list
* @param <T>
*/
public static <T extends Comparable<? super T>> void mySort2(List<T> list) {
Collections.sort(list);
System.out.println("mySort2 Success!"); }
} class Animal implements Comparable<Animal> {
int age; public Animal(int age) {
this.age = age;
} @Override
public int compareTo(Animal o) {
return Integer.compare(this.age, o.age);
}
} /**
* Dog根本不能implements Comparable<Dog>，因为这样就会实现两个相同的接口
*/
class Dog extends Animal {
public Dog(int age) {
super(age);
}
}