要让自定义类型支持 foreach，必须实现 IEnumerable 或 IEnumerable<T>，核心是提供符合协议的枚举器；yield return 由编译器自动生成状态机，避免手动实现 IEnumerator 易出错的问题，如索引越界、状态管理混乱和类型不安全等。
要让自定义类型支持 foreach，必须实现 IEnumerable 或 IEnumerable<t></t>，而核心在于提供一个符合协议的枚举器——不是手动写状态机，而是用 yield return 让编译器生成它。
为什么直接实现 IEnumerator 很容易出错
手动实现 IEnumerator 需要精确维护索引、边界判断、重置逻辑和线程安全（哪怕只是基础版）。比如 MoveNext() 返回 false 后再调 Current 会抛 InvalidOperationException；Reset() 在多数现代场景中已废弃但接口仍强制实现；非泛型 Current 返回 object，每次访问都要强制转换，丢失类型安全。
常见错误现象：
- 遍历时突然抛出
System.InvalidOperationException: Enumeration has not started. Call MoveNext. - 数组越界未检测，
Current返回null或乱值 -
foreach第二次执行时无输出（因枚举器已耗尽且未重置）
yield return 是怎么绕过手写枚举器的
编译器看到 yield return，会把整个方法体重写为一个隐藏的、实现了 IEnumerator<t></t> 的状态机类。你写的每行 yield return x; 对应状态机里一个 case 分支，MoveNext() 就是状态跳转逻辑，Current 直接返回对应字段值——所有索引管理、越界检查、状态暂存都由编译器完成。
实操建议：
- 方法返回类型必须是
IEnumerable<t></t>或IEnumerator<t></t>（推荐前者） - 不要在
yield方法里用return语句（除return;终止迭代） - 避免在
yield方法中捕获ref或out参数，它们会被提升为字段，行为易混淆 - 调试时注意：断点停在
yield return行，实际执行的是编译后状态机的MoveNext()，不是原方法
IEnumerable<t></t> 和 IEnumerable 的关键差异
非泛型 IEnumerable 的 GetEnumerator() 返回 IEnumerator，其 Current 是 object；泛型版本返回 IEnumerator<t></t>，Current 是强类型 T。这意味着：
- 用
IEnumerable<string></string>时，foreach (var s in coll)中s推导为string，无需转换 -
IEnumerable在 LINQ to Objects 中会触发装箱/拆箱，性能差，且无法参与泛型约束（如where T : class） - .NET Core 2.1+ 默认所有集合类型（
List<t></t>、Array等）都只实现泛型接口，非泛型是向后兼容的“影子”实现
foreach 底层到底做了什么
编译器把 foreach (T item in source) 展开为类似这样的代码：
using (var enumerator = source.GetEnumerator())
{
while (enumerator.MoveNext())
{
T item = enumerator.Current;
// 原循环体
}
}
重点：
- 自动插入
using（前提是enumerator实现IDisposable），确保资源释放 - 如果
source是数组或List<t></t>，JIT 会内联优化掉大部分虚调用，性能接近 for 循环 - 若
source是自定义类型且没实现泛型IEnumerable<t></t>，编译器会退回到非泛型接口，触发隐式装箱
最容易被忽略的一点：yield 生成的枚举器默认不实现 IDisposable，除非你在迭代器块中用了 using 或 try-finally —— 这意味着资源清理逻辑必须显式写在 yield 方法外，或改用 IAsyncEnumerable<t></t> + await foreach 配合异步释放。
