Comparison method violates its general contract!
背景
16编号为网上统一server执行环境，他们俩server的Tomcat6+JDK6升级到Tomcat7+JDK7。一想到easy事。升级他们的验证后也没问题，我不认为这悲剧。升级后，一个半小时的手术后找到了反馈问题。部分角色无法登陆。由于没有异常日志输出，有找到问题，无奈回滚。今天我们就来说说JDK6升级到JDK7会遇到的坑。本文为了方便搜索，就直接以异常信息作为文章标题了。
复现
回滚后，到beta环境依照线上的权限配置，复现该问题。加上了error日志输出，输出了文章标题的异常，这个异常是在相似例如以下代码中抛出的：
Collections.sort(list, new Comparator<Integer>() {
@Override
public int compare(Integer o1, Integer o2) {
return o1 > o2 ? 1 : -1;// 错误的方式
}
});解决方式
先说怎样解决，解决方式有两种。
改动代码
上面代码写的本身就有问题，第4行没有考虑o1 == o2的情况，再者说我们不须要自己去比較，改动为例如以下代码就可以：
Collections.sort(list, new Comparator<Integer>() {
@Override
public int compare(Integer o1, Integer o2) {
// return o1 > o2 ? 1 : -1;
return o1 - o2;// 正确的方式
}
});
不改动代码
那么问题来了。
为什么上面代码在JDK6中执行无问题，而在JDK7中却会抛异常呢？这是由于JDK7底层的排序算法换了。假设要继续使用JDK6的排序算法，能够在JVM的启动參数中增加例如以下參数：
-Djava.util.Arrays.useLegacyMergeSort=true这样就会照旧使用JDK6的排序算法，在不能改动代码的情况下，解决这个兼容的问题。
分析
在我曾经的认知中。高版本号的JDK是能够兼容之前的代码的，与同事讨论了一番另加搜索了一番。事实证明，JDK6到JDK7确实存在兼容问题（不兼容列表）。在不兼容列表中我们能够找到关于Collections.sort的不兼容说明。例如以下：
Area: API: Utilities Synopsis: Updated sort behavior for Arrays and Collections may throw an IllegalArgumentException Description: The sorting algorithm used by java.util.Arrays.sort and (indirectly) by java.util.Collections.sort has been replaced. The new sort implementation may throw an IllegalArgumentException if it detects a Comparable that violates the Comparable contract. The previous implementation silently ignored such a situation. If the previous behavior is desired, you can use the new system property, java.util.Arrays.useLegacyMergeSort, to restore previous mergesort behavior. Nature of Incompatibility: behavioral RFE: 6804124描写叙述的意思是说，java.util.Arrays.sort(java.util.Collections.sort调用的也是此方法)方法中的排序算法在JDK7中已经被替换了。假设违法了比較的约束新的排序算法或许会抛出llegalArgumentException异常。JDK6中的实现则忽略了这样的情况。那么比較的约束是什么呢？看这里，大体例如以下：
- sgn(compare(x, y)) == -sgn(compare(y, x))
- ((compare(x, y)>0) && (compare(y, z)>0)) implies compare(x, z)>0
- compare(x, y)==0 implies that sgn(compare(x, z))==sgn(compare(y, z)) for all z
再回过头来看我们开篇有问题的实现：
return x > y ?当x == y时，sgn(compare(x, y)) = -1。-sgn(compare(y, x)) = 1。这违背了sgn(compare(x, y)) == -sgn(compare(y, x))约束，所以在JDK7中抛出了本文标题的异常。1 : -1;
结论
那么如今能否够盖棺定论了，依照上面的分析来看，使用这样的比較方式（return x > y ? 1 : -1;），仅仅要集合或数组中有同样的元素，就会抛出本文标题的异常。
实则不然，什么情况下抛出异常，还取决于JDK7底层排序算法的实现。也就是大名鼎鼎的TimSort。后面文章会分析TimSort。
本文给出一个会引发该异常的Case，以便有心人共同研究，例如以下：
Integer[] array =
{0, 0, 0, 0, 0, 0, 0, 3, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0,
0, 0, 0, 1, 1, 0, 0, 1, 0, 1, 0, 0, 0, 0, 1, 0, 0, 1, 0, 0, 0, 2, 1, 0, 0, 0, 2, 30, 0, 3}; （完）
本文来自：高爽|Coder，原文地址：http://blog.csdn.net/ghsau/article/details/42012365。转载请注明。
版权声明：本文博客原创文章，博客，未经同意，不得转载。
