Может ли неинициализированный bool привести к краху программы в C++?

Да, стандарт C++ допускает крах программы из-за неинициализированного bool

Короткий ответ: да, неинициализированный bool может вызвать крах программы, и это не теоретическая возможность, а реальная проблема, особенно при компиляции с оптимизациями (например, -O2 или -O3).

Проблема в том, что bool в C++ — это не просто "байт, который может быть 0 или 1". Стандарт требует, чтобы bool содержал только true (представлен как 1) или false (0). Любое другое значение в памяти, которое не равно 0 или 1, является нарушением инварианта типа. При неопределённом поведении компилятор имеет право предположить, что bool всегда корректен, и оптимизировать код соответствующим образом.

Рассмотрим реальный пример, который может привести к краху:

#include <iostream>
#include <cstring>

int main() {
    bool flag;
    // Намеренно записываем "мусор" в память через memcpy
    unsigned char raw = 2;  // Некорректное значение для bool
    std::memcpy(&flag, &raw, sizeof(flag));

    if (flag) {
        std::cout << "True" << std::endl;
    } else {
        std::cout << "False" << std::endl;
    }
    return 0;
}

Скомпилируем с Clang и оптимизацией -O2. Компилятор может сгенерировать код, который ведёт себя так:

• Проверяет, что flag равен 0 (false) или 1 (true).
• Если значение не 0 и не 1 — вызывает __builtin_trap(), что приводит к SIGABRT (аварийному завершению).

Почему компилятор это делает? Потому что стандарт говорит: программа с неопределённым поведением может делать что угодно, включая падение. Компиляторы LLVM/Clang активно используют это для оптимизаций. Например, в коде:

bool b; // не инициализирован
if (b) {
    // do_something()
} else {
    // do_other()
}

Компилятор может решить: "Раз b — это bool, и оно не инициализировано, то это UB, значит, я могу не генерировать проверку вообще, а просто перейти к любому пути, или даже удалить весь код". В результате программа может выдать неожиданный результат, зациклиться или упасть.

Более экстремальный пример — использование неинициализированного bool в switch:

void process(bool flag) {
    switch (flag) {
        case true:  /* ... */ break;
        case false: /* ... */ break;
        default:
            // Компилятор может удалить эту ветку,
            // считая, что она недостижима,
            // и тогда для некорректного значения
            // произойдёт неопределённое поведение
            __builtin_unreachable();
    }
}

Таким образом, опасность не в том, что bool сам по себе "взрывается", а в том, что компилятор использует факт неопределённого поведения для агрессивных оптимизаций, которые могут сделать программу непредсказуемой.

Как избежать проблемы?

• Всегда инициализируйте переменные: bool flag = false; или bool flag{};
• Используйте флаги компилятора -Wmaybe-uninitialized и -Werror для поимки таких ошибок.
• Для критичного кода используйте санитайзеры (-fsanitize=undefined), которые поймают UB на этапе выполнения.