Алиасинг в C++ — это как ретаргет по аудитории, которую вы «увидели» в отчёте, но на деле не идентифицировали.

Алиасинг в C++ — это как ретаргет по аудитории, которую вы «увидели» в отчёте, но на деле не идентифицировали.

Снаружи всё выглядит нормально: код компилируется, данные лежат в памяти, оптимизатор «помогает». А потом внезапно ловите поведение, которое нельзя воспроизвести стабильно. Потому что язык разрешает компилятору делать агрессивные предположения о том, какие указатели могут ссылаться на один и тот же участок памяти.

И вот контринтуитивный момент: чем сильнее вы доверяете очевидности, тем выше шанс сломаться. В C++ проблема алиасинга не «исправлялась» раз и навсегда — её просто пытались обойти новыми правилами, но без понимания границ UB это не работает.

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

Это тот случай, когда «пофиксили в стандарте» не значит «можно забыть».