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

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

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

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