调试”比较法违反了其通用契约！”

Question

我有一个自己的，相对复杂的字符串比较器和一个庞大的字符串列表（~100个字符串，已经尝试减少，但问题不可重现），其中对它们进行排序会产生上述错误尝试使用Java 7排序。我想，规则

if a < b and b < c then a < c

可能会被侵犯。找出违反合同的样品的最好方法是什么？

Answer 1

当面对一个类似的问题时，深入问题并找到违反一般契约的A、b和c的集合的唯一方法是使用循环。

假设您有一个需要排序的list和一个违反其契约的自定义比较器，您可以使用如下内容找到对象

for (int i = 0; i < list.size(); i ++) {
                for (int j = 0; j < list.size(); j ++) {
                    for (int k = 0; k < list.size(); k ++) {
                        Objects a = list.get(i);
                        Objects b = list.get(j);
                        Objects c = list.get(k);
                        if (comparator.compare(a, b) < 0
                                && comparator.compare(b, c) < 0
                                && comparator.compare(a, c) > 0) {
                            System.out.print(("Error...1");
                            System.out.print((a + ", " + i);
                            System.out.print((b + ", " + j);
                            System.out.print((c + ", " + k);
                        }
                        if (comparator.compare(a, b) > 0
                                && comparator.compare(b, c) > 0
                                && comparator.compare(a, c) < 0) {
                            System.out.print(("Error...2");
                            System.out.print((a + ", " + i);
                            System.out.print((b + ", " + j);
                            System.out.print((c + ", " + k);
                        }
                        if (comparator.compare(a, b) == 0
                                && comparator.compare(b, c) == 0
                                && comparator.compare(a, c) != 0) {
                            System.out.print(("Error...3");
                            System.out.print((a + ", " + i);
                            System.out.print((b + ", " + j);
                            System.out.print((c + ", " + k);

                        }
                            
                    }
                }
            }

我以前多次使用过这种方法，尤其是当您无法通过检查发现编码中的逻辑错误时。

我还在另一个帖子上找到了这个答案，这个帖子有一个你可以使用的通用类

https://stackoverflow.com/a/35000727/4019094

Answer 2

在compare()方法的开头和equals() / hashcode()方法中添加调试消息(您正在覆盖它们，对吗？)

Answer 3

好的，我用蛮力方式做到了：3个嵌套循环来相互比较3个值并验证上述规则。现在找到了违反规则的示例。