Warum dieser Code wirft 'Sammlung wurde geändert', aber wenn ich etwas davor iteriere, ist es nicht?

Question

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 for Schleife auskommentieren, wirft es, es ist offensichtlich, weil wir Änderungen an der Sammlung vorgenommen haben.

Jetzt, wenn Sie es auskommentieren, warum diese Schleife uns erlauben, diese zwei Elemente hinzuzufügen? Es dauert eine Weile, es wie eine halbe Minute zu laufen (auf Pentium CPU), aber nicht werfen, und das Komische ist, dass es gibt:

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

Answer 1

Das Problem ist, dass die Art und Weise, dass List<T> erkennt Änderungen durch ein Versionsfeld, des Typs int, inkrementieren es bei jeder Änderung. Daher, wenn Sie genau einige von 2 Änderungen an der Liste zwischen Iterationen gemacht haben, werden diese Änderungen für die Erkennung unsichtbar machen. (Es wird überlaufen von int.MaxValue zu int.MinValue und schließlich zu seinem ursprünglichen Wert zurück.)

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

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