Зачем компилятор помечает деструктор как noexcept?

Деструктор помечается как noexcept по умолчанию в C++11 и последующих стандартах для обеспечения корректной работы механизма обработки исключений, особенно при раскрутке стека (stack unwinding).

Основные причины:

1. Предотвращение двойной ошибки: Если из деструктора во время раскрутки стека (вызванной другим исключением) выбрасывается новое исключение, это приводит к вызову std::terminate и аварийному завершению программы. Пометка noexcept указывает компилятору, что деструктор не должен выбрасывать исключений, предотвращая этот сценарий.
2. Оптимизация: Компилятор может выполнять больше оптимизаций, зная, что деструктор не выбросит исключение. Это позволяет более эффективно генерировать код, например, для освобождения ресурсов.
3. Корректная работа механизмов STL: Контейнеры стандартной библиотеки (например, std::vector) полагаются на то, что деструкторы их элементов не выбрасывают исключений. Это необходимо для обеспечения strong exception safety (строгой гарантии безопасности исключений) или basic exception safety (базовой гарантии безопасности исключений). Если деструктор члена контейнера выбросит исключение, контейнер окажется в некорректном состоянии.
4. Явная спецификация намерений: Пометка noexcept явно указывает намерение программиста, что деструктор не должен завершаться выбросом исключения. Если же исключение все-таки выбрасывается из деструктора, помеченного как noexcept, вызывается std::terminate.

Исключение: Спецификатор noexcept(false) явно указывает компилятору, что деструктор может выбросить исключение.

// Деструктор по умолчанию noexcept
class MyClass {
    // ...
    ~MyClass() {
        // Освобождение ресурсов
    } // noexcept по умолчанию
};

// Деструктор, явно помеченный как noexcept
class AnotherClass {
    // ...
    ~AnotherClass() noexcept {
        // Освобождение ресурсов
    } // Гарантированно noexcept
};

// Деструктор, который может выбросить исключение (очень редкий и опасный случай)
class DangerousClass {
    // ...
    ~DangerousClass() noexcept(false) {
        // Потенциально может выбросить исключение (крайне не рекомендуется)
        // Например, если освобождение ресурса может сбойнуть
    }
};