Использование неинициализированных переменных

@Undisputed · Регистрация: 10.06.2014

Студворк — интернет-сервис помощи студентам

Есть простой код

C++
1
2
3
4
5
6
7
8
9
//g++  5.4.0
 
#include <iostream>
 
int main()
{
    int n;
    std::cout << n;
}

В общем то он работает, http://rextester.com/YOGFL91563

Но на stackoverflow разные мнения по поводу корректности использования не инициализированных переменных.
Вот мне интересно следующее:
1. Какие могут быть проблемы? Ведь int по умолчанию имеет значение 0, и если не ошибаюсь это требование стандарта.
2. Почему компиляторы выдают warning при использовании неинициализированных переменных? Просто что бы напомнить об этом если вдруг мы случайно забудем инициализировать переменную перед тем как используем её?
3. 2017 студия вообще отказывается компилировать код в котором используются не инициализированные переменные. Это фича такая и как то отключается? Типа "не компилить если есть хотя бы 1 warning"?

Прошу разъяснить тех кто знает

Добавлено через 1 минуту
Особенно интересует ответ на вопрос #1

@hoggy · 18.08.2017, 13:07

Сообщение от Undisputed

Какие могут быть проблемы?

не предсказуемое поведение
во многих кейсах.

Сообщение от Undisputed

Ведь int по умолчанию имеет значение 0, и если не ошибаюсь это требование стандарта.

вы ошибаетесь.

Сообщение от Undisputed

Просто что бы напомнить об этом если вдруг мы случайно забудем инициализировать переменную перед тем как используем её?

они переживают за программистов.
и обращают их внимание на потенциальную лажу.

Сообщение от Undisputed

Это фича такая и как то отключается?

это такая фича, которая отключается.

моральные люди ставят уровень предупреждений на максимум.
в режиме: "все предупреждения приравнивать к ошибкам".

аморальные - отключают фичу "предупреждать об опасности",
специально, что бы можно было писать дурно пахнущий код.
который, впрочем, работает так же, как выглядит.

@MansMI · 18.08.2017, 13:10

Сообщение от Undisputed

по умолчанию имеет значение 0

не уверен, но вроде только для глобальных

@Undisputed · 18.08.2017, 13:18 **[ТС]**

hoggy,
А что там может быть непредсказуемого? Есть переменная, начальное значение которой равно нулю

Можно плз пример? А то многие говорят что это плохо но почему именно не объясняется

)

А что стандарт говорит по этому поводу? еще не помню где, но читал что такая запись int n{} гарантирует то что переменная будет иметь значение 0, даже если явно не прописать. И warning-ов при такой записи не бывает. Если значения по умолчанию у int-a нет, то откуда берётся этот ноль?

Croessmah · 18.08.2017, 13:24

Сообщение от Undisputed

Есть переменная, начальное значение которой равно нулю

С чего вдруг оно будет равно нулю?

Сообщение от Undisputed

А то многие говорят что это плохо но почему именно не объясняется

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
#include <iostream>
#include <cstring>
 
void init(bool &x)//эмуляция рандомного значения в памяти
{
    memset(&x, 10, sizeof(bool));
}
 
 
 
int main()
{
    bool x;
    init(x);
    if (x == true) {
        std::cout << "is true" << std::endl;
    }
    if (x == false) {
        std::cout << "is false" << std::endl;
    }
}

http://rextester.com/RRJX62576

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
#include <iostream>
 
int main()
{
    bool x;
    std::cout << "start" << std::endl;
    if (x == true) {
        std::cout << "x is true";
    }
    if (x == false) {
        std::cout << "x is false";
    }    
}

http://rextester.com/WJVD11894

Добавлено через 26 секунд

Сообщение от Undisputed

int n{}

Это уже будет инициализированная переменная.

@TRam_ · 18.08.2017, 13:25

Сообщение от Undisputed

А что там может быть непредсказуемого?

Ну выведется в консоль неизвестно что. То есть например 20 раз выдало 0, потом на 21 выдало 17893, на 22 выдало -2343444.
Если бы у тебя в коде было написано

C++
1
std::cin >> n;

то никаких вопросов такой код не вызвал - если переменная будет присвоена/получена откуда-то, а до этого ей никто не будет пользоваться - неопределённого поведения не будет.

Croessmah · 18.08.2017, 13:26

Сообщение от Undisputed

А что стандарт говорит по этому поводу?

Для фундаментальных типов значение неинициализированных переменных не определено.

C++
1
int x;//<--здесь мусор, если данные не статические и не потоковые

@TRam_ · 18.08.2017, 13:33

Сообщение от Undisputed

Ведь int по умолчанию имеет значение 0

Нет такого требования в стандарте. Сделано специально, чтоб не тратить такты процессора на заполнение памяти/регистров нулями в том случае, если их нужно будет сразу после этого заполнять чем-то другим.

@Quaentor · 18.08.2017, 13:35

Сообщение от Undisputed

и если не ошибаюсь это требование стандарта

извольте тогда приложить выпись из стандарта

имеют значение по умолчанию

Variables with static storage duration (3.7.1) or thread storage duration (3.7.2) shall be zero-initialized (8.5)
before any other initialization takes place.

не имеют

When storage for an object
with automatic or dynamic storage duration is obtained, the object has an indeterminate value

Думаю, остальные вопросы опускаются. Т.е. если у тебя объявлен, напр., глобальный int, то все ОК, никаких проблем.

Croessmah · 18.08.2017, 13:36

Сообщение от Undisputed

Если значения по умолчанию у int-a нет, то откуда берётся этот ноль?

Такие правила инициализации.
Возьмите стандарт и почитайте о видах и правилах инициализации.

@Undisputed · 18.08.2017, 13:41 **[ТС]**

Croessmah,
Спасибо что объяснили!
Подскажите ещё плиз по следующим вопросам:
1. Выходит на значение по умолчанию можно расчитывать только если мы используем пользовательский тип (экземпляр класса с явно определенным конструктором по умолчанию?)
2. Если мы не определим конструктор по умолчанию и у класса есть поля например int, float тогда там тоже будет мусор независимо от того объект был создан в стеке или куче?
3. Какие значения принимают базовые типы при использовании фигурных скобок? Если долго перечислять то можно плз ссылку где можно об этом прочитать?

Croessmah · 18.08.2017, 13:42

Сообщение от Undisputed

Выходит на значение по умолчанию можно расчитывать только если мы используем пользовательский тип

Нет.

Сообщение от Undisputed

Если мы не определим конструктор по умолчанию и у класса есть поля например int, float тогда там тоже будет мусор независимо от того объект был создан в стеке или куче?

Нет.

Сообщение от Undisputed

где можно об этом прочитать?

В стандарте.

Сообщение от Croessmah

Возьмите стандарт и почитайте о видах и правилах инициализации.

@Undisputed · 18.08.2017, 13:56 **[ТС]**

Quaentor,
Глобальный int это так?

C++
1
2
3
4
5
6
7
8
9
10
//g++  5.4.0
 
#include <iostream>
 
int n;
 
int main()
{
    std::cout << n;
}

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

Croessmah · 18.08.2017, 14:01

Сообщение от Undisputed

в какой именно части стандарта можно прочитать о значениях для типов в тех случаях когда нет явной инициализации

Declarators -> Initializers
Неожиданно, да?

@Undisputed · 18.08.2017, 15:00 **[ТС]**

Croessmah,
Спасибо)

Но вот тут я ни разу не понял http://rextester.com/RRJX62576
Как оно тру и фолс одновременно

Croessmah · 18.08.2017, 15:15

Сообщение от Undisputed

Как оно тру и фолс одновременно

То есть другой случай, в котором оно не true и не false понятен?
В этом случае тот же самый принцип.

@TRam_ · 18.08.2017, 15:23

Undisputed, потому что true в С++ обычно компилируется как 1, а у тебя в байт переменной типа bool записывается 10 . 1 == 10 имеет значение false.

@Undisputed · 18.08.2017, 15:47 **[ТС]**

Croessmah,
В том случае где не тру и не фолс понятно т.к там бывает мусор который как бы не тру и не фолс... Данных вообще нет. Даже нулей...
А здесь именно что есть данные, поэтому не понятно...

TRam_,
Сложно верится в такую интерпретацию, объясню почему:
Фолс насколько я понимаю бывает только в том случае когда все биты нулевые(то есть число 0), во всех остальных случаях должно быть true, или не так?
В данном случае мы записали в булеву переменную биты числа 10, а значит не все биты у нас нулевые. Поэтому не понятно почему сравнение с фолсом возвращает истину

@hoggy · 18.08.2017, 16:16

Сообщение от Undisputed

Сложно верится в такую интерпретацию

господин TRam_ абсолютно прав.
true == 1
false == 0

это вполне четко определенные константы

в то время, как bool обычно занимает 1 байт.
в 1 байте обычно 8 бит.
это - 256 различных значений.

если загнать по адресу булевой переменной всякий мусор
(или просто оставить её не инициализированной)

то в этом байте получим все что угодно,
но скорее всего не 1 и не 0

Сообщение от Undisputed

Фолс насколько я понимаю бывает только в том случае когда все биты нулевые(то есть число 0), во всех остальных случаях должно быть true, или не так?

именно так.
true - все что не false.

если мы сделаем:

C++
1
bool b = 10; // stored true

то в переменную запишется 1, а не 10

@liv · 18.08.2017, 16:17

Undisputed, Вы путаете два момента:
1) Когда само число интерпретируется, как логическое выражение.
Если написать if (10), то получим истину, т.к. 10 != 0, и if(0) даст ложь
2) Когда происходит сравнение числа с чем-то, тогда логическим выражением будет результат сравнения.
if (true == 10) даст ложь, т.к. 1 != 10. И if (false == 10) также даст ложь, ибо и 0 != 10

Ваша программка вообще-то не выведет ничего, т.к. оба условия ложны

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Desktop (MinGW): Создаём пустое окно с нуля для 2D-графики на SDL3, Си и C++ 8Observer8 10.03.2026 Содержание блога Финальные проекты на Си и на C++: hello-sdl3-c. zip hello-sdl3-cpp. zip Результат:	Установка CMake и MinGW 13.1 для сборки С и C++ приложений из консоли и из Qt Creator в EXE 8Observer8 10.03.2026 Содержание блога MinGW - это коллекция инструментов для сборки приложений в EXE. CMake - это система сборки приложений. Здесь описаны базовые шаги для старта программирования с помощью CMake и. . .	Как дизайн сайта влияет на конверсию: 7 решений, которые реально повышают заявки Neotwalker 08.03.2026 Многие до сих пор воспринимают дизайн сайта как “красивую оболочку”. На практике всё иначе: дизайн напрямую влияет на то, оставит человек заявку или уйдёт через несколько секунд. Даже если у вас. . .	Модульная разработка через nuget packages DevAlt 07.03.2026 Сложившийся в . Net-среде способ разработки чаще всего предполагает монорепозиторий в котором находятся все исходники. При создании нового решения, мы просто добавляем нужные проекты и имеем. . .
Модульный подход на примере F# DevAlt 06.03.2026 В блоге дяди Боба наткнулся на такое определение: В этой книге («Подход, основанный на вариантах использования») Ивар утверждает, что архитектура программного обеспечения — это структуры,. . .	Управление камерой с помощью скрипта OrbitControls.js на Three.js: Вращение, зум и панорамирование 8Observer8 05.03.2026 Содержание блога Финальная демка в браузере работает на Desktop и мобильных браузерах. Итоговый код: orbit-controls-threejs-js. zip. Сканируйте QR-код на мобильном. Вращайте камеру одним пальцем,. . .	SDL3 для Web (WebAssembly): Синхронизация спрайтов SDL3 и тел Box2D 8Observer8 04.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-sync-physics-sprites-sdl3-c. zip На первой гифке отладочные линии отключены, а на второй включены:. . .	SDL3 для Web (WebAssembly): Идентификация объектов на Box2D v3 - использование userData и событий коллизий 8Observer8 02.03.2026 Содержание блога Финальная демка в браузере. Итоговый код: finish-collision-events-sdl3-c. zip Сканируйте QR-код на мобильном и вы увидите, что появится джойстик для управления главным героем. . . .

Использование неинициализированных переменных

Решение

Решение

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	18.08.2017, 13:18 [ТС]
	hoggy, А что там может быть непредсказуемого? Есть переменная, начальное значение которой равно нулю Можно плз пример? А то многие говорят что это плохо но почему именно не объясняется ) А что стандарт говорит по этому поводу? еще не помню где, но читал что такая запись int n{} гарантирует то что переменная будет иметь значение 0, даже если явно не прописать. И warning-ов при такой записи не бывает. Если значения по умолчанию у int-a нет, то откуда берётся этот ноль? 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	18.08.2017, 13:41 [ТС]
	Croessmah, Спасибо что объяснили! Подскажите ещё плиз по следующим вопросам: 1. Выходит на значение по умолчанию можно расчитывать только если мы используем пользовательский тип (экземпляр класса с явно определенным конструктором по умолчанию?) 2. Если мы не определим конструктор по умолчанию и у класса есть поля например int, float тогда там тоже будет мусор независимо от того объект был создан в стеке или куче? 3. Какие значения принимают базовые типы при использовании фигурных скобок? Если долго перечислять то можно плз ссылку где можно об этом прочитать? 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	18.08.2017, 15:00 [ТС]
	Croessmah, Спасибо) Но вот тут я ни разу не понял http://rextester.com/RRJX62576 Как оно тру и фолс одновременно 0

@TRam_ зомбяк 1585 / 1219 / 345 Регистрация: 14.05.2017 Сообщений: 3,940
	18.08.2017, 15:23
	Undisputed, потому что true в С++ обычно компилируется как 1, а у тебя в байт переменной типа bool записывается 10 . `1 == 10` имеет значение false. 0

@Undisputed 901 / 478 / 93 Регистрация: 10.06.2014 Сообщений: 2,700
	18.08.2017, 15:47 [ТС]
	Croessmah, В том случае где не тру и не фолс понятно т.к там бывает мусор который как бы не тру и не фолс... Данных вообще нет. Даже нулей... А здесь именно что есть данные, поэтому не понятно... TRam_, Сложно верится в такую интерпретацию, объясню почему: Фолс насколько я понимаю бывает только в том случае когда все биты нулевые(то есть число 0), во всех остальных случаях должно быть true, или не так? В данном случае мы записали в булеву переменную биты числа 10, а значит не все биты у нас нулевые. Поэтому не понятно почему сравнение с фолсом возвращает истину 0

@liv 5120 / 4574 / 855 Регистрация: 07.10.2015 Сообщений: 9,462
	18.08.2017, 16:17
	Undisputed, Вы путаете два момента: 1) Когда само число интерпретируется, как логическое выражение. Если написать if (10), то получим истину, т.к. 10 != 0, и if(0) даст ложь 2) Когда происходит сравнение числа с чем-то, тогда логическим выражением будет результат сравнения. if (true == 10) даст ложь, т.к. 1 != 10. И if (false == 10) также даст ложь, ибо и 0 != 10 Ваша программка вообще-то не выведет ничего, т.к. оба условия ложны 2