Почему, независимо от начального значения i
, этот код всегда возвращает 1
, а не уходит в бесконечный цикл?
int main() {
unsigned char i = 42;
while(255 * i++){}
return i;
}
Почему, независимо от начального значения i
, этот код всегда возвращает 1
, а не уходит в бесконечный цикл?
int main() {
unsigned char i = 42;
while(255 * i++){}
return i;
}
Здесь
unsigned char i = 42;
while(255 * i++){}
нет никакого UB, потому что для беззнаковых типов в стандарте сказано, что всякие переполнения обрабатываются как
Unsigned integers shall obey the laws of arithmetic modulo 2n where n is the number of bits in the value representation of that particular size of integer
так что достижение переменной i
значения 0 неминуемо.
255*i
, запоминается, потом i
увеличивается на 1, потом запомненное значение проверяется на ненулевость и принимается решение о выходе из цикла или очередной итерации. Именно поэтому код возвращает 1, потому что в момент принятия решения о завершении цикла i
уже равно 1.
i
станет 0. @andreymal Бесконечный цикл без побочных эффектов - не UB.i
всегда станет0
? почему не UB?Не UB так как в стандарте не указано, что бесконечный цикл без побочных эффектов является UB
Комитет по стандартизации считает иначе.