为什么使用“yield”延迟执行会出现不同的运行时行为？ C# 中的关键字？

Question

如果您在下面的示例代码中调用 IgnoreNullItems 扩展方法，则延迟执行将按预期工作，但是当使用 IgnoreNullItemsHavingDifferentBehaviour 时，会立即引发异常。为什么？

List<string> testList = null;
testList.IgnoreNullItems(); //nothing happens as expected

testList.IgnoreNullItems().FirstOrDefault();
//raises ArgumentNullException as expected

testList.IgnoreNullItemsHavingDifferentBehaviour(); 
//raises ArgumentNullException immediately. not expected behaviour -> 
//  why is deferred execution not working here?

感谢您分享您的想法！

Raffael Zaghet

public static class EnumerableOfTExtension
{
    public static IEnumerable<T> IgnoreNullItems<T>(this IEnumerable<T> source)
        where T: class
    {
        if (source == null) throw new ArgumentNullException("source");

        foreach (var item in source)
        {
            if (item != null)
            {
                yield return item;
            }
        }
        yield break;
    }

    public static IEnumerable<T> IgnoreNullItemsHavingDifferentBehaviour<T>(
        this IEnumerable<T> source) 
        where T : class
    {
        if (source == null) throw new ArgumentNullException("source");

        return IgnoreNulls(source);
    }

    private static IEnumerable<T> IgnoreNulls<T>(IEnumerable<T> source)
        where T : class
    {
        foreach (var item in source)
        {
            if (item != null)
            {
                yield return item;
            }
        }
        yield break;
    }
}

这里是具有相同行为的版本：

这里是显示相同行为的版本。在这种情况下，不要让 resharper“改进”你的 foreach 语句 ;) --> resharper 使用 return 语句将 foreach 更改为“IgnoreNullItemsHavingDifferentBehaviour”版本。

public static IEnumerable<T> IgnoreNullItemsHavingSameBehaviour<T>(this IEnumerable<T> source) where T : class
            {
                if (source == null) throw new ArgumentNullException("source");

                foreach (var item in IgnoreNulls(source))
                {
                    yield return item;
                }
                yield break;
            }

Answer 1

由于 IgnoreNullItemsHavingDifferentBehaviour 本身不包含任何“yield”，因此会立即引发异常。

相反，它是IgnoreNulls，它被转换为迭代器块，从而使用延迟执行。

这实际上是 Jon Skeet 在他的 EduLinq 系列中使用的方法，强制立即对源序列进行空检查。请参阅

Answer 2

我还没有测试过，但我可以猜测...

使用IgnoreNullItems方法，整个方法被推迟，直到你成为枚举。使用您的替代方法，仅延迟 IgnoreNulls 的执行 - IgnoreNullItemsHavingDifferentBehaviour 中的 null 检查立即发生。

Answer 3

延迟执行来自于yield return 的工作原理。
它将在方法内创建状态机，在您尝试枚举第一项之前，该状态机不会启动或执行任何代码。

但是当没有yield return时，它的行为就像普通方法一样。

Jon Skeet 的 Edulinq.