UINT_MAX + 1 равно что?

Каково заданное поведение в C для UINT_MAX + 1u? Насколько безопасно предположить, что оно равно нулю?UINT_MAX + 1 равно что?

источник

2013-02-15 lvella

@JoshPetitt : Это все равно ноль кстати. 'UINT_MAX + 1u' оценивается как целое число без знака, в результате получается' 0', которое затем сохраняется в 'long long'. ;-) – netcoder

@netcoder, на моей 64-разрядной машине Windows вы действительно правы. Мой внутренний компилятор ошибочен. :-) –

От стандартной (С11, 6.2.5/9, курсив мой):

[...] Вычисление с участием беззнаковых операндов никогда не может переполнения, , потому что результат, который не может быть представлен результирующий целочисленный тип без знака равен приведено по модулю число, которое больше одного наибольшего значения, которое может быть , представленное результирующим типом.

UINT_MAX Если это 10:

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

Так что, да, это с уверенностью предположить, что это ноль.

источник

2013-02-15 16:35:54 netcoder

Стандартные мандаты, что 'UINT_MAX' (и максимальные значения других неподписанных целых типов) - это' 2^N - 1', где 'N' - ширина типа, поэтому 10 - плохой пример (но это doesn ' t остановить меня от выживания). –

2^3.4594316186372973 - 1 – Vortico

Кроме того, '(без знака) -1 == UINT_MAX'; последний может использоваться в препроцессорных условиях, а '(unsigned) -1' может быть оценен только компилятором. – Loic

Это безопасно. Стандарт C гарантирует, что целое число без знака ~~переполнение~~ обертывание приводит к нулю.

источник

2013-02-15 16:35:16

И C строго говоря, целые числа без знака никогда не переполняют только переполненные целыми числами. – ouah

@ouah В этом случае, что я должен сказать, что они делают? – 2013-02-15 16:43:43

@ H2CO3: вы могли бы сказать, что они обертываются. –

должны быть безопасными:

Wiki on unsigned overflow

Примечание беззнаковая переполнение ИНТ корректно.

Также, здесь whole question.

источник

2013-02-15 16:35:22

Стоит подчеркнуть, что в то время как беззнаковое поведение определено корректно, подписал целочисленное переполнение не является:

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

В языке программирования С, знаковое целое overflow вызывает неопределенное поведение, в то время как неподписанное целочисленное переполнение приводит к уменьшению числа се, силы два

очень хороший документ по теме:

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

ПРИМЕРОВ С/С ++ целочисленных операциями и их результаты

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

источник

2013-02-15 16:37:56 paulsm4

UINT_MAX + 1 равно что?

ответ

Смежные вопросы