List型から順序を保証してデータを列挙したい

Question

###前提・実現したいこと
List型に格納したデータを
インデックス番号の0から順に列挙したいです。

###教えていただきたいこと
foreachステートメントを使って列挙しようとした場合、
順序は必ず保証されるのでしょうか？

###ソースコード

    public class Syain
    {
        public int ID { get; set; }
        public string Name { get; set; }
    }
    
    
    
    static void Main(string[] args)
    {

        List<Syain> syainList = new List<Syain>();
        
        syainList.Add(new Syain { ID = 1, Name = "Aさん" });
        syainList.Add(new Syain { ID = 2, Name = "Bさん" });
        syainList.Add(new Syain { ID = 3, Name = "Cさん" });
        syainList.Add(new Syain { ID = 4, Name = "Dさん" });
        syainList.Add(new Syain { ID = 5, Name = "Eさん" });


        foreach (Syain member in syainList)
        {
            //syainListのインデックス番号順（0,1,2,3,4の順）に出力したい
            Console.WriteLine(member.Name);
        }

    }

###補足情報(言語/FW/ツール等のバージョンなど)
.NET Framework 4.5.1

Answer 1

こんにちは。

List<T>とforeachであれば保証されます。
内部的には、List<T>.GetEnumeratorのタイミングでインデックスが初期化され、foreach構文でMoveNextされる際にインクリメントされていきます。

http://referencesource.microsoft.com/#mscorlib/system/collections/generic/list.cs,d3661cf752ff3f44

※万が一、別スレッドなどからコレクションが変更された場合はバージョン差が検出されて例外が発生します。

List<T>以外だったり、パラレルの場合はこの限りではないのでご注意ください。

Comments

[yoshin]

回答いただきありがとうございます。
大変助かりました。

教えていただいたURLからなぜそのようなことがわかるのか？
初心者の私にはわかりませんでした（泣）ただ、ただ尊敬します。

あと、パラレルの場合というのはどういったケースになるのでしょうか？
回答いただいたことに質問する形となってしまい、
申し訳ありませんがよろしかったら教えていただけないでしょうか？

[Tak1wa]

https://msdn.microsoft.com/ja-jp/library/system.threading.tasks.parallel.foreach(v=vs.110).aspx

foreachではなく、上記のParallel.ForEachメソッドを使用した場合です。

[yoshin]

Parallel.ForEachメソッドというのもあるんですね。
ありがとうございます。

[yoshin]

本当に迷ったのでが、ベストアンサーはyubaさんにさせていただきました。
申し訳ありません。
いろいろと教えていただき本当にありがとうございました。

Answer 2

.NETプログラマとしては当然すぎて保証を求めようとも思わないことではあるのですが、実際MSDNのリファレンスを読むと、「0番から順に」とは一言も書いていないんですよね。それでこの質問になったのではと思います。

つまり実際どうなっているかでなく仕様として保証されているか（今後の.NETバージョンでも変化したりしないか）という質問だと解釈します。

リファレンス上の仕様だけから説明すると、
・GetEnumerator()が「最初に、列挙子はコレクション内の 1 番目の要素の前に位置付けられます。」
・MoveNext()が「Current を次の要素に設定します。」
という記述をもって保証されている、と言えるかと。

https://msdn.microsoft.com/ja-jp/library/b0yss765(v=vs.110).aspx
https://msdn.microsoft.com/ja-jp/library/x854yt9s(v=vs.110).aspx

Comments

[yoshin]

回答いただきありがとうございます。
質問の意図は　"仕様として保障されているか"　になります。
GetEnumerator()　⇒　MoveNext() 　のつながりと仕様説明は理解できました。
順番も保証されそうで、まずは安心です。

本当に初歩的な質問で申し訳ないのですが、
foreachステートメントから、List<T>.GetEnumerator メソッド ()が呼び出されることはなにを調べればわかるのでしょうか？
今後のためにも教えていただけると幸いです。

[yuba]

https://msdn.microsoft.com/ja-jp/library/ttw7t8t6.aspx
「foreach ステートメントは、System.Collections::IEnumerable インターフェイスまたは System.Collections.Generic::IEnumerable<T> インターフェイスを実装する配列またはオブジェクト コレクションのそれぞれの要素に対して埋め込みステートメントを繰り返します。」

IEnumerable インターフェースを使って繰り返しをするにはGetEnumerator を呼ぶ以外の方法はありません。（というかGetEnumerator メソッドしか持たないインターフェースです）

[yoshin]

回答いただきありがとうございます。
foreach,inのリファレンスからIEnumerableインターフェイス をたどっていけば理解できたのですね。
とてもわかりやすく教えていただきありがとうございました。