Что произойдет, если выбросить исключение из деструктора?

Выброс исключения из деструктора приводит к неопределенному поведению в C++. Если во время разворачивания стека (stack unwinding) из-за другого исключения вызывается деструктор, который также выбрасывает исключение, то программа аварийно завершится (как правило, вызовом std::terminate). Такая ситуация называется "двойная ошибка" (double fault).

Поэтому в деструкторах следует избегать выбрасывания исключений.

Возможные подходы к обработке ошибок в деструкторах:

• Перехватывать любые исключения внутри деструктора и игнорировать их или записывать сообщение об ошибке в журнал.
• Использовать флаг состояния объекта, чтобы деструктор вел себя по-разному в зависимости от того, находится ли объект в корректном состоянии.
• Предусмотреть отдельный метод close или release, который пользователь должен вызвать перед уничтожением объекта. Этот метод может выбрасывать исключения и выполнять действия, которые могут завершиться ошибкой. Деструктор в этом случае должен просто освобождать ресурсы, не вызывая потенциально сбойные операции.

Пример перехвата исключения в деструкторе:

cpp