Чому цей код кидає "Колекція була змінена", але коли я повторюю щось перед цим, він не робить?

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;
}

Якщо ви коментуєте внутрішній forцикл, він кидає, це, очевидно, тому, що ми внесли зміни в колекцію.

Тепер, якщо ви його відмежуєте, чому ця петля дозволяє нам додати ці два елементи? Це запускає деякий час, як запустити його як півхвилини (на процесорі Pentium), але він не кидає, і найсмішніше, що він видає:

Це було трохи очікуваного, але це вказує на те, що ми можемо змінити, і це фактично змінює колекцію. Будь-які ідеї, чому така поведінка виникає?

Проблема полягає в тому, що спосіб List<T>виявлення модифікацій полягає в тому, щоб зберігати поле версії, типу int, збільшуючи його на кожній модифікації. Отже, якщо ви внесли точно кілька кратних з 2 ³² модифікацій у список між ітераціями, це зробить ці зміни невидимими, що стосується виявлення. (Він переповниться з int.MaxValueдоint.MinValue та зрештою повернеться до свого початкового значення.)

Якщо ви зміните майже все, що стосується вашого коду - додайте 1 або 3 значення, а не 2, або зменшіть кількість повторень вашого внутрішнього циклу на 1, то це призведе до виключення, як очікувалося.

(Це деталі реалізації, а не конкретна поведінка - і це деталізація, яку можна спостерігати як помилку в дуже рідкісному випадку. Було б дуже незвично бачити, що це викликає проблеми в реальній програмі.)