Я нахожу удивительным, что Java иногда может проверить контракт компаратора для вас.
Например, когда вы пишете отношение порядка, которое не следует транзитивности, вы получаете
java.lang.IllegalArgumentException: Comparison method violates its general contract!
Как можно проверить такое нарушение? Как Java это реализует?
(см. этот вопрос, если вы не знаете о чем я)
Вы не указали конкретно когда получить это исключение. Я предполагаю, что вы получаете это, когда делаете вызов Collections.sort со своим собственным Comparator в качестве аргумента, потому что именно там я смог найти эту ошибку в исходном коде Java.
(TimSort — это реализация, используемая для Collections.sort)
Когда ваш Comparator несовместим (результат compare(a,b) не согласуется с результатом compare(b,a)) или нестабилен - не возвращает тот же результат для одного и того же ввода, вы получите внутреннюю несогласованность во временном состоянии, которое метод TimSort держит.
Алгоритм обнаруживает это внутреннее несоответствие и выдает исключение:
772 } else if (len1 == 0) {
773 throw new IllegalArgumentException(
774 "Comparison method violates its general contract!");
775 }
Обратите внимание: нет гарантии, что вы получите это исключение, когда ваш компаратор разорвет свой контракт (это было бы здорово для модульного тестирования вашего компаратора).
Это может быть просто неправильно для ввода, который вы случайно передали конкретному вызову Collections.sort, или несогласованный вывод вашего компаратора может просто не привести к внутренней несогласованности в методе TimSort. В этом случае еще возможно, что результирующий порядок сортировки неверен, но вы не гарантируете, что получите исключение.
Конечно, он не может доказать это, проверив ваш код!
Нарушение обнаруживается для конкретных входов и в некоторых ветвях кода. Например
if( compare(x,y)==0 && compare(y,x)!=0 )
throw IllegalArgumentException: Comparison method violates its general contract!
Просто проверьте фактический источник, в котором возникает исключение, например. https://grepcode.com/file/repository.grepcode.com/java/root/jdk/openjdk/8-b132/java/util/TimSort.java#772
