Можно ли выбрасывать исключение из деструктора и ловить его?

Можно, но крайне не рекомендуется. Выброшенное исключение из деструктора может привести к неопределённому поведению, особенно если деструктор вызывается в процессе раскрутки стека из-за другого исключения.

cpp

Основные причины, почему не стоит выбрасывать исключения из деструкторов:

• Двойные исключения: Если деструктор вызывается во время обработки другого исключения (например, при раскрутке стека), выброс нового исключения приведет к одновременному существованию двух активных исключений, что является неопределённым поведением и частому вызову std::terminate().
• Неполная очистка ресурсов: Если в деструкторе происходит ошибка и выбрасывается исключение, последующие операции очистки в том же деструкторе могут не выполняться, приводя к утечкам ресурсов или другим проблемам.
• Сложное управление ошибками: Обработка исключений из деструкторов усложняет логику программы и затрудняет понимание потока выполнения.

В C++11 и новее деструкторы по умолчанию считаются noexcept, что означает, что они не должны выбрасывать исключения. Если деструктор noexcept выбрасывает исключение, происходит немедленный вызов std::terminate(). Чтобы разрешить деструктору выбрасывать исключения, его нужно явно объявить как noexcept(false).

cpp

Вместо выбрасывания исключений из деструктора, рекомендуется использовать следующие подходы для обработки ошибок при освобождении ресурсов:

• Возврат кода ошибки: Если деструктор может завершиться с ошибкой, структура может хранить флаг ошибки, который можно проверить после её удаления.
• Логирование: Регистрировать ошибки при очистке ресурсов в лог-файл или стандартный поток ошибок.
• Реализация функции close() или release(): Предоставить отдельную функцию для явного закрытия ресурса, которая может выбрасывать исключения, и вызвать её до выхода объекта из области видимости. RAII-объекты должны гарантировать освобождение ресурсов в своих деструкторах, даже если явный вызов close() не был сделан.

В целом, безопасный деструктор — это такой, который никогда не выбрасывает исключения, что является частью принципа RAII (Resource Acquisition Is Initialization).