Java使用Comparator类对数组排序时报错如何解决？

你遇到的是JDK 7+版本排序场景下的经典报错：java.lang.IllegalArgumentException: Comparison method violates its general contract。从JDK7开始，数组/集合排序默认使用TimSort算法，会严格校验自定义Comparator的实现是否满足比较契约，不满足就直接抛出该异常。

比较器必须满足的三个核心契约：

• 自反性：compare(a,a)必须返回0
• 对称性：如果compare(a,b)返回正整数，那么compare(b,a)必须返回负整数，反之亦然
• 传递性：如果compare(a,b)>0且compare(b,c)>0，那么compare(a,c)必须也返回正整数

常见触发场景 #

• 手写比较逻辑时漏写相等分支，两个相等对象比较时没有返回0
• 参与比较的字段存在null值，没有做判空处理导致逻辑分支异常
• 用数值直接相减的方式实现比较，触发整数溢出导致返回值符号错误，比如写return o1.getScore() - o2.getScore();，当两个值差值超过int取值范围时就会出错
• 比较逻辑存在分支漏洞，不满足对称性、传递性要求

修复方法 #

1. 优先使用JDK内置的比较器工具方法，避免手写逻辑出错
   单字段、多字段排序都可以直接用Comparator自带的链式方法实现，不需要自己写if判断，从根源上避免契约违反问题：

   // 示例：对User数组先按年龄升序、再按姓名升序排序
   Arrays.sort(userArr, Comparator.comparingInt(User::getAge)
                                  .thenComparing(User::getName, Comparator.nullsFirst(Comparator.naturalOrder())));
   

   涉及null值比较时直接搭配nullsFirst/nullsLast方法处理即可，不需要单独写判空逻辑。

2. 必须手写自定义逻辑时严格遵守返回规则

   • 第一个参数小于第二个参数时返回负整数
   • 两个参数相等时必须返回0
   • 第一个参数大于第二个参数时返回正整数
     数值类型比较不要用减法，直接调用对应包装类的compare方法：

   // 错误写法：存在整数溢出风险
   // return o1.getAge() - o2.getAge();
   // 正确写法
   return Integer.compare(o1.getAge(), o2.getAge());
   

3. 临时兼容方案（不推荐长期使用）
   如果是老旧业务代码来不及重构，可以在JVM启动参数中添加-Djava.util.Arrays.useLegacyMergeSort=true，切换回JDK6版本的旧归并排序实现，该实现不会强制校验比较器契约，但存在排序结果不符合预期的风险，仅建议临时应急使用。

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