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