为何自定义Comparator未触发IllegalArgumentException比较契约违反错误？

错误成因 #

IllegalArgumentException: Comparison method violates its general contract 触发的核心原因是Comparator违反了排序算法要求的三大契约：

• 自反性：compare(a,a)必须返回0
• 对称性：若compare(a,b)=x，则compare(b,a)必须返回-x
• 传递性：若compare(a,b)>=0且compare(b,c)>=0，则compare(a,c)必须>=0

你提到的A > B、A == C、B == C场景，直接违反了传递性——逻辑上A和B都等于C，那么A和B必须相等，但实际A>B，形成矛盾。

你的测试代码未报错的原因 #

1. 排序算法的执行逻辑：Java 7及以后默认使用TimSort，当处理**极小数据集（比如3个元素）**时，会切换到简单的二分插入排序逻辑。这种简单排序不会主动触发契约检查，只有当排序过程中算法需要依赖传递性推导元素关系，且矛盾暴露时才会抛出异常。
2. 数据量与排序路径：你的测试只有3个元素，排序过程中可能没走到需要验证三者传递性的分支，因此异常未被触发。

如何复现异常 #

要触发该异常，需要让排序算法进入完整的TimSort逻辑，可通过以下方式：

• 扩大数据集（比如加入10组以上包含A、B、C的元素）
• 打乱元素顺序，增加算法触发传递性检查的概率

修改后的测试代码（大概率触发异常）：

import java.util.*;

public class Main {
    public static void main(String[] args) {
        List<A> list = new ArrayList<>();
        // 批量加入违反契约的元素
        for (int k = 0; k < 10; k++) {
            list.add(new A(0, 1)); // A: j=1
            list.add(new A(0, 0)); // B: j=0
            list.add(new A(0, null)); // C: j=null
        }
        Collections.shuffle(list); // 打乱顺序
        
        Collections.sort(list, new Comparator<A>(){
            public int compare(A a, A b){
                if(a.i.equals(b.i) && a.j != null && b.j != null){
                    return a.j.compareTo(b.j);
                }else{
                    return a.i.compareTo(b.i);
                }
            }
        });
        
        System.out.println(list);
    }
}

class A{
    Integer i;
    Integer j;
    A(Integer i, Integer j){
        this.i = i;
        this.j = j;
    }

    public String toString(){
        return "["+i+","+j+"]";
    }
}

修复Comparator的正确方式 #

要让Comparator遵守契约，需明确处理j为null的场景，比如将null视为小于任何非null值：

Collections.sort(list, new Comparator<A>(){
    public int compare(A a, A b){
        // 先比较i字段
        int iCompare = a.i.compareTo(b.i);
        if(iCompare != 0){
            return iCompare;
        }
        // 处理j为null的情况
        if(a.j == null && b.j == null){
            return 0;
        }
        if(a.j == null){
            return -1; // null排前面
        }
        if(b.j == null){
            return 1;
        }
        // 都不为null时比较j
        return a.j.compareTo(b.j);
    }
});

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