Алиасинг памяти в C++ — это та самая зона, где компилятор делает вид, что верит вам на слово, а потом внезапно

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

Интересен не сам термин, а то, как он режет оптимизации и ломает интуицию даже у тех, кто пишет код не первый год. Отдельно прошлись по похожим случаям в других языках и по предложениям комитета: там уже не первый год пытаются чинить старую мина-ловушку, но без магии — только через аккуратные правила и совместимость. ⚙️

Для тех, кто живёт рядом с компиляторами, шаблонами и странным поведением на проде, это не академическая болтовня, а чистая анатомия UB.