c# - 为什么 DefaultIfEmpty 是这样实现的？

Question

追踪 System.Linq.Enumerable.DefaultIfEmpty 的实现让我找到了这个方法。除了以下古怪的细节外，它看起来还不错:

// System.Linq.Enumerable
[IteratorStateMachine(typeof(Enumerable.<DefaultIfEmptyIterator>d__90<>))]
private static IEnumerable<TSource> DefaultIfEmptyIterator<TSource>(IEnumerable<TSource> source, TSource defaultValue)
{
    using (IEnumerator<TSource> enumerator = source.GetEnumerator())
    {
        if (enumerator.MoveNext())
        {
            do
            {
                yield return enumerator.Current;
            }
            while (enumerator.MoveNext());
        }
        else
        {
            yield return defaultValue;
        }
    }
    IEnumerator<TSource> enumerator = null;
    yield break;
    yield break;
}

1) 为什么一旦确定序列不为空，代码就必须遍历整个序列？

2) 为什么 yield 在最后两次突破？

3) 为什么在没有其他引用的情况下在末尾显式地将 enumerator 设置为 null？

我会把它留在这里:

// System.Linq.Enumerable
[IteratorStateMachine(typeof(Enumerable.<DefaultIfEmptyIterator>d__90<>))]
private static IEnumerable<TSource> DefaultIfEmptyIterator<TSource>(IEnumerable<TSource> source, TSource defaultValue)
{
    using (IEnumerator<TSource> enumerator = source.GetEnumerator())
    {
        if (enumerator.MoveNext())
        {
            do
            {
                yield return enumerator.Current;
            }
            // while (enumerator.MoveNext());
        }
        else
        {
            yield return defaultValue;
        }
    }
    // IEnumerator<TSource> enumerator = null;
    yield break;
    // yield break;
}

Answer 1

DefaultIfEmpty 需要如下操作:

1. 如果源可枚举没有条目，它需要充当具有单个值的可枚举；默认值。

2. 如果source enumerable不为空，则需要充当source enumerable。因此，它需要产生所有值。