为什么我们不能在枚举字典的键时更改字典的值？

Question

class Program
{
    static void Main(string[] args)
    {
        var dictionary = new Dictionary<string, int>()
        {
            {"1", 1}, {"2", 2}, {"3", 3}
        };

        foreach (var s in dictionary.Keys)
        {
            // Throws the "Collection was modified exception..." on the next iteration
            // What's up with that?

            dictionary[s] = 1;  
        }
    }
}

我完全理解为什么在枚举列表时会抛出此异常。预期在枚举期间被枚举对象的结构不会改变似乎是合理的。但是，更改字典的值是否也会更改其结构？ 具体来说，它的按键结构？

Answer 1

因为值和键是作为一对存储的。键和值没有单独的结构，而是一个将两者存储为一组对值的结构。当您更改值时，需要更改包含键和值的单个基础结构。

更改值是否必然会更改底层结构的顺序？不。但这是一个特定于实现的细节，而 Dictionary 类正确地认为不会通过允许将值修改作为 API 的一部分来揭示这一点。

Answer 2

事实上，我明白你来自哪里。这里的大多数答案没有注意到的是您正在迭代键列表，而不是字典的项目本身。如果 .NET 框架程序员愿意，他们可以相当轻松地区分对字典结构所做的更改和对字典中值所做的更改。然而，即使人们迭代集合的键，他们通常最终还是会得到值。我怀疑 .NET 框架设计者认为，如果您要迭代这些值，您会想知道是否有某些东西正在从您的控制下改变它们，就像任何列表一样。要么是这样，要么他们没有认为这是一个足够重要的问题，值得进行区分一种变更和另一种变更所需的编程和维护。

Answer 3

感谢 Vitaliy，我回去进一步查看了代码，看起来这是一个禁止这样做的特定实现决策（请参见下面的代码片段）。字典保留一个称为 verrsion 的私有值，当更改现有项目的值时，该值会递增。创建枚举器时，它会记下当时的值，然后检查对 MoveNext 的每次调用。

for (int i = this.buckets[index]; i >= 0; i = this.entries[i].next)
{
    if ((this.entries[i].hashCode == num) && this.comparer.Equals(this.entries[i].key, key))
    {
        if (add)
        {
            ThrowHelper.ThrowArgumentException(ExceptionResource.Argument_AddingDuplicate);
        }
        this.entries[i].value = value;
        this.version++;
        return;
    }
}

我不知道为什么有必要这样做。您仍然可以自由修改该值的属性，只是不将其分配给新值：

public class IntWrapper
{
  public IntWrapper(int v) { Value = v; }
  public int Value { get; set; }
}

class Program
{
  static void Main(string[] args)
  {
    var kvp = new KeyValuePair<string, int>("1",1);
    kvp.Value = 17;
    var dictionary = new Dictionary<string, IntWrapper>(){
      {"1", new IntWrapper(1)}, 
      {"2", new IntWrapper(2)}, 
      {"3", new IntWrapper(3)} };

    foreach (var s in dictionary.Keys)
    {
      dictionary[s].Value = 1;  //OK
      dictionary[s] = new IntWrapper(1); // boom
    }
  } 
}

Answer 4

您可能刚刚在字典中插入了一个新键，这确实会更改 dictionary.Keys。即使在这个特定的循环中永远不会发生，[] 操作通常可以更改键列表，因此这被标记为突变。

Answer 5

Dictionary 上的索引器可能是一种可以更改集合结构的操作，因为如果该键尚不存在，它将添加具有此类键的新条目。显然这里的情况并非如此，但我希望 Dictionary 合约故意保持简单，因为对象上的所有操作都分为“变异”和“非变异”，并且所有“变异” “操作会使枚举器失效，即使它们实际上没有改变任何东西。

Answer 6

从文档（Dictionary.Item 属性）：

您还可以使用 Item 属性通过设置字典中不存在的键的值来添加新元素。设置属性值时，如果该键位于字典中，则与该键关联的值将替换为指定的值。如果字典中没有该键，则将键和值添加到字典中。相反，Add 方法不会修改现有元素。

因此，正如约翰所指出的，框架无法知道您没有更改列表的内容，因此它假设您已经更改了。

Answer 7

对于那些对如何解决这个问题感兴趣的人，这里有一个可行的 Vitaliy 代码的修改版本：

class Program
{
    static void Main(string[] args)
    {
        var dictionary = new Dictionary<string, int>()
        {
            {"1", 1}, {"2", 2}, {"3", 3}
        };

        string[] keyArray = new string[dictionary.Keys.Count];
        dictionary.Keys.CopyTo(keyArray, 0);
        foreach (var s in keyArray)
        {
            dictionary[s] = 1;
        }
    }
}

答案是将键复制到另一个可枚举中，然后迭代该集合。由于某种原因，没有 KeyCollection.ToList 方法可以让事情变得简单。相反，您需要使用 KeyCollection.CopyTo 方法，它将键复制到数组中。

Answer 8

简而言之，您正在修改字典集合，即使您实际上没有更改它的任何键。因此，更新后访问集合的下一次迭代会抛出异常，表明自上次访问以来该集合已被修改（并且正确地如此）。

要执行您想要的操作，您需要一种不同的方式来迭代元素，以便更改它们不会触发迭代器异常。

Answer 9

这是因为他们设计的 .Net 具有在多个线程中迭代集合的能力。因此，您要么允许迭代器是多线程的，要么阻止它并允许在迭代期间修改集合，这需要限制对象在单个线程中迭代。不能两者兼得。

事实上，您问题的答案是，您输入的代码实际上会产生编译器生成的（[CompilerGenerate]）状态机，该状态机允许迭代器维护集合状态以提供收益魔法。这就是为什么如果您不同步集合并且在一个线程中迭代并在另一个线程中进行操作，您将会遇到一些奇怪的事情。

查看：http://csharpindepth.com/articles/chapter6/iteratorblockimplementation.aspx

另外： http://docs.oracle.com/ javase/7/docs/api/java/util/concurrent/ConcurrentHashMap.html
“迭代器被设计为一次只能由一个线程使用。”