UINT_MAX + 1 bằng cái gì?

Question

Hành vi được xác định trong C cho UINT_MAX + 1u là gì? Làm thế nào an toàn là giả sử nó là số không?

Answer 1

Từ tiêu chuẩn (C11, 6.2.5/9, tôi nhấn mạnh):

[...] Một tính toán liên quan đến toán hạng unsigned thể không bao giờ tràn, vì một kết quả mà không thể được đại diện bởi loại số nguyên không dấu kết quả là giảm modulo số lớn hơn giá trị lớn nhất có thể là được biểu thị bằng loại kết quả.

Nếu UINT_MAX là 10:

(10 + 1) % (10 + 1) == 0 

Vì vậy, vâng, nó an toàn để giả định đó là zero.

Answer 2

An toàn. Tiêu chuẩn C đảm bảo rằng số nguyên không dấu tràn kết quả xung quanh bằng không.

Answer 3

nên được an toàn:

Wiki on unsigned overflow

Lưu ý int unsigned tràn cũng được xác định.

Ngoài ra, đây là số whole question về điều này.

Answer 4

Đó là giá trị nhấn mạnh rằng trong khi unsigned hành vi được rõ ràng, ký integer overflow không phải là:

• http://en.wikipedia.org/wiki/Integer_overflow

Trong ngôn ngữ lập trình C, có chữ ký số nguyên tràn nguyên nhân hành vi không xác định, trong khi tràn số nguyên không dấu gây ra số để giảm modu lo một sức mạnh của hai

Một bài báo rất tốt về đề tài này:

• http://www.cs.utah.edu/~regehr/papers/overflow12.pdf

ví dụ về C/C++ INTEGER HOẠT ĐỘNG VÀ KẾT QUẢ CỦA HỌ

Expression    Result 
----------    ------ 
UINT_MAX+1    0 
LONG_MAX+1    undefined 
INT_MAX+1    undefined 
SHRT_MAX+1    SHRT_MAX+1 if INT_MAX>SHRT_MAX, otherwise undefined 
char c = CHAR_MAX; c++ varies 
-INT_MIN    undefined 
(char)INT_MAX   commonly -1 
1<<-1     undefined 
1<<0     1 
1<<31     commonly INT_MIN in ANSI C and C++98; undefined in C99 and C++11 
1<<32     undefined 
1/0     undefined 
INT_MIN%-1    undefined in C11, otherwise undefined in practice