HardaliasingUB
Что такое strict aliasing rule и почему его нарушение — UB?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Strict aliasing: обращаться к памяти через указатель несовместимого типа — UB. Компилятор оптимизирует, предполагая, что указатели разных типов не алиасят.
int x = 0x40490FDB;
// float* f = (float*)&x; // UB: чтение int как float
// *f = 1.0f; // ломает оптимизации, непредсказуемо
// Безопасные варианты type punning:
float f1;
std::memcpy(&f1, &x, sizeof(x)); // OK, компилятор оптимизирует
auto f2 = std::bit_cast<float>(x); // C++20, constexprАлиасить что угодно могут только char*/std::byte*. -fno-strict-aliasing отключает оптимизацию, но это костыль.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.