Кейс: C++-компилятор получает код с пересечением указателей и ожиданием «оно должно работать».

Кейс: C++-компилятор получает код с пересечением указателей и ожиданием «оно должно работать».

Контекст
Алиасинг памяти — это не про стиль кода, а про правила, по которым компилятор решает: можно ли считать два доступа независимыми. Ошибка в этой зоне = undefined behavior, который всплывает не сразу, а в релизе, под оптимизациями, на другой архитектуре.

Действие
Разобрали эволюцию правила: от старых допущений к текущему strict aliasing и к тому, что комитет языка пытается закрыть будущими изменениями. Отдельно смотрят на похожие случаи в других языках и на пропозалы, которые обещали «убрать класс проблем», но по факту лишь сузили поверхность риска.

Результат
Итог для ops-контекста простой: если код опирается на неявное пересечение типов, SLA на баги нарушается заранее. Проверка нужна не на этапе инцидента, а в регламенте разработки: где допустимы reinterpret_cast, кто ревьюит UB-зоны и как фиксируется совместимость с оптимизациями. ⚠️