为何java.util.TimSort.mergeLo()抛出IllegalArgumentException？自认为比较器合规

这个报错我太熟了！Java的TimSort对比较器的传递性、自反性、对称性要求特别严格，哪怕你觉得逻辑没问题，只要踩了这三个规则的坑，就会炸这个异常。我给你拆解下常见问题和解决办法：

最容易踩的几个坑 #

1. Null值处理逻辑混乱 #

很多人只处理了其中一方为null的情况，漏掉了另一方或者两者都为null的场景，直接破坏了对称性和自反性。

• 错误示例：

  (r1, r2) -> {
      if (r1 == null) return -1;
      // 没处理r2为null的情况！
      return r1.getSomeField().compareTo(r2.getSomeField());
  }
  

• 正确的Null处理：

  (r1, r2) -> {
      if (r1 == null && r2 == null) return 0; // 自反性：自己和自己比返回0
      if (r1 == null) return -1;
      if (r2 == null) return 1;
      return r1.getSomeField().compareTo(r2.getSomeField());
  }
  

2. 比较逻辑不满足传递性 #

简单说就是如果A>B且B>C，那必须A>C。多字段比较时最容易出这个问题，比如字段优先级没理清楚，或者用了Double.NaN这种特殊值（NaN和任何值比较都返回false）。

• 错误示例（NaN导致传递性失效）：

  (r1, r2) -> {
      int cmp = r1.getScore().compareTo(r2.getScore());
      if (cmp != 0) return cmp;
      // 当field2是NaN时，Double.compare(NaN, 1)返回1，Double.compare(1, NaN)返回-1，直接打破传递性
      return Double.compare(r1.getField2(), r2.getField2());
  }
  

• 解决办法：给特殊值单独做逻辑处理，比如把NaN统一排到最后：

  (r1, r2) -> {
      int cmp = r1.getScore().compareTo(r2.getScore());
      if (cmp != 0) return cmp;
      
      boolean r1NaN = Double.isNaN(r1.getField2());
      boolean r2NaN = Double.isNaN(r2.getField2());
      if (r1NaN && r2NaN) return 0;
      if (r1NaN) return 1;
      if (r2NaN) return -1;
      return Double.compare(r1.getField2(), r2.getField2());
  }
  

3. 自反性失效 #

也就是compare(a,a)必须返回0。如果你的比较器在两个对象内容完全相同（或者是同一个对象）时，返回了非0的值，就会触发异常。比如不小心把字段比较的顺序写反了，或者判断条件出错。

4. 依赖了不稳定的比较依据 #

如果比较时用到了排序过程中可能变化的字段，或者依赖了外部状态（比如某个全局变量），会导致前后比较结果不一致，直接违反契约。

快速排查技巧 #

• 单独测试边界场景：null vs null、null vs 非null、相同对象、A>B>B>C的连锁比较，看是否符合三个规则。
• 尽量用Java官方的Comparator静态方法构建比较器，比如Comparator.nullsFirst(Comparator.comparing(Record::getSomeField))，官方实现已经帮你规避了大部分低级错误。
• 如果是复杂的多字段比较，把每个字段的比较逻辑拆出来单独验证，逐步排查问题点。

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