在C#开发中，IEnumerable 与 yield return 的组合向来被视为“懒加载”的优雅实现——既能按需生成序列元素，又能避免一次性加载全部数据。然而，随着应用规模的增长，越来越多的开发者开始关注这一机制背后的性能开销。近期，多个技术社区对 yield return 实现的迭代器进行了深入基准测试，揭示出一些容易被忽视的性能陷阱。

零：yield return 的本质——状态机

要理解性能开销，首先需要明确 yield return 的底层实现。当编译器遇到包含 yield return 的方法时，会自动生成一个实现 IEnumerable<T> 和 IEnumerator<T> 的状态机类。该类内部维护一个状态字段（<>1__state），以及用于存储局部变量的字段（如 <>2__current）。每次调用 MoveNext()，状态机都会根据当前状态跳转到相应代码位置并执行，直到遇到下一个 yield 或方法结束。

这一自动生成过程虽然简化了开发工作，但状态机本身的实例化、状态切换以及装箱/拆箱（对于非泛型 IEnumerable）都会带来额外开销。基准测试显示，对于简单序列（如 yield return 1; yield return 2; yield return 3;），使用 yield return 的版本比直接返回 List<int> 的版本慢约 5~10 倍，且内存分配量高出 3~4 个数量级（因为状态机对象本身需要分配内存）。

一：性能瓶颈的三大来源

  1. 状态机对象分配：每次调用返回 IEnumerable<T> 的方法时，都会创建全新的状态机实例。即使序列只迭代一次，这种分配也无法避免。对于高频调用场景（如循环中多次获取迭代器），GC 压力会显著增加。

  2. MoveNext() 调用开销：状态机中的 MoveNext() 方法包含分支跳转逻辑，每次调用都需要检查当前状态、恢复局部变量、执行代码块并更新状态。对于仅包含简单 yield return 的短序列，这种调用的开销甚至可能超过元素生成逻辑本身。

  3. 值类型与引用类型的装箱：当 yield return 返回的是值类型（如 int、struct）时，如果迭代器接口使用的是非泛型的 IEnumerable，则每个元素都需要装箱操作。即便使用泛型 IEnumerable<T>，状态机存储 Current 属性时也可能涉及类型转换。

二：典型场景下的性能数据

某基准测试项目针对三种实现方式进行了对比： - List 预分配：使用 List<T> 预先存储所有元素，然后返回它。 - yield return 生成：使用 yield return 在迭代过程中动态生成元素。 - 手动迭代器：实现自定义的 IEnumerator<T>，直接控制循环。

测试结果显示，迭代长度仅为 10 的整数序列，yield return 版本的内存分配约为 List 版本的 50 倍，耗时约为 2.8 倍。当迭代长度增加至 10000 时，yield return 的内存优势开始显现（避免了完整存储），但 CPU 耗时仍比 List 版本高约 15%。而手动迭代器实现则在内存和速度上均优于 yield return，但代码量增加了数倍。

三：最佳实践与优化策略

鉴于 yield return 的性能代价并非固定，开发者需要根据具体场景权衡：

  • 短序列或高频调用：当序列长度较短（如少于 100 个元素）且方法被频繁调用时，建议直接返回 List<T> 或数组，避免状态机创建开销。
  • 长序列或懒加载需求：当序列长度较大或需要流式处理（如大文件逐行读取）时，yield return 的低内存优势依然突出，此时应优先保证可读性。
  • 纯迭代且对性能敏感：可考虑手动实现 IEnumerator<T>，或将 yield return 方法改为返回 IEnumerator<T>（而非 IEnumerable<T>），避免外层再调用 GetEnumerator() 产生的额外状态机。
  • 避免嵌套迭代：yield return 方法内部嵌套调用另一个 yield return 方法会导致多层状态机，性能急剧下降。此时应使用 foreach 循环直接遍历内层迭代器。

四：社区声音与未来发展

.NET 团队在 .NET 6/7 中已对 yield return 生成的 IL 进行了优化，包括减少状态机字段数量、内联部分方法等。然而，根本性的设计取舍依然存在：自动状态机无法消除所有分配。部分开发者呼吁引入“值类型迭代器”（类似 Span<T> 的迭代模式），以降低 GC 压力。C# 12 中新增的 Collection expressions 或许能在一些场景下替代 yield return，但对流式生成仍无能为力。

总之，yield return 是 C# 中极具表达力的特性，但绝非“零成本抽象”。在性能关键的路径上，开发者应像对待其他抽象一样，通过实际基准测试来评估其影响，并选择最合适的实现方式。