Когда использование throw в деструкторе в C++ приводит к неопределённому поведению?

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

А почему это пиздец? Ну представь: летит уже одно исключение, система начинает подчищать за тобой хвосты — вызывает деструкторы объектов. И тут бац — один из этих деструкторов подкидывает вторую гранату. И что делать бедному рантайму? Какое из двух исключений ловить? Он просто охуевает от такой наглости и убивает процесс нахуй. Доверия к таким деструкторам — ноль ебать.

Вот смотри, какой кривой код может написать какой-нибудь распиздяй:

#include <iostream>
#include <stdexcept>

struct ResourceHolder {
    ~ResourceHolder() noexcept(false) { // Явно разрешаем исключения – опасно!
        // ... какая-то очистка, которая может завершиться ошибкой
        throw std::runtime_error("Cleanup failed in destructor!");
    }
};

int main() {
    try {
        ResourceHolder rh;
        throw std::logic_error("Something went wrong in main logic"); // Первое исключение
        // Деструктор `rh` будет вызван при раскрутки стека.
        // Если он выбросит своё исключение -> вызовется std::terminate()
    } catch (const std::exception& e) {
        // Сюда мы, скорее всего, не попадём
        std::cout << "Caught: " << e.what() << std::endl;
    }
}
// Программа завершится через std::terminate()

Видишь эту мартышлюшку? Он явно написал noexcept(false), да ещё и в деструкторе исключение швыряет. Пока всё спокойно — может, и прокатит. Но как только в том же скоупе вылетит другое исключение и начнётся очистка — тут-то и прилетит std::terminate() тебе прямо в сраку. Удивление будет пиздец.

Так как же делать по-человечески? А вот как, запоминай:

1. Главное правило — не выёбывайся. Не бросай исключения в деструкторах. Вообще. Это как играть в русскую рулетку с полным барабаном.
2. Если что-то пошло не так при очистке — пиши в лог. Не можешь корректно закрыть файл или соединение? Запиши ошибку и иди дальше. В деструкторе ты уже ничего поделать не можешь, так что хотя бы залогируй, чтобы потом понять, откуда ноги растут.
3. Сделай отдельный метод для опасной очистки. Например, close(). Пусть он возвращает bool или кидает исключение, если что. А в деструкторе просто тихонечко пробуй освободить ресурс, и если не вышло — ну и хуй с ним, в рот мне чих-пых.

Вот смотри на более-менее адекватный пример:

struct SafeFile {
    FILE* handle = nullptr;

    bool close() { // Явный метод для обработки ошибок
        if (handle && fclose(handle) != 0) {
            // Логируем ошибку, но не бросаем исключение
            perror("fclose failed");
            return false;
        }
        handle = nullptr;
        return true;
    }

    ~SafeFile() noexcept { // Деструктор теперь безопасен
        if (handle) {
            // Игнорируем ошибку, так как в деструкторе мы бессильны
            fclose(handle);
        }
    }
};

Вот видишь разницу? Пользователь сначала может вызвать close(), проверить ошибку, и если всё ок — деструктор уже будет пустой. А если забудет вызвать — деструктор хоть как-то, молча, приберётся. Не идеально, но хотя бы не уронит всё к ебеням из-за двойного исключения. Э бошка думай, когда пишешь деструкторы, а то будет тебе волнение ебать при отладке.