c# - 有人可以解释这个懒惰的评估代码吗？

Question

所以，这个问题只是在 SO 上提出的:

How to handle an "infinite" IEnumerable?

我的示例代码:

public static void Main(string[] args)
{
    foreach (var item in Numbers().Take(10))
        Console.WriteLine(item);
    Console.ReadKey();
}

public static IEnumerable<int> Numbers()
{
    int x = 0;
    while (true)
        yield return x++;
}

有人可以解释为什么这是惰性评估吗？我已经在 Reflector 中查找了这段代码，但我比开始时更加困惑。

反射器输出:

public static IEnumerable<int> Numbers()
{
    return new <Numbers>d__0(-2);
}

对于 numbers 方法，看起来已经为该表达式生成了一个新类型:

[DebuggerHidden]
public <Numbers>d__0(int <>1__state)
{
    this.<>1__state = <>1__state;
    this.<>l__initialThreadId = Thread.CurrentThread.ManagedThreadId;
}

这对我来说毫无意义。在我将代码放在一起并自己执行之前，我会假设这是一个无限循环。

编辑:所以我现在明白 .Take() 可以告诉 foreach 枚举已经“结束”，但实际上还没有，但不应该调用 Numbers()在链接到 Take() 之前是完整的吗？ Take 结果是实际被枚举的结果，对吗？但是当 Numbers 还没有完全计算时，Take 是如何执行的呢？

EDIT2:那么这只是“yield”关键字强制执行的特定编译器技巧吗？

Answer 1

这必须与:

• 当某些方法被调用时 iEnumerable 做什么
• 枚举的性质和Yield语句

当您枚举任何类型的 IEnumerable 时，该类会为您提供它将要为您提供的下一个项目。它不会对其所有 项目做任何事情，它只会为您提供下一个项目。它决定了该项目将是什么。 (例如，有些收藏是有序的，有些不是。有些不保证特定的顺序，但似乎总是按照你放入它们的相同顺序归还它们。)

IEnumerable 扩展方法 Take() 将枚举 10 次，获取前 10 项。你可以做 Take(100000000)，它会给你很多数字。但你只是在做 Take(10)。它只是向 Numbers() 询问下一项。 . . 10 次。

这 10 项中的每一项，编号 给出了下一项。要了解如何操作，您需要阅读 Yield 声明。这是syntactic sugar对于更复杂的事情。 Yield非常强大。 (我是一名 VB 开发人员，我很生气我仍然没有它。)它不是一个函数；它是一个函数。这是一个有一定限制的关键字。它使定义枚举器比其他方式容易得多。

其他 IEnumerable 扩展方法总是遍历每个项目。调用 .AsList 会把它炸毁。使用它，大多数 LINQ 查询都会崩溃。