Hardaliasing
Что такое strict aliasing rule?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Strict aliasing: обращаться к памяти через указатель несовместимого типа — UB. Компилятор предполагает, что int* и float* не указывают на одну память.
int x = 0x40490FDB;
// float* fp = (float*)&x; // UB: чтение int как float
// *fp = 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 подскажет развёрнутый ответ в реальном времени.