c#如何实现迭代器模式_c#迭代器模式深入理解与底层原理-C#.Net教程-PHP中文网

IEnumerable不等于“能用foreach”，因foreach依赖编译器鸭子类型检查 GetEnumerator() 方法及 MoveNext()/Current 成员，而非接口实现。

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

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

很多人以为只要类实现了 IEnumerable，就天然支持 foreach —— 其实不对。foreach 编译后实际查找的是类型是否有公开的 GetEnumerator() 方法，且返回类型必须有 MoveNext() 和 Current 成员（不要求实现 IEnumerator）。这意味着你可以写一个完全不实现 IEnumerable 的类，只要提供符合签名的 GetEnumerator()，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() 就是靠跳转到对应位置继续执行剩余代码。这不是传统循环，而是基于状态机的协程调度。

常见误用点：

"避开 C# 常见错误——空陷阱、异步陷阱、LINQ 陷阱及资源泄漏。"

下载

在 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 中抛异常会导致部分元素已产出、部分未产出，外部无法回滚