如何应用符合 PECS 原则的比较器 Comparator 声明实战满足对象列表的多维拓扑排序-java教程-PHP中文网

多维拓扑排序在 java 中不适用 comparator，因其仅支持全序关系，而拓扑排序依赖不可比的偏序关系；强行使用会违反比较契约、无法检测环且违背 pecs 原则；应改用 kahn 算法等图算法实现。

如何应用符合 pecs 原则的比较器 comparator 声明实战满足对象列表的多维拓扑排序

直接说结论：多维拓扑排序在 Java 中不适用 Comparator，因为 Comparator 只能表达**全序关系（total order）**，而拓扑排序依赖的是**偏序关系（partial order）**——即部分元素之间不可比、存在依赖约束而非大小关系。强行用 Comparator 实现拓扑排序，不仅违背 PECS 原则，还会导致逻辑错误或运行时异常。

为什么 Comparator 不适合拓扑排序

Comparator 的 compare(T o1, T o2) 方法必须对任意两个非 null 元素返回负数、零或正数，隐含要求：任意两元素必须可比且满足三性（自反、反对称、传递）+ 完全性（o1o2 必居其一）。但拓扑排序场景中：

节点 A 依赖 B，B 依赖 C → 要求 A 在 C 后、B 在 A 后，但 A 和 C 之间无直接依赖，它们“不可比”，不能强制返回 -1/0/1；
若存在环（A→B→A），Comparator 无法检测，反而可能因违反传递性引发 Arrays.sort 报 IllegalArgumentException: Comparison method violates its general contract!；
PECS（Producer Extends, Consumer Super）关注泛型通配符安全，而拓扑排序根本不需要泛型比较器消费/生产对象——它需要的是邻接表、入度数组和队列。

真正该用什么做拓扑排序

用标准图算法，不是 Comparator：

构建有向图：每个对象为节点，依赖关系为有向边（如 taskA dependsOn taskB ⇒ 边 B → A）；
计算入度：统计每个节点被依赖的次数；
Kahn 算法：用 Queue 存入度为 0 的节点，逐个取出并减少下游节点入度，新入度为 0 则入队；
若最终输出节点数＜总节点数 → 存在环，排序失败。

示例结构（不涉及 Comparator）：

Map> graph = new HashMap();
Map indegree = new HashMap();
Queue queue = new ArrayDeque();

什么时候才该考虑带 PECS 的 Comparator

仅当你要做**多字段全序排序**，且需泛型安全地复用比较逻辑时，才应用 PECS 声明，例如：

声明接收上界通配符的工具方法：public static <t> void sortByNameThenId(List extends T> list, Function<t string> nameFn, ToIntFunction<t> idFn)</t></t></t> —— 这里 ? extends T 是 producer，符合 PECS；
构造可复用的通用比较器工厂：public static <t> Comparator<t> comparingThen( Function<t extends comparable> key1, Function<t extends comparable> key2 )</t></t></t></t>；
但注意：这些仍是为全序服务，和拓扑无关；强行把依赖图塞进 Comparator 的 compare 方法，等于把 DAG 当成链表处理，会丢失语义且不可靠。