Mediumoverflow
Что такое signed integer overflow в C++?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
В C++ signed integer overflow — UB. Компилятор может считать, что переполнения нет, и убирать проверки. Для unsigned определено как wrap-around (по модулю 2ⁿ).
// Компилятор может убрать проверку (предполагает, что переполнения нет)
bool safe_add(int a, int b) {
if (a > 0 && b > 0 && a + b < 0) return false; // может быть удалено!
return true;
}
// Правильная проверка ДО операции
bool safe_add_ok(int a, int b) {
if (b > 0 && a > INT_MAX - b) return false;
if (b < 0 && a < INT_MIN - b) return false;
return true;
}Альтернативы: __builtin_add_overflow (GCC/Clang), std::add_sat (C++23, saturating), флаг -ftrapv, sanitizer -fsanitize=signed-integer-overflow.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.