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

Question

[Atljh0987]

Подскажите знающие, почему программа заходит в цикл, если при инициализации в переменной лежит ноль, а это явный false? И почему если не делать присваивание внешней переменной num в переменную WHAAAAAT, то программа запускается, но пишет о завершении на скрине ниже? А если раскоментировать, то работает как надо.

int main(void) {
  int num;
  
  while (num > 0) {
    printf("Введите число\n");
//    int WHAAAAAT = num;
    scanf("%d", &num);
    
    printf("%d недель и %d дней\n", num / 7, num % 7);
  }

  return 0;
}

Answer 1

[Станислав Макаров]

Ответ для C++
Не указав инициализатора при объявлении переменной num, вы используете default initialization. Почему? Смотрим по ссылке:

Default initialization is performed in three situations:
1) when a variable with automatic, static, or thread-local storage duration is declared with no initializer;

Это как раз ваш случай.

Далее:

The effects of default initialization are:
......
otherwise, no initialization is performed: the objects with automatic storage duration (and their subobjects) contain indeterminate values.

Итого, согласно третьему описанному случаю, ваша переменная num содержит неопределённое значение (indeterminate value).

Читаем далее:

Use of an indeterminate value obtained by default-initializing a non-class variable of any type is undefined behavior (in particular, it may be a trap representation), except in the following cases:
...

Ваш случай не попадает под исключения, следовательно вы схлопотали undefined behavior.

Что такое undefined behavior? Это значит, что компилятор что хочет, то и генерирует на выходе:

Compilers are not required to diagnose undefined behavior (although many simple situations are diagnosed), and the compiled program is not required to do anything meaningful.

Вывод: не делать так, чтобы в программе был undefined behavior.

Ответ для C
Не указав инициализатора при объявлении переменной num, вы используете implicit initialization. Смотрим по ссылке:

If an initializer is not provided:
- objects with automatic storage duration are initialized to indeterminate values (which may be trap representations)
...

Это как раз ваш случай.

Читаем далее:

If an indeterminate value is used as an argument to any standard library call, the behavior is undefined. Otherwise, the result of any expression involving indeterminate values is an indeterminate value (e.g. int n;, n may not compare equal to itself and it may appear to change its value on subsequent reads)

Итого, у вас либо неопределённое поведение, либо неопределённое значение выражения, если там используется num. Значение в num может даже самопроизвольно меняться между операциями чтения из этой переменной.

Вывод: не делать так, чтобы в программе встречалось использование indeterminate values.

Comments

[Станислав Макаров]

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

Ах да, про "лежит ноль" - это большое заблуждение, но это вы уже и так должны были понять из тела ответа.

[Atljh0987]

Спасибо за ответ. Получается вакханалия начинается с момента обращения в цикле при сравнении "num > 0", а что происходит дальше никому не ведомо?

И еще такой вопрос, если можно, по поводу "лежит ноль". Получается ноль там не лежит, но почему printf его выводит? Это связано с unsigned char или что-то другое? Или это опять undefined behavior?

И еще такой вопрос, ссылка, которую вы дали насколько подходит для чистого C без плюсов?

И последний такой вопрос, может знаете по С литературу или еще источники где рассказываются подобные детали? А то у Стивена Парты как-то это вообще не подробно описано.

[Станислав Макаров]

а что происходит дальше никому не ведомо?

Ну вроде того. Компилятор имеет право совершенно непредсказуемым образом этот код преобразовать или оптимизировать. В разумных пределах, но всё же поведение будет неопределённым.

Это связано с unsigned char

Не думаю, тут нигде этот тип не фигурирует. В том числе в спеке scanf

И еще такой вопрос, ссылка, которую вы дали насколько подходит для чистого C без плюсов?

Хорошее замечание! Добавил вариант ответа для Си. Суть не особо поменялась, но другая терминология.

Answer 2

[CityCat4]

Потому что в num мусор. Она обьявлена на куче и в ней может быть любое произвольное значение, нуль может быть, а может быть и нет. Если ломает сделать отдельную инициализацию, смените цикл на for