Là C# /. NET đã ký hành vi tràn số nguyên được xác định?

Question

Trong ngữ cảnh không được chọn, hãy thêm một số vào một số nguyên có giá trị 2147483647 được đảm bảo để kết quả là -2147483648?

Ví dụ, với đoạn mã sau

const int first = int.MaxValue; 
    int second = first; 

    if (second >= first) 
    { 
     Console.WriteLine("First check"); 
    } 

    second++; 

    if (second >= first) 
    { 
     Console.WriteLine("Second check"); 
    } 

Trong C++, nó sẽ là hoàn toàn hợp lệ cho cả hai "kiểm tra đầu tiên" và "kiểm tra thứ hai" được in, như tôi ưu hoa có thể tái sử dụng các kết quả của đầu tiên kiểm tra thứ hai.

Có đúng sự thật của C# không?

Answer 1

Từ spec:

4.1.5 Integral loại

Các kiểm tra và các nhà khai thác không được kiểm soát và báo cáo được sử dụng để kiểm soát tràn kiểm tra không thể thiếu loại phép tính số học và chuyển đổi (§7.6. 12). Trong một ngữ cảnh được kiểm tra, một tràn tạo ra một lỗi biên dịch thời gian hoặc gây ra một System.OverflowException được ném ra. Trong một ngữ cảnh không được kiểm soát, các luồng tràn bị bỏ qua và bất kỳ bit thứ tự cao nào không phù hợp với loại đích đều bị loại bỏ.

Đó là mô tả duy nhất về hành vi mà tôi có thể tìm thấy, nhưng dường như là đủ. Vì vậy, có, thêm một đến Int32.MaxValue sẽ dẫn đến giá trị -1 sử dụng biểu diễn bổ sung của hai.

Answer 2

MSDN:

Đối với số học, đúc, hoặc hoạt động chuyển đổi để ném một OverflowException , hoạt động phải diễn ra trong một bối cảnh kiểm tra. Theo mặc định , hoạt động số học và tràn trong Visual Basic được kiểm tra ; trong C#, chúng không phải. Nếu hoạt động xảy ra trong ngữ cảnh không được chọn, kết quả sẽ bị cắt bớt bằng cách loại bỏ bất kỳ bit có thứ tự cao nào không phù hợp với loại đích.