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

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

#include <iostream>
#include <stdexcept>

struct Resource {
    ~Resource() {
        // Крайне не рекомендуется выбрасывать исключение из деструктора
        std::cerr << "Деструктор Resource вызывается." << std::endl;
        // throw std::runtime_error("Исключение из деструктора Resource");
    }
};

void func_with_exception() {
    Resource r;
    throw std::runtime_error("Исключение из func_with_exception");
}

int main() {
    try {
        func_with_exception();
    } catch (const std::exception& e) {
        // Если исключение выброшено из деструктора при раскрутке стека
        // здесь может произойти terminate() или другое неопределённое поведение.
        std::cerr << "Поймано исключение: " << e.what() << std::endl;
    }
    return 0;
}

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

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

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

#include <iostream>
#include <stdexcept>

struct ResourceMayThrow {
    ~ResourceMayThrow() noexcept(false) {
        std::cerr << "Деструктор ResourceMayThrow вызывается." << std::endl;
        // В данном случае исключение можно выбросить, но по-прежнему не рекомендуется
        // throw std::runtime_error("Исключение из деструктора ResourceMayThrow");
    }
};

int main() {
    try {
        ResourceMayThrow r;
        // Если здесь произойдет исключение, и деструктор также выбросит исключение,
        // это приведет к std::terminate().
    } catch (const std::exception& e) {
        std::cerr << "Поймано исключение в main: " << e.what() << std::endl;
    }
    return 0;
}

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

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

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