问题：

“比较法违背了它的总契约！”- TimSort和GridLayout

能业

2023-03-14

我制作了一个带有jPanel和JLabel数组的调色板。起初它运行良好，但后来我从 JPanel 中取出了一些其他 jLabels，并添加了一些事件。现在我不断收到此错误：

Exception in thread "AWT-EventQueue-0" java.lang.IllegalArgumentException: Comparison method violates its general contract!
at java.util.TimSort.mergeLo(TimSort.java:747)
at java.util.TimSort.mergeAt(TimSort.java:483)
at java.util.TimSort.mergeCollapse(TimSort.java:410)
at java.util.TimSort.sort(TimSort.java:214)
at java.util.TimSort.sort(TimSort.java:173)
at java.util.Arrays.sort(Arrays.java:659)
at java.util.Collections.sort(Collections.java:217)
at javax.swing.SortingFocusTraversalPolicy.enumerateAndSortCycle(SortingFocusTraversalPolicy.java:136)
at javax.swing.SortingFocusTraversalPolicy.getFocusTraversalCycle(SortingFocusTraversalPolicy.java:110)
at javax.swing.SortingFocusTraversalPolicy.getFirstComponent(SortingFocusTraversalPolicy.java:435)
at javax.swing.LayoutFocusTraversalPolicy.getFirstComponent(LayoutFocusTraversalPolicy.java:166)
at javax.swing.SortingFocusTraversalPolicy.getDefaultComponent(SortingFocusTraversalPolicy.java:515)
at java.awt.FocusTraversalPolicy.getInitialComponent(FocusTraversalPolicy.java:169)
at java.awt.DefaultKeyboardFocusManager.dispatchEvent(DefaultKeyboardFocusManager.java:380)
at java.awt.Component.dispatchEventImpl(Component.java:4731)
at java.awt.Container.dispatchEventImpl(Container.java:2287)
at java.awt.Window.dispatchEventImpl(Window.java:2719)
at java.awt.Component.dispatchEvent(Component.java:4687)
at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:723)
at java.awt.EventQueue.access$200(EventQueue.java:103)
at java.awt.EventQueue$3.run(EventQueue.java:682)
at java.awt.EventQueue$3.run(EventQueue.java:680)
at java.security.AccessController.doPrivileged(Native Method)
at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:76)
at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:87)
at java.awt.EventQueue$4.run(EventQueue.java:696)
at java.awt.EventQueue$4.run(EventQueue.java:694)
at java.security.AccessController.doPrivileged(Native Method)
at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:76)
at java.awt.EventQueue.dispatchEvent(EventQueue.java:693)
at java.awt.SequencedEvent.dispatch(SequencedEvent.java:116)
at java.awt.EventQueue.dispatchEventImpl(EventQueue.java:721)
at java.awt.EventQueue.access$200(EventQueue.java:103)
at java.awt.EventQueue$3.run(EventQueue.java:682)
at java.awt.EventQueue$3.run(EventQueue.java:680)
at java.security.AccessController.doPrivileged(Native Method)
at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:76)
at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:87)
at java.awt.EventQueue$4.run(EventQueue.java:696)
at java.awt.EventQueue$4.run(EventQueue.java:694)
at java.security.AccessController.doPrivileged(Native Method)
at java.security.ProtectionDomain$1.doIntersectionPrivilege(ProtectionDomain.java:76)
at java.awt.EventQueue.dispatchEvent(EventQueue.java:693)
at java.awt.EventDispatchThread.pumpOneEventForFilters(EventDispatchThread.java:244)
at java.awt.EventDispatchThread.pumpEventsForFilter(EventDispatchThread.java:163)
at java.awt.EventDispatchThread.pumpEventsForHierarchy(EventDispatchThread.java:151)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:147)
at java.awt.EventDispatchThread.pumpEvents(EventDispatchThread.java:139)
at java.awt.EventDispatchThread.run(EventDispatchThread.java:97)

我试图删除第一次收到此错误后所做的一切，但仍然不断收到它。当我将布局从 GridLayout 更改为其他任何内容时，错误消失了，但代码变得无用。所以我需要网格布局。当我将该 JPanel 中的所有内容移动到另一个 JPanel 时，错误也会消失。但是当我删除第一个 JPanel 时，错误又回来了。

顺便说一句，这个程序是有效的，但不断出现错误是不愉快的。。。

编辑：当我使用的颜色少于225色时，没有错误。我真的很好奇发生了什么。任何解释都将不胜感激。。。

共有3个答案

松嘉颖

2023-03-14

[更新]不幸的是，该解决方案不能保证在所有情况下都能解决问题。仅修补KeyboardFocusManager的默认SortingFocusTraversalPolicy是不够的。

我建议阅读下面Robin Loxley的答案，包括他的更新。[/更新]

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

此问题是由< code > javax . swing . layout comparator 中的错误引起的。

以下类安装javax.swing的固定版本。LayoutComparator，它不违反Comparator的约定

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;
               }
            }
         }
      }
   }
}

裴昊阳

2023-03-14

报告我的发现：

-Djava.util.Arrays.useLegacyMergeSort=true

作品

但是

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

不起作用。

这是因为在JDK数组类中

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

它是一个静态变量，在 jvm 启动时定义。如果类已加载到 jvm 中，则在程序中设置 System 属性将不起作用。

我已经监测了LegacyMergeSort.user请求变量，结果证实了上述声明。

更新：程序必须在java.util之前设置系统属性。数组被加载到类加载器。否则，一旦加载，由于上述原因，设置属性将毫无用处。

确保没有其他加载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));

戚学文

2023-03-14

在我看来，您在JDK中遇到了一个错误，因为错误似乎来自Swing类。

选项：

> < li>

将属性< code > Java . util . arrays . uselegacymergesort 定义为< code>true。要么在代码中使用这一行

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

在任何Swing代码之前。作为main方法中的第一行应该有效。

或添加

-Djava.util.Arrays.useLegacyMergeSort=true

启动选项（在控制台中，或在IDE、Ant脚本等的项目属性中）

升级您的 JDK，看看问题是否消失

类似资料：

“比较法违背了它的总契约！”一切似乎都没问题

我知道这里描述的Java（和一般）中的比较规则。我有一个字符串数组列表。每个字符串代表一个德州扑克手，忽略花色。每个字符串正好有13个字符长。每个字符串仅由总和为7的数字组成。例如,“0100300200100”代表一手由一张3、三张6、两张9和一张皇后组成的扑克。< br >(在这种情况下，这手牌代表满堂红-六加九)。我想根据扑克手的力量对这个列表进行排序。我有以下java代码，它
比较法违反了它的通用契约！Java7比较仪

有人能解释一下为什么我下面的比较器有时候会抛出上面的异常吗？注意：myObject 中的 id 字段类型为 long。解决方案：基于@amit的回答
为什么我的比较方法违反了它的总契约？

偏离变量只是包含以下字段的对象的一个实例: 附言时间对象是来自 Joda-Time 库的 DateTime 实例，TransportType 是包含常量火车、海船、驳船和卡车的枚举。编辑：好的，所以我将比较器编辑为以下内容：但这显然违反了一般契约。我如何让它按时间排序，然后根据它们的其他属性对那些具有相等时间的对象进行排序，只关心它们是否相等？希望这有意义… 编辑:解决方案谢谢大家回答我的
调试”比较法违反了其通用契约！”

我有一个自己的，相对复杂的字符串比较器和一个庞大的字符串列表（~100个字符串，已经尝试减少，但问题不可重现），其中对它们进行排序会产生上述错误尝试使用Java 7排序。我想，规则可能会被侵犯。找出违反合同的样品的最好方法是什么？
我的比较器方法如何违反了它的一般契约？

我有时会得到一个 for 我可以始终如一地抛出此异常，实时数据运行足够长的时间，但我不确定如何解决问题的实际原因。我的比较仪有什么问题？(具体来说，我违反了合同的哪一部分？)如何在不掩盖异常的情况下修复它？我使用的是 Java 7，如果不进行重大重写就无法升级。我可以通过将设置为来掩盖异常，但这不是一个理想的解决方案。我尝试创建测试来随机生成数据并验证每个合同条件。我无法抛出异常。我尝试
Collections.sort（）抛出比较方法违反了它的一般契约！例外

我在整理名单排序代码： FinalSentence类标头： compareTo()实现: 这是例外：对于一个小列表（少于 50 个元素），它可以工作。对于一个大型列表（它也应该与那些一起使用），它会引发此异常。列表的实例类型是 ArrayList，这并不重要。我不知道如何深入了解这一点。列表已满，元素类型相同（那里没有多态性），但是对于大型列表，我得到了这个奇怪的例外。有什么想法吗？谢谢

“比较法违背了它的总契约！”- TimSort和GridLayout

共有3个答案

相关问答

相关文章

相关阅读

相关工具

相关文档