Может ли генерация целых чисел без знака привести к неопределенному определенному поведению?

Question

После прочтения вопроса 32 bit unsigned multiply on 64 bit causing undefined behavior? здесь, в StackOverflow, я начал задумываться над тем, могут ли типичные арифметические операции над малыми типами без знака привести к неопределенному поведению в соответствии со стандартом C99.

Например, возьмем следующий код:

#include <limits.h> 

... 

unsigned char x = UCHAR_MAX; 
unsigned char y = x + 1; 

Переменная x инициализируется до максимальной величины для данного типа unsigned char данных. Следующая строка - проблема: значение x + 1 больше, чем UCHAR_MAX и не может быть сохранено в переменной unsigned chary.

Я считаю, что на самом деле происходит следующее.

• переменной x сначала повышен до типа данных int (раздел 6.3.1.1/2), то x + 1 оценивается как тип int данных.

Пусть есть реализация, где INT_MAX и UCHAR_MAX же - x + 1 приведет Целочисленное переполнение. Означает ли это, что приращение переменной x, несмотря на то, что это целочисленный тип без знака, может привести к неопределенному поведению из-за возможного переполнения целочисленного числа?

Answer 1

По моему стандарту, реализация, которая использовала 15-разрядный char, могла законно хранить int в виде 15-разрядной величины и использовать второе 15-битовое слово для хранения знака вместе с 14 битами заполнения; в этом случае unsigned char будет содержать значения от 0 до 32 767, а int будет содержать значения от -32,767 до +32,767. Добавление 1 в (unsigned char)32767 действительно было бы неопределенным поведением. Аналогичная ситуация может возникнуть при любом большем размере char, если 32 767 было заменено на UCHAR_MAX.

Такая ситуация маловероятна, однако, по сравнению с реальными проблемами, связанными с целым числом без знака, упомянутым в другом сообщении.