使用"yield"时,为什么编译器生成的类型同时实现IEnumerable和IEnumerator

Question

我们正在尝试使用a IEnumerable作为工厂,每次迭代时都会生成不同的对象.那些应该尽快GC.但请注意,我们保留对枚举器的引用,以便我们可以再次调用它.所以我们的程序基本上是这样的:

public class YieldSpec
{
    public static IEnumerable<string> Strings()
    {
        yield return "AAA";
        yield return "BBB";
        yield return "CCC";
    } 
    public void YieldShouldAllowGC()
    {
        var e = Strings();
        foreach (var a in e)
        {
            Console.WriteLine(a);
        }

    }
}

在调试器中查看该代码:

您可以看到,当遇到断点时,IEnumerable会引用"CCC".

这不应该真的发生.IEnumerable应该只在调用GetEnumerator时生成IEnumerator.这是IEnumerable可以包含状态的预期行为吗？

Answer 1

作为性能原因的实现细节,是的,状态机实现了IEnumerable和IEnumerator.也就是说,正确地做到这一点非常聪明.这是第一次IEnumerable被要求IEnumerator它返回自己.将来调用会GetEnumerator导致创建对象的新实例,以便可以维护单独的迭代器状态.这样做是因为虽然能够拥有一个IEnumerable创建倍数很重要IEnumerators,但绝大多数实际情况只涉及一个被创建,因此这是优化的情况.