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）なぜ収穫が最後に2回壊れますか？

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. ソースenumerableが空でない場合、ソースenumerableとして動作する必要があります。したがって、すべての値を生成する必要があります。

Answer 2

。

yield return最初のコードは、この列挙子を使用しているコードでは値が1つしかないと考えられます。だからあなたはそこにあるすべてを列挙し、yield returnそれを転送しなければなりません。

もちろんreturn enumeratorを実行しても問題ありませんが、MoveNext()が呼び出された後では最初の値がスキップされるため、それは機能しません。値が存在するかどうかを確認するもう1つの方法がある場合は、これがその方法です。

Answer 3

なぜコードは、配列が空でないことが確立された後、シーケンス全体を反復することがありますか？

あなたはMSDNについてDefaultIfEmtpy戻り値で読み取ることができたよう：

ソースが空の場合TSource型のデフォルト値が含まれているIEnumerable<T>オブジェクト。そうでなければ、source。

したがって、列挙型が空の場合、結果はデフォルト値を含む列挙型ですが、列挙型が空でない場合は、同じ列挙型が返されます（最初の要素だけでなく）。

このメソッドは、列挙可能要素に要素が含まれているかどうかのみをチェックしているように見えるかもしれませんが、そうではありません。

最終的に利回りが2倍になるのはなぜですか？

いいえidead、:)