"Метод сравнения нарушает его общий контракт!" - TimSort и GridLayout

Ответ 1

Мне кажется, что вы столкнулись с ошибкой в JDK, поскольку ошибка, похоже, исходит от классов Swing.

Опции:

1. Определите свойство java.util.Arrays.useLegacyMergeSort как true. Либо используя в своем коде строку

   System.setProperty("java.util.Arrays.useLegacyMergeSort", "true");
   

   перед любым кодом Swing. В качестве первой строки в main метод должен работать.

   Или добавление

   -Djava.util.Arrays.useLegacyMergeSort=true
   

   к вашим параметрам запуска (в консоли или в свойствах проекта в IDE, сценарии Ant и т.д.)

2. Обновите JDK и посмотрите, исчезнет ли проблема

3. Переход на Java 6

Ответ 2

Сообщите о моих выводах:

-Djava.util.Arrays.useLegacyMergeSort=true

работы

но

System.setProperty("java.util.Arrays.useLegacyMergeSort", "true");

не работает.

Это связано с тем, что в JDK Arrays.class

 static final class LegacyMergeSort {
    private static final boolean userRequested = ...

Это статическая переменная, которая определяется при запуске jvm. Установка свойства System в программе не будет иметь никакого эффекта, если класс был загружен в jvm.

Я наблюдал за переменной LegacyMergeSort.userRequested и результаты, подтвержденные вышеприведенным выражением.

Обновление: Программа должна установить свойства системы до того, как java.util.Arrays загрузится в загрузчик классов. В противном случае, после загрузки, настройка свойств не будет полезной из-за упомянутой выше причины.

Убедитесь, что ничего не загружено. Arrays.class:

Поместив следующий код в свою программу:

    java.lang.reflect.Method m = ClassLoader.class.getDeclaredMethod("findLoadedClass", new Class[] { String.class });
    m.setAccessible(true);
    ClassLoader cl = ClassLoader.getSystemClassLoader();
    Object test1 = m.invoke(cl, "java.util.Arrays");
    System.out.println("test1 loaded? ->" + (test1 != null));

Ответ 3

[Обновление] Это решение, к сожалению, не гарантирует решение проблемы во всех случаях. Недостаточно исправления по умолчанию SortingFocusTraversalPolicy KeyboardFocusManager.

Я рекомендую прочитать ответ Робин Локсли ниже, включая его Обновление. [/Update]

java.lang.IllegalArgumentException: Comparison method violates its general contract!
    at java.util.TimSort.mergeHi(TimSort.java:868)

Эта проблема вызвана ошибкой в ​​ javax.swing.LayoutComparator.

Следующий класс устанавливает фиксированную версию javax.swing.LayoutComparator, которая не нарушает контракт Comparator<Component>. Эта (или любая другая) фиксированная версия javax.swing.LayoutComparator должна быть отправлена ​​Oracle Oracle некоторым разработчиком Oracle.

package ...;

import java.awt.Component;
import java.awt.ComponentOrientation;
import java.awt.FocusTraversalPolicy;
import java.awt.KeyboardFocusManager;
import java.awt.Window;
import java.lang.reflect.Field;
import java.util.Comparator;
import java.util.LinkedList;
import java.util.ListIterator;

import javax.swing.JRootPane;
import javax.swing.SortingFocusTraversalPolicy;
import javax.swing.UIManager;

/**
 * Uses reflection to install a fixed version of {@link javax.swing.LayoutComparator} to solve the
 * LayoutFocusTraversalPolicy/TimSort problem.
 * 
 * <p>
 * <code>java.lang.IllegalArgumentException: Comparison method violates its general contract!</code>
 * <br/>
 * &nbsp;&nbsp;&nbsp;&nbsp;{@code     at java.util.TimSort.mergeHi(TimSort.java:868)}
 * </p>
 * <p>
 * Usage: call {@code Class.forName(LayoutFocusTraversalPolicyTimSortBugFixer.class.getName())}
 * before creating Swing components.
 * </p>
 * 
 * @author Burkhard Strauss
 * @since Feb 2015
 */
public class LayoutFocusTraversalPolicyTimSortBugFixer
{

   static
   {
      UIManager.getUI(new JRootPane()); // make Swing install the SortingFocusTraversalPolicy
      final KeyboardFocusManager keyboardFocusManager = KeyboardFocusManager
            .getCurrentKeyboardFocusManager();
      final FocusTraversalPolicy focusTraversalPolicy = keyboardFocusManager
            .getDefaultFocusTraversalPolicy();
      boolean fixed = false;
      if (focusTraversalPolicy instanceof SortingFocusTraversalPolicy)
      {
         try
         {
            final Field field = SortingFocusTraversalPolicy.class.getDeclaredField("comparator");
            final boolean accessible = field.isAccessible();
            try
            {
               field.setAccessible(true);
               field.set(focusTraversalPolicy, new LayoutComparator());
               fixed = true;
            }
            finally
            {
               field.setAccessible(accessible);
            }

         }
         catch (final Exception e)
         {
         }
      }
      if (!fixed)
      {
         Loggers.getLoggerFor(LayoutFocusTraversalPolicyTimSortBugFixer.class).warn("could not fix the bug");
      }
   }

   /**
    * Fixed version of {@link javax.swing.LayoutComparator}.
    * <p>
    * Search for 'bugfix' in the code.
    * </p>
    * 
    * @author Burkhard Strauss
    * @since Feb 2015
    */
   @SuppressWarnings("serial")
   private static class LayoutComparator implements Comparator<Component>, java.io.Serializable
   {

      private static final int ROW_TOLERANCE = 10;

      private boolean horizontal = true;
      private boolean leftToRight = true;

      @SuppressWarnings("unused")
      void setComponentOrientation(final ComponentOrientation orientation)
      {
         horizontal = orientation.isHorizontal();
         leftToRight = orientation.isLeftToRight();
      }

      @Override
      public int compare(Component a, Component b)
      {
         if (a == b)
         {
            return 0;
         }

         // Row/Column algorithm only applies to siblings. If 'a' and 'b'
         // aren't siblings, then we need to find their most inferior
         // ancestors which share a parent. Compute the ancestory lists for
         // each Component and then search from the Window down until the
         // hierarchy branches.
         if (a.getParent() != b.getParent())
         {
            final LinkedList<Component> aAncestory = new LinkedList<Component>();
            for (; a != null; a = a.getParent())
            {
               aAncestory.add(a);
               if (a instanceof Window)
               {
                  break;
               }
            }
            if (a == null)
            {
               // 'a' is not part of a Window hierarchy. Can't cope.
               throw new ClassCastException();
            }
            final LinkedList<Component> bAncestory = new LinkedList<Component>();
            for (; b != null; b = b.getParent())
            {
               bAncestory.add(b);
               if (b instanceof Window)
               {
                  break;
               }
            }
            if (b == null)
            {
               // 'b' is not part of a Window hierarchy. Can't cope.
               throw new ClassCastException();
            }
            for (ListIterator<Component> aIter = aAncestory.listIterator(aAncestory.size()), bIter = bAncestory
                  .listIterator(bAncestory.size());;)
            {
               if (aIter.hasPrevious())
               {
                  a = aIter.previous();
               }
               else
               {
                  // a is an ancestor of b
                  return -1;
               }
               if (bIter.hasPrevious())
               {
                  b = bIter.previous();
               }
               else
               {
                  // b is an ancestor of a
                  return 1;
               }
               if (a != b)
               {
                  break;
               }
            }
         }

         final int ax = a.getX(), ay = a.getY(), bx = b.getX(), by = b.getY();
         int zOrder = a.getParent().getComponentZOrder(a) - b.getParent().getComponentZOrder(b);
         {
            //
            // Here is the bugfix:
            // Don't return 0 if a != b. This would violate the contract of
            // Comparator<Component>.compare().
            //
            if (zOrder == 0)
            {
               zOrder = -1;
            }
         }
         if (horizontal)
         {
            if (leftToRight)
            {

               // LT - Western Europe (optional for Japanese, Chinese, Korean)

               if (Math.abs(ay - by) < ROW_TOLERANCE)
               {
                  return (ax < bx) ? -1 : ((ax > bx) ? 1 : zOrder);
               }
               else
               {
                  return (ay < by) ? -1 : 1;
               }
            }
            else
            { // !leftToRight

               // RT - Middle East (Arabic, Hebrew)

               if (Math.abs(ay - by) < ROW_TOLERANCE)
               {
                  return (ax > bx) ? -1 : ((ax < bx) ? 1 : zOrder);
               }
               else
               {
                  return (ay < by) ? -1 : 1;
               }
            }
         }
         else
         { // !horizontal
            if (leftToRight)
            {

               // TL - Mongolian

               if (Math.abs(ax - bx) < ROW_TOLERANCE)
               {
                  return (ay < by) ? -1 : ((ay > by) ? 1 : zOrder);
               }
               else
               {
                  return (ax < bx) ? -1 : 1;
               }
            }
            else
            { // !leftToRight

               // TR - Japanese, Chinese, Korean

               if (Math.abs(ax - bx) < ROW_TOLERANCE)
               {
                  return (ay < by) ? -1 : ((ay > by) ? 1 : zOrder);
               }
               else
               {
                  return (ax > bx) ? -1 : 1;
               }
            }
         }
      }
   }
}

Ответ 4

Я просто столкнулся с той же ошибкой и потратил много времени на ее отслеживание. Чтобы помочь другим, столкнувшимся с этой ошибкой, важно знать, как тестировать TimSort. Проверки, которые нарушают контракт транзитивности и выдают эту ошибку, находятся в глубине алгоритма и требуют, чтобы тест соответствовал определенным критериям, прежде чем эта проблема может быть воспроизведена.

• Создайте список с 32 или более объектами.
• В этом списке необходимо выполнить два или более прогона.
• Каждый запуск должен содержать 3 или более объектов.

Как только вы встретите эти два критерия, вы можете начать тестирование на этот сбой.

Запуск определяется как подмножество списка, в котором каждый элемент уже находится в желаемом упорядоченном состоянии.

Ответ 5

Недостаточно запланировать LayoutComparator, как указано выше. Это исправление не работает в моем случае. Вопрос был исправлен в JDK 8 (минимум 8u45). SortingFocusTraversalPolicy для использования старого метода сортировки слияния.