Comparer 使 Sort 何时会抛出 ArgumentException？

Question

Sort 的文档说 Sort 会抛出如果“比较器的实现在排序期间导致错误。例如，比较器在将项目与其自身进行比较时可能不会返回 0”，则抛出 ArgumentException。

除了给出的例子之外，谁能告诉我什么时候会发生这种情况？

Answer 1

排序算法 (QuickSort) 依赖于可预测的 IComparer 实现。 在 BCL 中经过几十层间接之后，您最终会得到这个方法：

public void Sort(T[] keys, int index, int length, IComparer<T> comparer)
{
    try
    {
        ...
        ArraySortHelper<T>.QuickSort(keys, index, index + (length - 1), comparer);

    }
    catch (IndexOutOfRangeException)
    {
        ...
        throw new ArgumentException(Environment.GetResourceString("Arg_BogusIComparer", values));
    }
}

进一步了解 QuickSort 实现，您会看到如下代码：

    while (comparer.Compare(keys[a], y) < 0)
    {
        a++;
    }
    while (comparer.Compare(y, keys[b]) < 0)
    {
        b--;
    }

基本上，如果 IComparer 错误地调用 Quicksort 并抛出 IndexOutOfRangeException，该异常被包装在 n 中参数异常。

这是坏 IComparer 的另一个例子

class Comparer: IComparer<int>
{
    public int Compare(int x, int y)
    {
        return -1;
    }
}

所以我想，简短的答案是，任何时候您的 IComparer 实现不能一致地比较文档中定义的值：

比较两个对象并返回
指示是否小于 1 的值
大于、等于或大于
其他。

Answer 2

我今天遇到了这个问题，经过调查，我发现有时调用我的比较器时 x 和 y 是对同一个对象的引用，并且我的比较器没有返回 0。修复后，我不再收到异常。

HTH，

埃里克