Перейти на PRO

Можно ли запретить функции выбрасывать исключение в C++?

Тип вопроса: C++ Core Вероятность: 25% Категория: C/C++ Разработчик

Ответ

Да, в C++ можно явно указать, что функция не должна выбрасывать исключения, с помощью спецификатора noexcept.

Синтаксис и семантика:

  • noexcept — гарантия, что функция не генерирует исключений.
  • noexcept(expression) — условная гарантия (появилась в C++11, улучшена в C++17).

Примеры:

// 1. Безусловная гарантия отсутствия исключений
void processBuffer(char* data, size_t size) noexcept {
    // Критический код, например, работа с памятью или системные вызовы.
    // Выброс исключения здесь вызовет std::terminate().
    std::memcpy(buffer, data, size);
}

// 2. Условная гарантия
template <typename T>
void swap(T& a, T& b) noexcept(std::is_nothrow_move_constructible_v<T> &&
                               std::is_nothrow_move_assignable_v<T>) {
    // Функция будет noexcept, если операции перемещения T не бросают исключений.
    T tmp = std::move(a);
    a = std::move(b);
    b = std::move(tmp);
}

// 3. Нарушение контракта (приведет к аварийному завершению)
void badFunction() noexcept {
    throw std::runtime_error("This will call std::terminate()!");
}

Практическое применение и почему это важно:

  1. Оптимизация: Компилятор может генерировать более эффективный код, зная, что внутри noexcept-функции не будет раскрутки стека из-за исключений. Это особенно важно для конструкторов перемещения, операторов присваивания перемещением и деструкторов.
  2. Гарантии безопасности: Используется в стандартной библиотеке. Например, std::vector будет использовать перемещающие операции вместо копирующих при реаллокации, только если они отмечены как noexcept, обеспечивая строгую гарантию безопасности исключений.
  3. Интерфейсный контракт: Явно сообщает пользователям кода о поведении функции, что помогает писать более надежные программы.

Важно: noexcept — это контракт, проверяемый во время выполнения. Компилятор не проверяет, действительно ли функция может выбросить исключение. Нарушение контракта приводит к вызову std::terminate().

Ответ 18+ 🔞

Да ты послушай, что за приколы в C++ бывают! Можно же функцию так обозвать, что она, типа, вообще исключения кидать не должна. Спецификатор noexcept называется. Ну, типа, железная гарантия, что внутри всё чисто, никаких сюрпризов.

Как это выглядит и что значит:

  • noexcept — это как клятва кровью, что функция не выкинет никакого исключения, ёпта.
  • noexcept(expression) — это уже хитрая жопа, условная клятва. Появилась в C++11, потом в C++17 её ещё доработали.

Смотри, как это в коде выглядит, реальные примеры:

// 1. Абсолютная гарантия, без вариантов
void processBuffer(char* data, size_t size) noexcept {
    // Тут какой-нибудь критичный код, с памятью возится.
    // Если вдруг исключение выскочит — сразу `std::terminate()`, конец истории.
    std::memcpy(buffer, data, size);
}

// 2. Гарантия с условиями, чтоб не обманули
template <typename T>
void swap(T& a, T& b) noexcept(std::is_nothrow_move_constructible_v<T> &&
                               std::is_nothrow_move_assignable_v<T>) {
    // Функция будет `noexcept` только если перемещение для типа T безопасное.
    // Иначе — доверия ебать ноль.
    T tmp = std::move(a);
    a = std::move(b);
    b = std::move(tmp);
}

// 3. Нарушение контракта — самоубийство
void badFunction() noexcept {
    throw std::runtime_error("Это вызовет std::terminate()!"); // Ну всё, приехали.
}

А зачем это всё, спрашиваешь? Сейчас объясню:

  1. Оптимизация, ёбана! Компилятор, когда видит noexcept, расслабляется и может сгенерировать код пошустрее, потому что не надо париться насчёт раскрутки стека для исключений. Особенно это важно для конструкторов перемещения и деструкторов — там каждый цикл на счету.
  2. Безопасность, мать её. Стандартная библиотека на это смотрит. Вот, например, std::vector. Когда ему надо переехать в новый дом (реаллокация), он будет использовать перемещение вместо копирования только если перемещение помечено как noexcept. Иначе он перестрахуется и скопирует всё, как последний трус. Потому что строгая гарантия безопасности исключений — это святое.
  3. Контракт для лбов. Ты просто явно говоришь всем, кто твой код использует: "Мужики, тут исключений не будет, можете спать спокойно". Это помогает не наступать на грабли и писать код надёжнее.

Но предупреждаю сразу, чувак: noexcept — это не просьба, а суровый контракт на исполнение. Компилятор тебе в глаза не заглянет и не проверит, кидаешь ты исключения или нет. Но если ты соврёшь и внутри noexcept-функции всё-таки кинется исключение — программа тут же накроется медным тазом через std::terminate(). Так что думай головой, прежде чем это писать.

© ХакСобесов, 2026
support@hacksobesov.com