Collection was modified异常底层原理及List枚举修改触发机制解析

咱们先从.NET集合的**快速失败（fail-fast）**设计说起，这就是你遇到的Collection was modified异常的核心原因。下面逐个解答你的问题：

1. 异常的底层实现机制 #

List内部维护了一个名为_version的整数字段（这是.NET源码里的实际命名），它就像集合的"状态快照版本号"：

• 每当你对List执行结构性修改（比如Add、Remove、Clear、Insert，或者直接修改底层数组的操作），这个_version就会自动加1。
• 当你用foreach遍历（本质是调用GetEnumerator()获取枚举器）时，List返回的List<T>.Enumerator实例会在初始化时，把当前List的_version值存到自己的私有_version字段里。
• 之后每次调用枚举器的MoveNext()方法（foreach会自动调用这个方法），都会对比枚举器自身保存的_version和List当前的_version：如果两者不相等，说明集合在枚举过程中被修改了，直接抛出InvalidOperationException，也就是你看到的"Collection was modified"异常。

2. List是否会在每次枚举时设置内部标志，并在修改方法中检查？ #

不是的，它没有用"是否正在枚举"的布尔标志来跟踪，而是用刚才说的_version版本号机制。原因很简单：一个List可能同时被多个枚举器遍历（比如你在两个foreach里同时遍历同一个List），如果用单个标志的话根本无法区分不同的枚举状态。

修改集合的方法（比如Add）并不会检查有没有枚举正在进行，它只负责更新_version；反过来，是枚举器自己在每次移动的时候主动检查版本号是否匹配。这种设计更轻量，也能支持多枚举器场景。

3. 同一个List多次枚举时如何跟踪状态？ #

每次调用GetEnumerator()都会创建一个全新的List<T>.Enumerator实例，每个实例都会在创建瞬间捕获当前List的_version值，相当于给自己拍了一张集合状态的快照。

举个实际的代码例子你就懂了：

using System;
using System.Linq;
using System.Collections.Generic;

public class Program
{
    public static void Main()
    {
        var collection = Enumerable.Range(0, 10).ToList();
        
        // 创建第一个枚举器，捕获初始版本号
        var enumerator1 = collection.GetEnumerator();
        enumerator1.MoveNext(); // 正常执行，此时版本号匹配
        
        // 修改集合，版本号自增
        collection.Add(10);
        
        try
        {
            enumerator1.MoveNext(); // 版本号不匹配，抛出异常
        }
        catch (InvalidOperationException ex)
        {
            Console.WriteLine(ex.Message); 
            // 输出：Collection was modified; enumeration operation may not execute.
        }
        
        // 创建第二个枚举器，捕获修改后的最新版本号
        var enumerator2 = collection.GetEnumerator();
        while (enumerator2.MoveNext())
        {
            Console.WriteLine(enumerator2.Current); 
            // 正常遍历所有11个元素，不会报错
        }
    }
}

额外提醒：快速失败≠线程安全 #

需要注意的是，这个机制只能检测单线程下的枚举-修改冲突，如果是多线程场景：一个线程在枚举，另一个线程修改集合，可能会出现"检查版本号后，集合才被修改"的竞态条件，导致枚举器读取到不一致的数据，甚至抛出其他异常。所以多线程操作List时，一定要自己加锁（比如用lock语句）或者使用线程安全的集合（比如ConcurrentBag<T>）。

内容的提问来源于stack exchange，提问作者Igor Yalovoy