Perché questo codice genera "Collection was modified", ma quando itero qualcosa prima di esso, non lo fa?

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

Se commentate il forciclo interno , viene generato, è ovviamente perché abbiamo apportato modifiche alla raccolta.

Ora, se lo rimuovi dal commento, perché questo ciclo ci consente di aggiungere questi due elementi? Ci vuole un po 'per eseguirlo come mezzo minuto (su CPU Pentium), ma non lancia, e la cosa divertente è che emette:

Era un po 'previsto, ma indica che possiamo cambiare e in realtà cambia la collezione. Qualche idea sul perché si verifica questo comportamento?

Il problema è che il modo in cui List<T>rileva le modifiche è mantenere un campo di versione, di tipo int, incrementandolo ad ogni modifica. Pertanto, se hai apportato esattamente un multiplo di 2 ³² modifiche all'elenco tra le iterazioni, renderà quelle modifiche invisibili per quanto riguarda il rilevamento. (Andrà in overflow da int.MaxValuea int.MinValuee alla fine tornerà al suo valore iniziale.)

Se modifichi praticamente qualcosa del tuo codice: aggiungi 1 o 3 valori invece di 2 o abbassa il numero di iterazioni del tuo ciclo interno di 1, allora verrà generata un'eccezione come previsto.

(Questo è un dettaglio di implementazione piuttosto che un comportamento specificato - ed è un dettaglio di implementazione che può essere osservato come un bug in casi molto rari. Tuttavia, sarebbe molto insolito vederlo causare un problema in un programma reale.)