＜T extends Comparable＜? super T＞＞用法详解

<T extends Comparable<? super T>>用法详解

Java泛型命名

E - Element (used extensively by the Java Collections Framework)
K - Key
N - Number
T - Type
V - Value
S,U,V etc. - 2nd, 3rd, 4th types

举例详解

<T extends Comparable<? super T>>用法

这里运用了java的泛型
①extends后面跟的类型如<任意字符 extends 类/接口>表示泛型的上限

import java.util.*;
class Demo<T extends AbstractList>{}
public class Test{
    public static void main(String[] args) {
	Demo<ArrayList> p = null; // 编译正确
//这里因为ArrayList是AbstractList的子类所以通过
//如果改为Demo<AbstractCollection> p = null;就会报错这样就限制了上限
    }
}

②同样的super表示泛型的下限
③<T extends Comparable<? super T>>这里来分析T表示任意字符名，extends对泛型上限进行了限制即T必须是Comparable<? super T>的子类，然后<? super T>表示Comparable<>中的类型下限为T！
这样来看一段代码辅助理解

import java.util.GregorianCalendar;

class Demo<T extends Comparable<? super T>>{}

public class Test1
{
	public static void main(String[] args) {
	   Demo<GregorianCalendar> p = null; // 编译正确
    }
}

这个可以理解为<GregorianCalendar extends Comparable< Calendar>>是可以运行成功的！因为Calendar为GregorianCalendar 的父类并且GregorianCalendar 实现了Comparable< Calendar>

import java.util.GregorianCalendar;
class Demo<T extends Comparable<T>>{}
//这里把? super去掉了
public class Test
{
	public static void main(String[] args) {
	   Demo<GregorianCalendar> p = null; 
        }
}

编译会报错！因为<T extends Comparable< T>>相当于<GregorianCalendar extends Comparable< GregorianCalendar>>但是GregorianCalendar并没有实现Comparable< GregorianCalendar>的子类而是实现的Comparable< Calendar>的父类，这里不在限制范围之内所以会报错！

<T extends Comparable< T>>用法

<T extends Comparable>这个应该是比较常见的写法，T 必须实现Comparable接口，而比较的类型T。这很容易明白，因为T和T才能进行比较嘛。问题来了，为什么要使用以下写法呢。
<T extends Comparable<? super T>>
但是 如果T的父类实现了 Comparable接口，而我们也想这个接口怎么办呢？

class Dog implements Comparable<Dog>{
    int weight;
    public Dog(int weight) {
        this.weight = weight;
    }
    @Override
    public int compareTo(Dog o) {
        return this.weight - o.weight;
    }
}
class Labrador extends Dog{
    public Labrador(int weight) {
        super(weight);
    }
}

在这里Labrador 继承了Dog 和他的Comparable方法。
但如果泛型是<T extends Comparable >显然 Labarador 是不符合的，因为他并没有实现 Comprable。
如果改成<T extends Comparable<? super T>>，那么只要Dog实现了Comparabl接口。Labrador也能用啦
Are you clear now !