为什么 List<T>.ForEach 允许修改其列表？

Question

如果我使用：

var strings = new List<string> { "sample" };
foreach (string s in strings)
{
  Console.WriteLine(s);
  strings.Add(s + "!");
}

foreach 中的 Add 抛出 InvalidOperationException（集合已修改；枚举操作可能无法执行），我认为这是合乎逻辑的，因为我们正在从脚下拉扯地毯。

但是，如果我使用：

var strings = new List<string> { "sample" };
strings.ForEach(s =>
  {
    Console.WriteLine(s);
    strings.Add(s + "!");
  });

它会迅速循环，直到抛出 OutOfMemoryException。

这对我来说是一个惊喜，因为我一直认为 List.ForEach 要么只是 foreach 或 for 的包装器。
有没有人解释这种行为的方式和原因？

（灵感来自ForEach loop for a Generic List repeated endlessly）

Answer 1

这是因为ForEach 方法不使用枚举器，它使用for 循环遍历项目：

public void ForEach(Action<T> action)
{
    if (action == null)
    {
        ThrowHelper.ThrowArgumentNullException(ExceptionArgument.match);
    }
    for (int i = 0; i < this._size; i++)
    {
        action(this._items[i]);
    }
}

（使用 JustDecompile 获得的代码）

由于没有使用枚举器，它永远不会检查列表是否发生了变化，并且永远不会达到for 循环的结束条件，因为每次迭代都会增加_size。

Answer 2

List<T>.ForEach内部是通过for实现的，所以它不使用枚举器，它允许修改集合。

Answer 3

因为附加到 List 类的 ForEach 在内部使用了一个直接附加到其内部成员的 for 循环 - 您可以通过下载 .NET 框架的源代码来查看。

http://referencesource.microsoft.com/netframework.aspx

foreach 循环首先是编译器优化，但还必须作为观察者对集合进行操作——因此，如果集合被修改，它会引发异常。

Answer 4

我们知道这个问题，这是最初编写时的疏忽。不幸的是，我们无法更改它，因为它现在会阻止以前工作的代码运行：

        var list = new List<string>();
        list.Add("Foo");
        list.Add("Bar");

        list.ForEach((item) => 
        { 
            if(item=="Foo") 
                list.Remove(item); 
        });

正如Eric Lippert 指出的那样，这种方法本身的实用性值得怀疑，因此我们没有将它包含在用于 Metro 风格应用程序（即 Windows 8 应用程序）的 .NET 中。

大卫·基恩（BCL 团队）