Mediumexception-safety
Что такое exception safety guarantees?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Четыре уровня гарантий безопасности исключений:
- Nothrow — не бросает (
noexcept): деструкторы,swap; - Strong (commit-rollback) — либо успех, либо состояние не меняется (copy-and-swap);
- Basic — при исключении объект валиден, нет утечек (RAII даёт «бесплатно»);
- No guarantee — недопустимо.
// Strong guarantee через copy-and-swap
Vector& operator=(Vector other) noexcept { // по значению (copy уже сделан)
swap(*this, other); // noexcept
return *this; // other очистится в деструкторе
}RAII даёт Basic бесплатно. Strong требует специальных усилий (транзакции, copy-and-swap).
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.