Hardexception-spec

Что такое exception specification и почему dynamic-версия удалена?

1Постановка

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

2Решение

В C++98 были dynamic exception specifications: void f() throw(std::exception); — runtime-проверяемый список бросаемых типов. Удалены в C++17 за бесполезностью.

// C++98 — dynamic spec (УДАЛЕНО в C++17)
// void f() throw(std::runtime_error);  // runtime-проверка, overhead

// C++11+ — noexcept, compile-time, без overhead
void f() noexcept;          // не бросает
void g() noexcept(false);   // может бросать

Проблемы dynamic spec: runtime-проверка, overhead, несовместимость с шаблонами, на практике все писали throw() или ничего. noexcept — compile-time, без накладных, используется в SFINAE и оптимизациях.

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

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

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