c#如何实现迭代器模式_c#迭代器模式深入理解与底层原理

IEnumerable 和“能用 foreach”之间，其实不能直接画等号。foreach 的底层靠的是编译器对鸭子类型的检查：它只要求类型公开一个 GetEnumerator() 方法，并且该方法返回的类型有 MoveNext() 和 Current 两个成员——至于是否实现了 IEnumerator 接口，反倒是次要的。

为什么 IEnumerable 不等于“能用 foreach”？

很多开发者脑子里有个惯性：只要类实现了 IEnumerable，就天然支持 foreach。但真相恰恰相反——foreach 编译后，编译器压根不关心你有没有实现那个接口，它只找类型上有没有公开的 GetEnumerator() 方法，并且这个方法返回的类型必须带 MoveNext() 和 Current。换句话说，你可以写一个完全不碰 IEnumerable 的类，只要方法签名匹配，foreach 照样能跑。

所以关键点在于编译器的“鸭子类型”检查，而不是接口继承关系。这也是为什么 yield return 生成的匿名类型虽然没显式实现 IEnumerable，却依然能被 foreach 消费——编译器早已悄悄补全了所需的成员。

yield return 生成的类到底长什么样？

写一个简单方法：public IEnumerable GetNumbers() { yield return 1; yield return 2; }，编译后你会得到一个私有嵌套类（比如 d__0），它同时实现了 IEnumerable 和 IEnumerator（以及非泛型版本）。这个类不是线程安全的，而且每次调用 GetEnumerator() 都会新建一个实例，状态彼此隔离。

注意：该类内部用一个 int <>1__state 字段记录当前执行位置（-1=未开始，0=初始，1=第一次 yield return 后，2=第二次后……），MoveNext() 就是靠跳转到对应位置继续执行剩余代码。这不是传统循环，而是基于状态机的协程调度。

实际开发中，我见过不少项目在这里踩坑，常见的误用点包括：

• 在 yield 方法中捕获外部局部变量（如 var x = DateTime.Now），该变量会被提升为生成类的字段，生命周期延长，可能引发意料外的内存驻留
• 多次调用同一个 yield 方法返回的 IEnumerable，每次都是全新迭代，不会复用上一次的状态
• 若在 yield 方法中抛出异常，异常堆栈会显示为生成类的 MoveNext()，原始方法名只出现在最外层帧

手动实现 IEnumerator 时最容易漏掉什么？

手写迭代器时，很多人因为忽略协议细节导致 foreach 行为异常——比如提前退出、重复枚举，或者 Dispose 失效。核心要点其实就几个：

• Current 在 MoveNext() 返回 false 后访问，必须抛 InvalidOperationException（不是 NullReferenceException）
• Reset() 方法可以抛 NotSupportedException，但不能留空实现（.NET Framework 旧版要求必须抛异常；.NET Core+ 已允许不实现，但接口仍存在）
• Dispose() 必须可多次调用且不抛异常（幂等）；如果迭代器封装了文件流或数据库连接，这里才是释放资源的唯一可靠时机
• 不要在 MoveNext() 中做重操作（如网络请求），因为 foreach 无法预知何时调用下一次，容易造成延迟不可控

举个典型的陷阱：Current 属性如果直接返回字段而没有加 if (_state == -1 || _state == 0) throw new InvalidOperationException(); 检查，那么未启动或已结束的迭代器就会返回脏值，调试时特别难定位。

什么时候不该用 yield return？

yield return 虽然写起来简洁，但它的适用边界其实很明确。遇到以下情况，建议绕道：

• 需要同步返回完整集合（比如作为 API 响应体、要取 .Count 或随机索引访问），因为 IEnumerable 是延迟执行的，多次遍历会重复计算
• 迭代逻辑涉及复杂状态管理（如嵌套事务、跨线程等待），yield 的状态机难以调试，堆栈不可读，且无法 await 异步操作（除非用 IAsyncEnumerable）
• 性能敏感路径：每次 MoveNext() 都有状态判断和跳转开销，比纯数组 for 循环慢 2–3 倍；若数据量小、遍历频繁，直接返回 List 更合适
• 需要保证迭代过程原子性（如“要么全成功，要么全失败”），yield 中抛异常会导致部分元素已产出、部分未产出，外部无法回滚

底层原理上，yield 是 C# 编译器提供的语法糖，它把方法体重写为状态机类，并把控制流拆成多个 case 分支。你看到的线性代码，运行时其实是散落在不同方法里的碎片——这也是为什么断点调试时“跳来跳去”，也为什么某些分析工具（如序列化器、反射遍历）无法穿透它。