开发中踩到的坑。通过arraylist.sort对元素进行排序,测试阶段没发现,上线后不久报了这个错误。“Comparison method violates its general contract!”。查了一些资料,下面总结一下。先贴下出错的代码:

stus.sort((o1, o2) -> {
            if(o1 == null || o2 == null || o1 == o2) {
                return 0;
            }

            return o1.age - o2.age;
        });

在这里插入图片描述

看起来没什么问题,但是却报了一个错,“比较方法违反其一般合同”。

在 JDK7 版本以上,Comparator 要满足自反性,传递性,对称性,不然 Arrays.sort,Collections.sort
会报 IllegalArgumentException 异常。

自反性:当 两个相同的元素相比时,compare必须返回0,也就是compare(o1, o1) = 0;

反对称性:如果compare(o1,o2) = 1,则compare(o2, o1)必须返回符号相反的值也就是 -1;

传递性:如果 a>b, b>c, 则 a必然大于c。也就是compare(a,b)>0, compare(b,c)>0, 则compare(a,c)>0

回到上面的例子,假设存在三个元素:stu1, null,stu2,则
compare(stu1, null)= 0,
compare(null, stu2) = 0,
compare(stu1,stu2) =1 很明显违反了传递性原则。

可以改成 为

stus.sort((o1, o2) -> {
            if(o1 == null) {
                if(o2 == null) {
                    return 0;
                }
                return 1;
            }
            if(o2 == null) {
                return -1;
            }
            return o1.age - o2.age;
        });

再举个例子,下面的例子是用于比较字符串的长度(参考博客:https://stackoverflow.com/questions/8327514/comparison-method-violates-its-general-contract)

if ( one.length() == 0 ) {
    return 1;                   // empty string sorts last
}
if ( two.length() == 0 ) {
    return -1;                  // empty string sorts last                  
}
return one.compareToIgnoreCase( two );

这里违反了 自反性,compare(“”, “”) = 1, 正确的结果应该是返回 0,所以会报错。
原来的代码可以修改为:

if ( one.length() == 0 ) {
    if ( two.length() == 0 ) {
        return 0;               // BOth empty - so indicate
    }
    return 1;                   // empty string sorts last
}
if ( two.length() == 0 ) {
    return -1;                  // empty string sorts last                  
}
return one.compareToIgnoreCase( two );
Logo

旨在为数千万中国开发者提供一个无缝且高效的云端环境,以支持学习、使用和贡献开源项目。

更多推荐