Java中Comparator必须满足传递性，否则TimSort会抛IllegalArgumentException；应使用工具方法、链式比较、显式处理null，并避免副作用。
Java 中 Collections.sort 使用自定义 Comparator 时，若比较逻辑不满足传递性（transitivity），可能引发 IllegalArgumentException: Comparison method violates its general contract! 异常。这不是偶然报错，而是 TimSort 算法在 JDK 7+ 中主动检测并拒绝执行的结果。
什么是比较器的传递性？
传递性是 Comparator 合约的核心要求之一：若 compare(a, b) > 0 且 compare(b, c) > 0，则必须保证 compare(a, c) > 0；同理适用于 和 <code>== 0 的情况。违反它会导致排序过程中出现逻辑矛盾，TimSort 无法确定元素相对位置，从而抛出异常。
常见错误写法示例：
// ❌ 错误：浮点数直接用 == 比较，或使用不稳定的判断逻辑
Comparator<Double> badComp = (a, b) -> {
if (a == b) return 0; // 浮点数用 == 判等极易出错
if (a > b) return 1;
return -1;
};
// 或更隐蔽的：
Comparator<String> brokenComp = (s1, s2) -> {
if (s1.length() == s2.length()) return 0;
return s1.length() > s2.length() ? 1 : -1;
// ❌ 这里没处理相等情况下的进一步比较，但看似没问题 —— 实际上没问题？
// ✅ 其实这个例子本身满足传递性，但若改成“按首字母奇偶性分组再比长度”，就容易出问题
};
典型触发场景
-
使用浮点数或 BigDecimal 做不安全判等：如用
==、equals()未考虑精度或 NaN 行为； - 多条件比较漏掉链式判断：比如先比状态，状态相同时再比时间，但第二层比较逻辑缺失或返回值不一致；
- 依赖外部可变状态：Comparator 内部引用了随时间变化的变量（如当前时间、共享计数器）；
-
NaN 或 null 处理不当：对
null返回 0，或对Double.NaN调用compareTo()得到非预期结果； - 自定义规则存在循环偏好：例如 A > B、B > C、C > A，人为构造了不可排序关系。
如何安全编写 Comparator
遵循“稳定、确定、无副作用”三原则：
立即学习“Java免费学习笔记（深入）”；
- 优先使用
Integer.compare()、Double.compare()、Objects.compare()等工具方法，它们已正确处理边界值； - 多级排序用
Comparator.comparing(...).thenComparing(...)链式调用，天然满足传递性； - 手动实现时，确保所有分支都覆盖
<、==、>三种情况，并统一返回值含义； - 避免在 compare 方法中修改对象状态、读取系统时间、调用随机函数等；
- 对 null 值显式约定策略，如用
Comparator.nullsFirst()或Comparator.nullsLast()包装。
调试与验证技巧
当怀疑 Comparator 不满足合约时：
- 抽样测试三元组
(a,b,c)，验证是否总有sign(compare(a,b)) + sign(compare(b,c)) >= sign(compare(a,c))； - 用
Arrays.sort()替代Collections.sort()在小数据集上复现，更容易定位； - JDK 自带的
java.util.ComparableTimSort会在内部做断言检查，开启 JVM 参数-Djava.util.Arrays.useLegacyMergeSort=true可临时绕过（仅用于诊断，不可上线）； - 单元测试中加入反例：例如传入含 NaN、null、相同哈希但不同内容的对象列表，观察是否抛异常。
