yield return 不是语法糖，而是编译器将迭代器方法重写为带状态字段和movenext()跳转逻辑的ienumerator实现类，支持懒加载与状态保持。
yield return 不是语法糖，是编译器生成状态机
它不是简单地“把 return 换成 yield return 就能懒加载”，而是 C# 编译器在编译时，把你写的迭代器方法整个重写成一个隐藏的 IEnumerator<t></t> 实现类——这个类带字段存循环变量、索引、状态码（比如 0=未开始、1=运行中、2=已结束），再配合 MoveNext() 的 switch-case 跳转逻辑。你每写一句 yield return x;，编译器就在状态机里插一个“保存当前值 → 更新状态 → 返回 true” 的分支。
- 你无法在
try/catch块里用yield return（编译报错 CS1626） - 也不能在带
ref、in或out参数的方法里用（CS1627） - 方法返回类型必须是
IEnumerable<t></t>、IAsyncEnumerable<t></t>或IEnumerator<t></t>，不能是List<t></t>或T[]
为什么 foreach 一调就“动一下”，而不是全跑完？
因为调用 GetNumbers() 这类方法时，编译器生成的代码根本**不执行方法体**，只返回一个尚未启动的状态机对象。真正触发执行的是第一次调用 MoveNext()——这通常由 foreach 隐式完成。之后每次 MoveNext()，状态机才从上次 yield return 后的位置继续跑，直到下一个 yield return 或方法自然退出。
public static IEnumerable<int> GetNumbers() { Console.WriteLine("Start"); yield return 1; Console.WriteLine("After 1"); yield return 2; Console.WriteLine("After 2"); }上面这段代码，执行 var iter = GetNumbers(); 时，“Start”不会打印；只有 iter.GetEnumerator().MoveNext() 才会输出 “Start”，再调一次才输出 “After 1”，以此类推。
yield break 和 return 的行为差异很关键
yield break 不是“提前 return”，而是让状态机立刻跳到“已完成”状态（设 state = -1），后续所有 MoveNext() 都返回 false。而普通 return 在迭代器方法里是非法的（CS1628）——你只能用 yield break 终止迭代。
- 想在满足条件时停止生成？用
yield break，别写return - 想跳过某些项但继续？直接 continue，不用 yield
- 异步迭代要用
async IAsyncEnumerable<t></t>+await yield return，此时底层是AsyncIteratorMethodBuilder，不是普通状态机
容易被忽略的内存与调试陷阱
状态机会捕获方法内所有局部变量（闭包语义），哪怕只是个 int i，也会被提升为字段存在迭代器实例里。这意味着：如果迭代器长期存活（比如被缓存、传给 linq 方法没消费完），它持有的变量和引用都不会被 GC —— 特别是当你 yield 一个大对象或数据库连接时，极易引发内存泄漏。
- 调试时看不到“断点停在 yield return 行”的效果，因为实际执行的是编译器生成的 MoveNext 方法
- 不要在 yield 方法里做昂贵初始化（如打开文件、查 DB），除非确定每次迭代都需要；否则应把初始化提到外面
- 若需复用逻辑，优先提取纯函数，而非把 yield 方法当工具链嵌套调用
真实项目里，最常出问题的地方不是“怎么写”，而是“什么时候不该用”——比如本该一次性加载的小集合，硬套 yield 反而增加状态机开销；或者在 ASP.NET Core API 中直接返回 IEnumerable<t></t> 导致序列化器多次枚举，触发重复查询。这些细节，比理解原理更影响上线结果。