为何Java max方法需同时使用Comparable<? super T>与List<? extends T>？

我们先明确两个通配符各自的作用：

• Comparable<? super T>：允许T（或其子类）继承父类的Comparable实现，不需要每个子类都重新实现Comparable<T>，比如Student继承Person的Comparable<Person>也能被处理。
• List<? extends T>：允许传入T的任意子类型列表，比如T是Person时，可以传入List<Student>。

单独使用其中一个通配符会存在通用性局限，只有同时使用才能覆盖所有场景：

场景1：需要返回列表元素的实际子类类型 #

假设我们有如下继承链：

class Animal implements Comparable<Animal> {
    // 按年龄比较的逻辑
    public int compareTo(Animal other) {
        return Integer.compare(this.getAge(), other.getAge());
    }
}
class Dog extends Animal {}
class Puppy extends Dog {}

如果只用public static <T extends Comparable<T>> T max(List<? extends T> list, int begin, int end)：

• 当传入List<Puppy>时，T只能被推断为Animal（因为Puppy没有实现Comparable<Puppy>，只继承了Comparable<Animal>），方法返回Animal类型，需要强制转换才能得到Puppy，既麻烦又不安全。

而使用同时包含两个通配符的签名：

• T可以被推断为Puppy，因为Puppy满足Comparable<? super Puppy>（Animal是Puppy的父类），同时List<? extends Puppy>接受List<Puppy>，方法直接返回Puppy类型，无需转换。

场景2：需要接受T的子类型列表，并返回T类型 #

还是用上面的继承链，如果只用public static <T extends Comparable<? super T>> T max(List<T> list, int begin, int end)：

• 当我们有一个List<Puppy>，但希望方法返回Dog类型（比如只关心Dog层面的属性），这个签名无法直接实现——因为List<Puppy>不是List<Dog>，无法传入。

而使用同时包含两个通配符的签名：

• 可以将T指定为Dog，List<? extends Dog>允许传入List<Puppy>，方法返回Dog类型，完美匹配需求。

总结 #

同时使用这两个通配符，是为了让方法在兼容子类继承父类比较逻辑的基础上，最大化通用性：既支持传入任意子类型列表，又能灵活返回对应层级的类型（从最具体的子类到顶层父类都可以），避免强制转换和类型安全问题。

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