Java泛型max方法中为何用Comparable<? super T>而非其他？

1. 为什么用Comparable<? super T>而非Comparable<? extends T>或Comparable<T>？ #

Comparable<T>的局限 #

假设存在类层次：Animal implements Comparable<Animal>，Dog extends Animal。此时Dog继承的是父类的Comparable<Animal>，而非自己实现Comparable<Dog>。如果泛型约束写成<T extends Comparable<T>>，Dog就不满足约束——它的Comparable接口针对的是Animal而非Dog本身，传入List<Dog>调用max方法会直接编译报错。

Comparable<? extends T>的问题 #

如果约束是<T extends Comparable<? extends T>>，比如T是Animal，Comparable<? extends Animal>可以是Comparable<Dog>。但Comparable<Dog>的compareTo只能接受Dog类型，而max方法里maxElem是Animal类型，调用compareTo传入其他Animal子类（比如Cat）时，会出现类型不匹配，导致编译失败。

Comparable<? super T>的合理性 #

这个约束的核心是让T的实例可以调用compareTo方法处理所有T或T子类的对象：

• 比如T是Dog，Comparable<? super Dog>可以是Comparable<Animal>或Comparable<Dog>；
• 如果是Comparable<Animal>，Dog实例调用compareTo时，传入的Dog（或其子类）对象可向上转型为Animal，完全符合参数要求；
• 方法的列表参数是List<? extends T>，意味着列表元素是T或T的子类，这些元素都能被Comparable<? super T>的compareTo方法接受，完美适配比较逻辑。

2. 为什么Comparable针对T的父类，但列表可以放T的子类？ #

子类对象天生可以向上转型为父类类型。比如Animal implements Comparable<Animal>，Dog extends Animal，Dog实例调用compareTo时，传入的另一个Dog会被当作Animal处理——父类的比较逻辑（比如按年龄、体重等属性）已经能覆盖子类的比较需求。即使列表里全是Dog这样的T子类，它们依然能被Comparable<? super T>的逻辑正确处理，因为子类本身就是父类的实例，符合父类Comparable的参数要求。

3. 为什么显式声明T extends Object？ #

Java泛型类型参数默认隐式extends Object，这里显式声明主要有两个原因：

• 边界顺序规则：当类型参数有多个边界（类+接口）时，必须把类类型放在最前面，接口类型跟在后面。Object是类，Comparable是接口，显式写出能明确这个顺序，避免混淆；
• 代码可读性：显式声明让类型约束更清晰，读者一眼就能看到T的完整边界，无需依赖默认规则的知识。

内容的提问来源于stack exchange，提问作者davidandcode