JuniorТеорияЧасто

Что произойдёт, если собрать и запустить эту программу?

C++

#include <iostream>

int main() {
    unsigned i = 2;
    while (i >= 0) {
        std::cout << i << '\n';
        --i;
    }
}

Выведет 2, 1, 0, затем наибольшее значение unsigned и не остановится

Ждать остановки на -1: unsigned не бывает отрицательным, поэтому --i при 0 даёт наибольшее значение unsigned, и i >= 0 остаётся истинным.
Ждать неопределённого поведения: оно возникает только при переполнении знаковых чисел, а арифметика unsigned по определению идёт по кругу, и цикл продолжает печатать.

Как переписать этот отсчёт, чтобы он напечатал 2, 1, 0 и остановился, а i осталась unsigned?
С какими флагами предупреждений GCC и Clang сообщат, что условие i >= 0 здесь всегда истинно?

JuniorТеорияЧасто

C++

#include <iostream>

int main() {
    unsigned i = 2;
    while (i >= 0) {
        std::cout << i << '\n';
        --i;
    }
}

Выведет 2, 1, 0, затем наибольшее значение unsigned и не остановится

Ждать остановки на -1: unsigned не бывает отрицательным, поэтому --i при 0 даёт наибольшее значение unsigned, и i >= 0 остаётся истинным.
Ждать неопределённого поведения: оно возникает только при переполнении знаковых чисел, а арифметика unsigned по определению идёт по кругу, и цикл продолжает печатать.

Как переписать этот отсчёт, чтобы он напечатал 2, 1, 0 и остановился, а i осталась unsigned?
С какими флагами предупреждений GCC и Clang сообщат, что условие i >= 0 здесь всегда истинно?