Когда и зачем на самом деле нужно использовать noexcept в C++?

Когда noexcept действительно важен: практическое руководство

Отличный вопрос! Вы правильно заметили противоречия — вокруг noexcept много мифов. Давайте разберёмся системно.

1. Деструкторы: пишите noexcept всегда

Вы правы: начиная с C++11, деструкторы неявно noexcept(true). Но есть нюанс: если деструктор может выбросить исключение (например, вызывает функцию с noexcept(false)), то он перестаёт быть noexcept. Явное указание noexcept защищает от случайных ошибок.

class FileWrapper {
public:
    ~FileWrapper() noexcept {  // Явно — хорошая практика
        if (file_) fclose(file_);
    }
};

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

2. Методы, которые не бросают: is_open()

Да, is_open() — идеальный кандидат. Он не выделяет память, не вызывает сложных операций. Помечайте его noexcept:

bool is_open() const noexcept { return file_ != nullptr; }

3. close() — сложный случай

Здесь ключевой момент: если вы не контролируете все возможные исключения, не помечайте noexcept. fclose() может вернуть EOF при ошибке, но вы решили не бросать — тогда метод гарантированно безопасен:

void close() noexcept {
    if (file_) {
        fclose(file_); // Игнорируем ошибку — сознательное решение
        file_ = nullptr;
    }
}

Важно: если позже вы решите бросать исключение из close(), удалите noexcept — иначе будет terminate().

4. Реальный выигрыш в производительности

noexcept даёт два преимущества:

• Оптимизация кода: компилятор может не генерировать код для раскрутки стека. Разница заметна на микро-бенчмарках (до 10-20% для часто вызываемых функций).
• Move-семантика: стандартные контейнеры (std::vector) используют move-конструкторы только если они noexcept. Иначе копируют — это может быть в 100 раз медленнее.

class BigData {
public:
    BigData(BigData&& other) noexcept { // Ключевое слово!
        data_ = std::move(other.data_);
    }
private:
    std::vector<int> data_;
};

std::vector<BigData> vec;
vec.push_back(BigData{}); // Без noexcept будет копирование!

Практические правила:

• Всегда: деструкторы, move-операции, swap, getters/простые проверки
• Часто: конструкторы с инициализацией POD-типов, методы, не выделяющие память
• Никогда: функции, которые вызывают new, throw, или сторонние библиотеки без гарантий
• С осторожностью: методы ввода-вывода, аллокаторы

Главный совет:

Начинайте с явного noexcept для всех методов, которые точно не бросают. Для остальных — анализируйте: если функция никогда не выбрасывала исключение в прошлом и не планирует — добавьте noexcept. Это документирует контракт и помогает компилятору. Но помните: удалить noexcept проще, чем добавить (это сломает ABI).

void Logger::log(const std::string& msg) noexcept {
    try {
        file_ << msg << std::endl;
    } catch (...) {
        std::cerr << "Log failed: " << msg << std::endl;
    }
}