? extends Comparable<T>不能约束方法参数排序能力，因通配符匿名不可用；真正有效的是泛型参数上界约束，如<T extends Comparable<T>>或<T extends Comparable<? super T>>。
上界通配符 ? extends Comparable<T> 本身**不能直接约束方法参数具备排序能力**，因为它缺少关键的类型关联——通配符 ? 是匿名的、不可引用的，无法在方法体内安全调用 compareTo()。真正起作用的是**泛型类型参数自身的上界约束**，例如 <T extends Comparable<T>> 或更严谨的 <T extends Comparable<? super T>>。
为什么 ? extends Comparable<T> 单独写是无效的
这个写法存在两个根本问题：
-
类型丢失：通配符
?不代表一个可命名、可复用的类型，你无法声明变量、接收参数或调用compareTo()（因为编译器不知道?具体是什么类型）； -
接口泛型不匹配：
Comparable<T>要求比较对象必须是T类型，但? extends Comparable<T>表达的是“某个子类型，它实现了Comparable<T>”，这反而限制了比较范围（比如只允许和T比，不能和自身比），违背排序逻辑。
真正起作用的是泛型参数 T 的上界约束
要让方法能对入参做排序或比较，必须让类型参数 T 明确承诺“我能和同类对象比较”。标准写法是：
-
<T extends Comparable<T>>：表示T实现了Comparable<T>，即支持与自身类型实例比较。适用于大多数简单场景（如Integer、String）； -
<T extends Comparable<? super T>>：更宽松也更安全。表示T实现了Comparable，且其泛型参数是T或它的父类（如Comparable<Number>对Integer也成立）。这是Collections.sort()等 JDK 方法采用的写法，支持继承体系下的自然排序。
实际效果体现在方法签名和调用上
以查找最大值为例：
立即学习“Java免费学习笔记（深入）”；
public static <T extends Comparable<? super T>> T findMax(List<T> list) { ... }
这个约束带来的保障是：
- 调用时传
Arrays.asList(1, 5, 3)✅：因为Integer实现了Comparable<Integer>，满足? super Integer（Integer是自身的父类）； - 传
Arrays.asList("a", "z")✅：String实现了Comparable<String>； - 传
Arrays.asList(new Object())❌：编译失败，因为Object没有实现Comparable； - 自定义类如
Person必须显式implements Comparable<Person>或Comparable<Object>才能通过编译。
常见误用对比
❌ 错误写法：void sort(List<? extends Comparable<String>> list)
→ 只接受“能跟 String 比较”的类型列表，比如 List<? extends Comparable<String>> 可能是 ArrayList<MyStr>，但 MyStr 和 String 之间无关系，无法保证内部元素可相互比较。
✅ 正确方向：
用泛型参数绑定行为：<T extends Comparable<? super T>> void sort(List<T> list)
→ 所有元素都是 T 类型，且 T 保证能和自己或父类实例比较，排序逻辑才成立。
