1

Почему, независимо от начального значения i, этот код всегда возвращает 1, а не уходит в бесконечный цикл?

int main() {
    unsigned char i = 42;
    while(255 * i++){}
    return i;
}
16
  • Тут нет бесконечного цикла, он закончится, когда i станет 0. @andreymal Бесконечный цикл без побочных эффектов - не UB. Commented 15 окт. 2022 в 9:12
  • @user7860670 почему i всегда станет 0? почему не UB?
    – stass
    Commented 15 окт. 2022 в 9:17
  • 1
    @user7860670 "Бесконечный цикл без побочных эффектов - не UB" Интересно послушать вашу интерпретацию eel.is/c++draft/basic#intro.progress-1 Commented 15 окт. 2022 в 10:10
  • 1
    @user7860670 Это не обязательно. Если стандарт не описывает поведение программы в каком-то случае, то это автоматически UB: eel.is/c++draft/intro.defs#defns.undefined Плюс, если предположить, что это таки легально, интересно, как тогда достигается "This is intended to allow compiler transformations such as removal of empty loops". Commented 15 окт. 2022 в 10:25
  • 1
    @user7860670 Наличие бесконечного цикла без наблюдаемых эффектов, порой приводит к совершенно контринтуитивным результатам, а не просто к «выбрасыванию бесконечного цикла»: 1, 2. Не UB так как в стандарте не указано, что бесконечный цикл без побочных эффектов является UB Комитет по стандартизации считает иначе.
    – wololo
    Commented 15 окт. 2022 в 18:46

1 ответ 1

5

Здесь

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 неминуемо.

4
  • Почему неминуемо? Там же умножение есть ещё.
    – stass
    Commented 15 окт. 2022 в 9:26
  • @stass Умножение не виляет на значение i Commented 15 окт. 2022 в 9:27
  • 1
    Происходит так: вычисляется значение 255*i, запоминается, потом i увеличивается на 1, потом запомненное значение проверяется на ненулевость и принимается решение о выходе из цикла или очередной итерации. Именно поэтому код возвращает 1, потому что в момент принятия решения о завершении цикла i уже равно 1.
    – Mikhajlo
    Commented 15 окт. 2022 в 9:30
  • Спасибо, разобрался.
    – stass
    Commented 15 окт. 2022 в 9:33

Ваш ответ

Нажимая «Отправить ответ», вы соглашаетесь с условиями пользования и подтверждаете, что прочитали политику конфиденциальности.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.