Java8中Comparator抛出“Comparison method violates its general contract!”异常排查

问题场景 #

在Java 8环境下，有一段不可修改的排序逻辑，需求为：

• 所有属于XXX分类的元素必须排在数组末尾（内部顺序无关）
• 其余元素可按任意顺序排列

对应的排序代码如下：

list.sort((o1, o2) -> {
        boolean isXXX1 = "XXX".equals(o1.getCategory());
        boolean isXXX2 = "XXX".equals(o2.getCategory());
        if(isXXX1) {
            return isXXX2 ? 0 : 1;
        } else if(isXXX2) {
            return -1;
        }
        return o1.hashCode() - o2.hashCode();
    });

对象的hashCode由ReflectionHashCode生成，认为不会有冲突，但这段代码偶尔会随机抛出IllegalArgumentException: Comparison method violates its general contract!，且相同数据在调试模式下无法复现。

核心问题：hashCode减法的整数溢出 #

问题出在非XXX元素的比较逻辑o1.hashCode() - o2.hashCode()上。Java的hashCode()返回值是int类型，当两个int值的差超出int的取值范围（-2^31到231-1）时，会发生整数溢出，导致比较结果完全错误，破坏了比较器必须遵守的传递性约定（若a > b且b > c，则必须a > c）。

举个具体的溢出例子：
假设三个非XXX元素的hashCode分别为：

• A: Integer.MAX_VALUE（2147483647）
• B: 0
• C: -1

此时：

1. A和B比较：2147483647 - 0 = 2147483647 > 0 → 判定A > B
2. B和C比较：0 - (-1) = 1 > 0 → 判定B > C
3. A和C比较：2147483647 - (-1) = 2147483648，超出int最大值，溢出后变为-2147483648 < 0 → 判定A < C

这直接违反了传递性，排序算法检测到这种矛盾时就会抛出异常。由于触发溢出的hashCode组合是随机出现的，所以问题只会偶发，调试时很难刚好碰到对应的数据集，导致无法复现。

解决思路（若可修改代码） #

用Integer.compare(o1.hashCode(), o2.hashCode())代替减法逻辑。Integer.compare()会内部处理整数溢出的情况，返回正确的比较结果：

return Integer.compare(o1.hashCode(), o2.hashCode());

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