Mediumисключения

Что такое noexcept-функция?

1Постановка

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

2Решение

noexcept — спецификация, что функция не бросает исключений. Если noexcept-функция бросает — вызывается std::terminate. Это даёт оптимизации и влияет на семантику STL.

void safe() noexcept {
    // компилятор не генерирует код раскрутки стека — быстрее
}

// Условный noexcept: noexcept если g() noexcept
template<class T>
void wrapper(T&& x) noexcept(noexcept(g(std::forward<T>(x))));
  • noexcept move-конструктор заставляет vector использовать move при reallocation (иначе copy для strong exception safety);
  • noexcept по умолчанию у деструкторов, delete, default move-конструкторов;
  • Помечать noexcept стоит обдуманно — нарушение ведёт к terminate.

noexcept(false) — явно «может бросать».

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

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

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