На фоне очередных споров о `strict aliasing` полезно помнить: в C++ алиасинг — это не про «тонкую оптимизацию»

На фоне очередных споров о `strict aliasing` полезно помнить: в C++ алиасинг — это не про «тонкую оптимизацию», а про границу между быстрым кодом и undefined behavior. История у проблемы длинная: стандарты и компиляторы годами пытались одновременно дать производительность и не сломать слишком много легаси, но идеального компромисса так и не нашли.

Сейчас ситуация знакомая для любых сложных систем: правила вроде есть, но реальные кейсы упираются в исключения, UB и пропозалы, которые должны были «закрыть вопрос», а в итоге только подсветили масштаб проблемы. Для разработчиков компиляторов это не абстракция, а ежедневная работа с тем, как далеко можно ехать на предположениях оптимизатора ⚙️