Warum dieser Code "Sammlung wurde geändert" auslöst, aber wenn ich etwas davor iteriere, ist dies nicht der Fall?

var ints = new List< int >( new[ ] {
    1,
    2,
    3,
    4,
    5
} );
var first = true;
foreach( var v in ints ) {
    if ( first ) {
        for ( long i = 0 ; i < int.MaxValue ; ++i ) { //<-- The thing I iterate
            ints.Add( 1 );
            ints.RemoveAt( ints.Count - 1 );
        }
        ints.Add( 6 );
        ints.Add( 7 );
    }
    Console.WriteLine( v );
    first = false;
}

Wenn Sie die innere forSchleife auskommentieren, wird sie ausgelöst, weil wir offensichtlich Änderungen an der Sammlung vorgenommen haben.

Wenn Sie es nun auskommentieren, warum können wir in dieser Schleife diese beiden Elemente hinzufügen? Es dauert eine Weile, bis es wie eine halbe Minute ausgeführt wird (auf Pentium-CPU), aber es wirft nicht, und das Lustige ist, dass es Folgendes ausgibt:

Es wurde ein bisschen erwartet, aber es zeigt an, dass wir uns ändern können und es ändert tatsächlich die Sammlung. Irgendwelche Ideen, warum dieses Verhalten auftritt?

Das Problem besteht darin, dass List<T>Änderungen erkannt werden, indem ein Versionsfeld vom Typ intbeibehalten und bei jeder Änderung erhöht wird. Wenn Sie also zwischen den Iterationen genau ein Vielfaches von 2 ³² Änderungen an der Liste vorgenommen haben, werden diese Änderungen für die Erkennung unsichtbar. (Es wird von int.MaxValuebis überlaufen int.MinValueund schließlich zu seinem ursprünglichen Wert zurückkehren.)

Wenn Sie so ziemlich alles an Ihrem Code ändern - fügen Sie 1 oder 3 Werte anstelle von 2 hinzu oder verringern Sie die Anzahl der Iterationen Ihrer inneren Schleife um 1, wird wie erwartet eine Ausnahme ausgelöst.

(Dies ist eher ein Implementierungsdetail als ein angegebenes Verhalten - und es ist ein Implementierungsdetail, das in einem sehr seltenen Fall als Fehler angesehen werden kann. Es wäre jedoch sehr ungewöhnlich, dass es in einem realen Programm ein Problem verursacht.)