Mediumstack-unwinding

Что такое stack unwinding?

1Постановка

Разберём, что от вас хотят в этом вопросе и как к нему подступиться на собеседовании.

2Решение

Stack unwinding — при throw компилятор выходит из функций, вызывая деструкторы локальных объектов, пока не найдёт catch. Если достигнет main без обработчика — std::terminate.

void inner() {
    auto guard = std::make_unique<Widget>();  // деструктор ~Widget
    throw std::runtime_error("oops");        // запуск unwinding
}                                            // ~Widget вызовется здесь

Если во время unwinding деструктор бросит новое исключение (а старое ещё активно) — std::terminate. Поэтому деструкторы должны быть noexcept. Проверить, идёт ли unwinding, можно через std::uncaught_exceptions() (C++17).

3Как отвечать

  • Сначала уточните условия и ограничения, покажите аналитическое мышление.
  • Рассуждайте вслух — интервьюеру важен ход мысли, а не только финальный ответ.
  • Оцените сложность по времени и памяти (Big-O), если это алгоритмический вопрос.
💡

На реальном собеседовании Alffert подскажет развёрнутый ответ в реальном времени.