Stack<T> 的 ToArray 方法是否保证按此顺序返回？

Question

我有一个Stack<T>，我用它来堆叠整数元组。现在，我正在使用以下代码返回堆栈的副本，​​从最旧到最新排序：

public IEnumerable<Tuple<int,int>> GetAllTuples()
{
    return this.ToArray<Tuple<int,int>>().Reverse<Tuple<int,int>>();
}

这可行，但我担心ToArray() 返回的顺序可能无法在所有情况下都得到保证。 ToArray() 的文档说明如下：

元素以后进先出 (LIFO) 的顺序复制到数组中，类似于对 Pop 的连续调用返回的元素的顺序。

是否可以假设将来调用ToArray()（进而扩展为.Reverse()）将返回相同的订单？我对“类似于”有点失望。如果没有，如何确保元组从最旧到最新返回？

---

为了进一步说明我的观点，这里有一个例子：

Stack<int> stack = new Stack<int>();
stack.Push(1);
stack.Push(2);
stack.Push(3);
stack.Push(4);
stack.Push(5);

int[] toArr = stack.ToArray<int>(); // Yields [5, 4, 3, 2, 1]
int[] toArrReverse = toArr.Reverse<int>(); // Yields [1, 2, 3, 4, 5], which is what I want.

Answer 1

根据文档，元素以后进先出 (LIFO) 顺序复制到数组中，类似于连续调用 Pop 返回的元素顺序。

因此，这看起来是一个完全定义订单的严格合同。没有说明这是特定于实现的，将来可能会发生变化。

所以，我相信我们现在和未来都可以依靠当前的行为。

Answer 2

This 来自 Microsoft 文档的文章说 ToArray

将堆栈复制到一个数组中，以相同的顺序 Pop 将返回 项目。

确认您正在观察的行为。

    // Copies the Stack to an array, in the same order Pop would return the items.
    public virtual Object[] ToArray()
    {
        Contract.Ensures(Contract.Result<Object[]>() != null);

        Object[] objArray = new Object[_size];
        int i = 0;
        while(i < _size) {
            objArray[i] = _array[_size-i-1];
            i++;
        }
        return objArray;
    }

编辑：仔细想想，它是有道理的 - 根据定义，将项目从堆栈中取出的唯一方法是将它们弹出（后进先出）。当所有项目都被取出（或像 ToArray 一样被复制）时，情况也是如此。这一次只会发生一项。如果它的行为不是这样，恕我直言，这显然违反了 Stack 的核心思想。