Erroneous behavior для неинициализированных чтенийErroneous Behavior for Uninitialized Reads

P2795 меняет, что происходит при чтении неинициализированной скалярной переменной с автоматическим временем жизни. Раньше это было неопределённое поведение (UB — может произойти что угодно). Теперь это "erroneous behavior" (EB): прочитанное значение определено как некое конкретное, неспецифицированное, но согласованное значение (ожидается, что реализации будут использовать легко узнаваемый "ловушечный" битовый паттерн), и реализациям предписано (или требуется) диагностировать это как баг — во время выполнения, через санитайзеры/отладочную инструментацию, а в некоторых режимах сборки даже по умолчанию — при этом это НЕ лицензия компилятору считать путь кода недостижимым и оптимизировать исходя из "этого не может произойти", как позволяет настоящий UB.P2795 changes what happens when you read an uninitialized automatic-storage-duration scalar variable. Previously this was undefined behavior (UB — anything could happen). Now it's "erroneous behavior" (EB): the value read is defined to be some specific, unspecified-but-consistent value (implementations are expected to use an easily recognizable "trap"-like bit pattern), and implementations are directed to (or required to) diagnose it as a bug — at runtime, via sanitizers/debug instrumentation, or even by default in some build modes — while this is NOT a license for the compiler to assume the code path is unreachable and optimize based on "this never happens", the way true UB permits.

bool is_ready;   // забыли инициализировать// forgot to initialize
// ... код, который должен был установить is_ready, но не сработал ...// ... code that was supposed to set is_ready, but didn't run ...

if (!is_ready) {
    abort_startup();   // теоретически компилятор мог счесть чтение UB// theoretically the compiler could treat the read as UB
}                         // и удалить всю проверку целиком// and remove the whole check entirely

bool is_ready;   // чтение ниже — erroneous behavior, не UB// the read below is erroneous behavior, not UB

if (!is_ready) {
    abort_startup();   // значение конкретное (пусть и неверное) — ветка реально проверяется// value is concrete (if wrong) — the branch is genuinely evaluated
}                         // плюс санитайзер вправе тут же сообщить об ошибке// plus a sanitizer is entitled to flag this as a bug right here

Простое чтение до присваивания: int x; use(x); — до C++26 это UB (буквально что угодно допустимо); после — x читается как некое конкретное erroneous-but-defined значение, и от санитайзера/рантайм-проверки ожидается умение пометить это чтение как баг даже в оптимизированной сборке, в отличие от сегодняшнего дня, где для этого нужна специально инструментированная сборка (MemorySanitizer). Важная оговорка по области действия: это НЕ распространяется на память, полученную через new/malloc, и не касается игр с объединениями (unions) или reinterpret_cast — область действия — именно скалярные переменные с автоматическим временем жизни, и это честно ограниченная область, а не решение всех проблем неинициализированной памяти сразу.A simple read before assignment: int x; use(x); — before C++26 this is UB (literally anything is permitted); after, x reads as some specific erroneous-but-defined value, and a sanitizer/runtime check is expected to be able to flag this read as a bug even in an optimized build, unlike today where this requires a specially instrumented build (MemorySanitizer). An important scoping note: this deliberately does NOT apply to memory obtained via new/malloc, and doesn't touch union or reinterpret_cast type games — the scope is specifically automatic-storage-duration scalars, and this is honestly a limited scope, not a fix for every uninitialized-memory problem at once.

void use(int v);

void demo() {
    int x;          // не инициализирован// not initialized
    use(x);       // erroneous behavior: конкретное, но неверное значение, а не UB// erroneous behavior: a concrete but wrong value, not UB

    int* heap_x = new int;
    use(*heap_x);  // вне области действия EB — это по-прежнему классическое UB// outside EB's scope — this is still classical UB
}

• WG21 P2795 — Erroneous behavior for uninitialized reads
• cppreference — Undefined behavior