🤔 Когда при вызове exception не зовутся деструкторы?

В C++ деструкторы объектов вызываются автоматически при выходе из области видимости, даже если выход происходит из-за исключения. Однако есть ситуации, когда деструкторы могут не вызваться, что может привести к утечке ресурсов.

🟠Динамически выделенные объекты (`new`)
Если объект был создан с помощью new, но перед его удалением произошло исключение, деструктор не вызовется автоматически.

#include <iostream>

class A {
public:
    A() { std::cout << "Конструктор A\n"; }
    ~A() { std::cout << "Деструктор A\n"; }
};

void func() {
    A* obj = new A();  // Создаем объект динамически
    throw std::runtime_error("Ошибка!"); // Исключение, объект утечет
    delete obj; // Никогда не выполнится
}

int main() {
    try {
        func();
    } catch (...) {
        std::cout << "Исключение поймано\n";
    }
}

Как исправить?
Использовать std::unique_ptr, который автоматически удаляет объект

#include <memory>

void func() {
    std::unique_ptr<A> obj = std::make_unique<A>();
    throw std::runtime_error("Ошибка!"); // Деструктор вызовется автоматически
}

🟠Локальные объекты, созданные `new` внутри `try`, но `catch` не обработал исключение
Если объект выделяется внутри try, но исключение не ловится в catch, программа завершится (std::terminate), и деструкторы не вызовутся.

void func() {
    A* obj = new A();
    throw std::runtime_error("Ошибка!"); // std::terminate()
    delete obj;
}

int main() {
    func(); // Исключение не ловится => программа аварийно завершится
}

Как исправить?
Нужно обрабатывать исключение на верхнем уровне

int main() {
    try {
        func();
    } catch (...) {
        std::cout << "Ошибка обработана\n";
    }
}

🟠Исключение в конструкторе
Если исключение возникает в конструкторе, деструктор этого объекта не вызывается, но деструкторы уже созданных объектов будут вызваны.

class B {
public:
    B() { std::cout << "Конструктор B\n"; }
    ~B() { std::cout << "Деструктор B\n"; }
};

class A {
public:
    A() {
        std::cout << "Конструктор A\n";
        throw std::runtime_error("Ошибка в конструкторе A");
    }
    ~A() { std::cout << "Деструктор A\n"; } // Никогда не вызовется!
};

int main() {
    try {
        B b;
        A a;  // Исключение в конструкторе A
    } catch (...) {
        std::cout << "Исключение обработано\n";
    }
}

Вывод

Конструктор B
Конструктор A
Исключение обработано
Деструктор B

Как исправить?
- Использовать концепцию "умные указатели" (std::unique_ptr), чтобы ресурсы очищались автоматически.
- Переносить ресурсоемкие операции в отдельный метод (init()), который можно вызывать после конструктора.

🟠Исключение в деструкторе
Если деструктор объекта бросает исключение, это опасно, особенно если исключение возникло в момент обработки другого исключения.

class A {
public:
    ~A() {
        std::cout << "Деструктор A\n";
        throw std::runtime_error("Ошибка в деструкторе!"); // Ошибка
    }
};

int main() {
    try {
        A a;
        throw std::runtime_error("Основное исключение");
    } catch (...) {
        std::cout << "Исключение обработано\n";
    }
}

Как исправить?
Деструкторы не должны выбрасывать исключения. Если исключение возможно, его следует перехватывать внутри деструктора

class A {
public:
    ~A() {
        try {
            throw std::runtime_error("Ошибка в деструкторе!");
        } catch (...) {
            std::cout << "Ошибка подавлена в деструкторе\n";
        }
    }
};

Ставь 👍 и забирай 📚 Базу знаний