Mediumdestructorexception
Почему нельзя бросать исключения из деструктора?
1Постановка
Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.
2Решение
Если деструктор бросает исключение во время раскрутки стека от другого исключения (когда уже активно), вызывается std::terminate — программа падает.
~Buffer() {
if (!flush())
throw std::runtime_error("flush failed"); // ОПАСНО!
// Если мы в stack unwinding → std::terminate
}С C++11 деструкторы неявно noexcept. Если операция в деструкторе может неудачно завершиться:
- логировать и проглатывать ошибку;
- предоставить отдельный метод
close()/flush()с exception-интерфейсом, который пользователь вызывает явно до разрушения; - буферизировать ошибки для последующей обработки.
noexcept(false) в деструкторе — почти всегда плохая идея. Это объясняет, почему ~fstream не бросает: ошибка закрытия файла теряется.
3Как отвечать
- Сначала уточните условия и ограничения, покажите аналитическое мышление.
- Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
- Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡
На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.