枚举自动生成的IAsyncEnumerable时，当前项会在等待下一项前释放吗？

代码示例 #

public abstract class Example {
    protected abstract Task<ReallyLargeItem> GetItem();
    
    public async IAsyncEnumerable<ReallyLargeItem> Producer() {
        while(true) {
            yield return await GetItem();
        }
    }

    public async Task Consumer()
    {
      await foreach(var item in Producer())
        Console.WriteLine(item == null ? "hello" : "world"); // 故意写无意义逻辑，避免JIT优化掉对象引用
    }
}

场景说明 #

• 消费者启动枚举后，生产者立刻生成一个超大的ReallyLargeItem对象。
• 接下来一小时内没有任何操作，生产者不再生成新项。

核心结论 #

当消费者打印完第一行内容、进入第二次迭代的等待阶段时，这个大对象会被GC标记为可回收，不会被枚举器持有整整一小时。

具体解释 #

async IAsyncEnumerable的状态机设计逻辑很清晰：每次yield return完成后，状态机不会保留返回对象的引用。在你的代码里，生产者的状态机每次循环会调用GetItem()拿到新对象，yield return出去后，存储这个对象的局部变量会被重置，不再被状态机持有。

当消费者处理完第一个对象、进入下一次迭代的等待时，这个大对象已经没有任何存活的引用链——消费者这边的item变量在循环迭代结束后也会超出作用域，所以GC完全可以在此时回收它，不需要等到一小时后生产者生成下一个项。

内容的提问来源于stack exchange，提问作者Bogey