collections.sort 方法虽未显式使用通配符，但其签名
Collections.sort 方法没有应用 PECS 原则——它根本不使用通配符，而是直接依赖泛型类型参数的上界约束（ extends T> 的等价逻辑由 Comparable super T> 承担），但其设计思想与 PECS 高度一致：读取时协变、比较时宽泛兼容。
我们来拆解清楚：
sort 方法签名的真实含义
public static <t extends comparable super t>> void sort(List<t> list)</t></t>
这个签名里没有 ? extends 或 ? super 出现在 List 参数上，但关键在 <t extends comparable super t>></t> 这个类型边界。
-
T必须实现Comparable，且它的compareTo方法能接受T或其父类（比如Integer实现Comparable<number></number>，而Number是Integer的父类）。 -
? super T出现在Comparable的泛型参数中，是典型的 Consumer 场景：compareTo方法要“消费”一个T类型的参数，所以需要能容纳T及其所有父类——这就是? super T的用武之地。
换句话说：
✅ compareTo 是消费者 → 用 ? super T，确保 list.get(i).compareTo(other) 能安全调用，哪怕 other 是 T 的父类实例（如 Integer.compareTo(Number) 合法）。
✅ list 本身是 List<t></t>，不是 List extends T>，但因为 T 已被约束为可比较类型，且 sort 只读取元素做比较、不向列表写入新元素，所以实际行为符合 Producer 角色——它只从列表中读取 T 实例用于比较，不插入、不替换。
为什么没用 List extends T>？为什么不更“PECS 化”？
sort 需要修改原列表顺序（内部交换元素位置），而 List extends T> 禁止写操作（set()、add()、remove() 全部编译报错）。
所以它不能声明为 List extends T> ——那会连 list.set(i, x) 都无法编译通过。
但它依然体现了 PECS 的精神：
| 角色 | 组件 | PECS 对应 | 说明 |
|---|---|---|---|
| Producer（读取端） |
list.get(i) 获取待排序元素 |
✅ 隐式 ? extends T
|
元素被当作 T 使用，能安全调用 compareTo；T 的子类（如 Dog extends Animal）只要实现了 Comparable<animal></animal> 就能放进 List<dog></dog> 并被 sort 处理 |
| Consumer（比较端） |
Comparable super T> 中的 ? super T
|
✅ 显式 ? super T
|
compareTo 方法接收 T 或其父类，保证子类对象能和更宽泛类型比较（例如 LocalDateTime 实现 Comparable<chronolocaldatetime></chronolocaldatetime>，后者是父接口） |
对比 Collections.copy：凸显 sort 的特殊性
-
copy(src, dest)是纯数据流转：src只读（? extends T），dest只写（? super T）→ 完整 PECS 成对出现。 -
sort(list)是就地修改：既要读（Producer 行为），又要写（set()重排）→ 无法拆成两个通配符参数，只能靠T类型变量 +Comparable super T>边界来兼顾安全与灵活性。
所以它不是“没用 PECS”，而是把 PECS 思想内化到了类型参数约束中，而非方法参数的通配符上。
实际编码中你能怎么受益？
当你定义自己的可排序类型时，正确声明 Comparable 是关键：
class Apple implements Comparable<fruit> { // ✅ 推荐：用父类 Fruit，更灵活
public int compareTo(Fruit other) { ... }
}
// 这样就能安全传给 sort：
List<apple> apples = new ArrayList();
Collections.sort(apples); // 编译通过！因为 Apple 实现了 Comparable super Apple>
// 甚至可以混排：
List<comparable super fruit>> mixed = Arrays.asList(new Apple(), new Banana());
// （注意：这种 List 不是 sort 的输入，仅作说明）</comparable></apple></fruit>
如果错误地写成 Comparable<apple></apple>，那 Apple 就无法参与以 Fruit 为基准的通用比较逻辑，失去向上兼容能力。
sort 没有表面的 ? extends / ? super 参数，却把 PECS 的核心——“读取时放宽产出类型、写入/消费时放宽接纳类型”——深植于类型边界设计之中。它不是 PECS 的反例，而是更高阶的实践：用类型参数约束代替通配符，达成同样目标，同时支持就地修改。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
