Tại sao mã này ném 'Bộ sưu tập đã được sửa đổi', nhưng khi tôi lặp lại một cái gì đó trước nó, nó lại không?

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

Nếu bạn nhận xét forvòng lặp bên trong , nó ném ra, rõ ràng là do chúng tôi đã thay đổi bộ sưu tập.

Bây giờ nếu bạn bỏ ghi chú nó, tại sao vòng lặp này cho phép chúng tôi thêm hai mục đó? Phải mất một lúc để chạy nó như nửa phút (Trên CPU Pentium), nhưng nó không hoạt động và điều buồn cười là nó xuất ra:

Đó là một chút mong đợi, nhưng nó chỉ ra rằng chúng tôi có thể thay đổi và nó thực sự thay đổi bộ sưu tập. Bất kỳ ý tưởng tại sao hành vi này xảy ra?

Vấn đề là cách List<T>phát hiện các sửa đổi là giữ một trường phiên bản, loại int, tăng nó lên mỗi lần sửa đổi. Do đó, nếu bạn đã thực hiện chính xác một số sửa đổi trong số 2 ³² sửa đổi đối với danh sách giữa các lần lặp lại, nó sẽ làm cho những sửa đổi đó vô hình khi có liên quan đến việc phát hiện. (Nó sẽ tràn từ int.MaxValueđến int.MinValuevà cuối cùng trở về giá trị ban đầu.)

Nếu bạn thay đổi khá nhiều thứ về mã của mình - thêm 1 hoặc 3 giá trị thay vì 2 hoặc giảm số lần lặp của vòng lặp bên trong của bạn xuống 1, thì nó sẽ đưa ra một ngoại lệ như mong đợi.

(Đây là một chi tiết triển khai chứ không phải là hành vi được chỉ định - và đó là một chi tiết triển khai có thể được coi là một lỗi trong một trường hợp rất hiếm. Tuy nhiên, sẽ rất bất thường nếu nó gây ra sự cố trong một chương trình thực.)