ArrayList.Sort 应该是带有 IComparer 的稳定排序，但不是吗？

Question

stable sort 是一种保持具有相同值的元素的相对顺序的排序。

ArrayList.Sort 上的文档说，当提供 IComparer 时，排序是稳定的：

如果 comparer 设置为 null，此方法执行比较排序（也称为不稳定排序）；也就是说，如果两个元素相等，则可能不会保留它们的顺序。相反，稳定排序保留了相等元素的顺序。要执行稳定排序，您必须实现自定义 IComparer 接口。

除非我遗漏了什么，否则下面的测试用例表明ArrayList.Sort 没有使用稳定的排序：

internal class DisplayOrdered {
    public int ID { get; set; }
    public int DisplayOrder { get; set; }
    public override string ToString() {
        return string.Format("ID: {0}, DisplayOrder: {1}", ID, DisplayOrder);
    }
}

internal class DisplayOrderedComparer : IComparer {
    public int Compare(object x, object y) {
        return ((DisplayOrdered)x).DisplayOrder - ((DisplayOrdered)y).DisplayOrder;
    }
}

[TestFixture]
public class ArrayListStableSortTest {

    [Test]
    public void TestWeblinkCallArrayListIsSortedUsingStableSort() {
        var call1 = new DisplayOrdered {ID = 1, DisplayOrder = 0};
        var call2 = new DisplayOrdered {ID = 2, DisplayOrder = 0};
        var call3 = new DisplayOrdered {ID = 3, DisplayOrder = 2};
        var list = new ArrayList {call1, call2, call3};

        list.Sort(new DisplayOrderedComparer());

        // expected order (by ID): 1, 2, 3 (because the DisplayOrder
        // is equal for ID's 1 and 2, their ordering should be
        // maintained for a stable sort.)
        Assert.AreEqual(call1, list[0]); // Actual: ID=2 ** FAILS 
        Assert.AreEqual(call2, list[1]); // Actual: ID=1
        Assert.AreEqual(call3, list[2]); // Actual: ID=3
    }
}

我错过了什么吗？如果不是，这是文档错误还是库错误？

显然在 Linq 中使用 OrderBy 可以提供稳定的排序。

Answer 1

文档似乎在说的是，使用ArrayList.Sort 获得稳定排序的唯一方法是使用IComparer，它以某种方式“知道”正在比较的项目的索引（可以想象通过使其在集合上运行初始传递来完成此操作）并将该信息用作其他相同元素的决胜局。

虽然我同意文档的措辞有很多不足之处，但任何不考虑要比较的项目索引的旧比较器确实没有意义神奇地将一个固有不稳定的排序算法（Arraylist.Sort 就是）变成一个稳定的算法。