c# yield return 是什么原理-C#.Net教程-PHP中文网

yield return 不是语法糖，而是编译器将迭代器方法重写为带状态字段和MoveNext()跳转逻辑的IEnumerator实现类，支持懒加载与状态保持。

c# yield return 是什么原理

yield return 不是语法糖，是编译器生成状态机

它不是简单地“把 return 换成 yield return 就能懒加载”，而是 C# 编译器在编译时，把你写的迭代器方法整个重写成一个隐藏的 IEnumerator 实现类——这个类带字段存循环变量、索引、状态码（比如 0=未开始、1=运行中、2=已结束），再配合 MoveNext() 的 switch-case 跳转逻辑。你每写一句 yield return x;，编译器就在状态机里插一个“保存当前值 → 更新状态 → 返回 true” 的分支。

你无法在 try/catch 块里用 yield return（编译报错 CS1626）
也不能在带 ref、in 或 out 参数的方法里用（CS1627）
方法返回类型必须是 IEnumerable、IAsyncEnumerable 或 IEnumerator，不能是 List 或 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");
}</int>

上面这段代码，执行 var iter = GetNumbers(); 时，“Start”不会打印；只有 iter.GetEnumerator().MoveNext() 才会输出 “Start”，再调一次才输出 “After 1”，以此类推。

yield break 和 return 的行为差异很关键

yield break 不是“提前 return”，而是让状态机立刻跳到“已完成”状态（设 state = -1），后续所有 MoveNext() 都返回 false。而普通 return 在迭代器方法里是非法的（CS1628）——你只能用 yield break 终止迭代。

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

下载

想在满足条件时停止生成？用 yield break，别写 return
想跳过某些项但继续？直接 continue，不用 yield
异步迭代要用 async IAsyncEnumerable + await yield return，此时底层是 AsyncIteratorMethodBuilder，不是普通状态机