Почему компилятор отмечает деструкторы с ключевым словом noexcept?

В C++ деструкторы по умолчанию считаются noexcept(true), то есть они не должны выбрасывать исключения. Это важно, потому что если деструктор выбросит исключение во время обработки другого исключения (например, при выходе из блока try), то программа вызовет std::terminate().

Отметка деструктора как noexcept позволяет компилятору и стандартной библиотеке оптимизировать код и гарантировать безопасность при уничтожении объектов. Если деструктор может выбросить исключение, это нужно явно указать, но это крайне не рекомендуется.

Пример:

class MyClass {
public:
    ~MyClass() noexcept { // гарантируем, что исключения не выбрасываются
        // очистка ресурсов
    }
};