Eli*_*sha 13

在需要之前,yield实现不会到达代码.

例如,这段代码:

public IEnumerable<int> GetInts()
{
    yield return 1;
    yield return 2;
    yield return 3;
}
Run Code Online (Sandbox Code Playgroud)

实际上会编译成一个实现的嵌套类,IEnumerable<int>而body GetInts()将返回该类的实例.

使用反射器你可以看到:

public IEnumerable<int> GetInts()
{
    <GetInts>d__6d d__d = new <GetInts>d__6d(-2);
    d__d.<>4__this = this;
    return d__d;
}
Run Code Online (Sandbox Code Playgroud)

编辑 - 添加有关GetInts实现的更多信息:
此实现使其变得懒惰的方式基于该Enumerator MoveNext()方法.当生成可枚举的嵌套类时(<GetInts>d__6d在示例中),它具有状态并且每个状态都连接一个值(这是一个简单的情况,在更高级的情况下,当代码到达状态时将评估该值).如果我们看一下MoveNext()代码,<GetInts>d__6d我们就会看到状态:

private bool MoveNext()
{
    switch (this.<>1__state)
    {
        case 0:
            this.<>1__state = -1;
            this.<>2__current = 1;
            this.<>1__state = 1;
            return true;

        case 1:
            this.<>1__state = -1;
            this.<>2__current = 2;
            this.<>1__state = 2;
            return true;

        case 2:
            this.<>1__state = -1;
            this.<>2__current = 3;
            this.<>1__state = 3;
            return true;

        case 3:
            this.<>1__state = -1;
            break;
    }
    return false;
}
Run Code Online (Sandbox Code Playgroud)

当要求枚举器输出当前对象时,它返回连接到当前状态的对象.

为了显示代码仅在需要时进行评估,您可以查看以下示例:

[TestFixture]
public class YieldExample
{
    private int flag = 0;
    public IEnumerable<int> GetInts()
    {
        yield return 1;
        flag = 1;
        yield return 2;
        flag = 2;
        yield return 3;
        flag = 3;
    }

    [Test]
    public void Test()
    {
        int expectedFlag = 0;
        foreach (var i in GetInts())
        {
            Assert.That(flag, Is.EqualTo(expectedFlag));
            expectedFlag++;
        }

        Assert.That(flag, Is.EqualTo(expectedFlag));
    }
}
Run Code Online (Sandbox Code Playgroud)

我希望它更清楚一些.我建议使用Reflector查看代码,并在更改"yield"代码时观察编译代码.


gam*_*gul 7

如果您想了解更多关于编译器在使用时所做的事情yield return,请查看Jon Skeet撰写的这篇文章:迭代器块实现细节