Объясните неопределенное поведение в коде:
int i;
i = i = i;
Stack Overflow на русском — это сайт вопросов и ответов для программистов. Присоединяйтесь! Регистрация займёт не больше минуты.
Присоединиться к сообществуСогласно черновику Стандарта C++ автоматическая переменная не инициализированная явным образом имеет неопределенное значение (indeterminate value). Если неопределенное значение получается путем вычисления - это приводит к неопределенному поведению (undefined behavior):
If an indeterminate value is produced by an evaluation, the behavior is undefined ...
Есть исключения из правила, связанные с беззнаковым узким символьным типом (unsigned narrow character type), но это не наш случай, т.к. используется int
.
То, что переменная присваивается сама себе никакого значения с точки зрения Стандарта не имеет, т.е. записи:
int i; int j = i;
и
int i; i = i;
в плане проявления UB эквивалентны.
Цепочное присваивание два раза особой роли здесь не играет.
j
станет равным значению i
, а в 2) значение i
не изменится. Какое именно число было (и останется) в i
-- практически предсказать невозможно.
– avp
28 сен '16 в 12:23
i = i++;
- UB, i = ++i;
- все нормально, нет UB. А также i = i = i;
- все нормально, нет UB. Поэтому проблема с UB только в неинициализированности переменной.
– AnT
28 сен '16 в 18:33
i = ++i;
- больше не UB в C++ до сих пор удивляет многих, но это так. Точно также i = i = i;
- больше не UB.
– AnT
28 сен '16 в 18:38