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

Question

[proydakov]

#include <iostream>
#include <stdexcept>

class A
{
public:
    A()
    {
        std::cout << "A" << std::endl;
        fake();
    }

    virtual ~A()
    {
        throw std::runtime_error("Test ex in ~A()");
        std::cout << "~A" << std::endl;
    }

    void fake()
    {
        d();
    }

    virtual void d()
    {
        std::cout << "A::d()" << std::endl;
    }
};

class B : public A
{
public:
    B()
    {
        std::cout << "B" << std::endl;
        fake();
    }

    ~B()
    {
        std::cout << "~B" << std::endl;
    }

    virtual void d()
    {
        std::cout << "B::d()" << std::endl;
    }
};

class C : public B
{
public:
    C()
    {
        std::cout << "C" << std::endl;
        fake();
    }

    ~C()
    {
        throw std::runtime_error("Test ex in ~C()");
        std::cout << "~C" << std::endl;
    }

    virtual void d()
    {
        std::cout << "C::d()" << std::endl;
    }
};

int main( int argc, char *argv[] )
{
    try {
        {
            C object;
        }
    }
    catch (const std::exception& e) {
        std::cout << "catch: " << e.what() << std::endl;
    }

    return 0;
}

На выходе получаю:
Запускается /home/evgeny/develop/build-testcpp-Desktop_Qt_5_2_1_GCC_64bit-Debug/testcpp...
A
A::d()
B
B::d()
C
C::d()
~B
terminate called after throwing an instance of 'std::runtime_error'
what(): Test ex in ~A()
Программа неожиданно завершилась.
/home/evgeny/develop/build-testcpp-Desktop_Qt_5_2_1_GCC_64bit-Debug/testcpp завершился крахом

Как перехватить все исключения?

Answer 1

[Лолшто]

А потому что не надо выпускать исключения из деструктора - необходимо все их там же и ловить.

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

stackoverflow.com/questions/130117/throwing-except...

Answer 2

[xandox]

Ну для начала: вызывать виртуальные функции в конструкторе базового класса - так же плохо как и есть детей. Не обрабатывать возможные исключения в деструкторе - еще хуже.

Comments

[proydakov]

Я с вами согласен. При работе я всегда использую try/catch в деструкторах.
Вопрос из теории С++, такое обожают спрашивать на тестировании и собеседованиях.
Сегодня столкнулся с вопросами по этим двум темам и смог придумать case с двумя исключениями в деструкторах, который вынес мозг не одному мне. Теперь ищу способ корректно перехватить все исключения без try/catch в деструкторах.

[proydakov]

Либо я хочу увидеть текст в стандарте С++, который скажет что это невозможно.

[jcmvbkbc]

@proydakov C++98, C++2003: 15.2:3 If a destructor called during stack unwinding exits with an exception, terminate is called (15.5.1). So destructors should generally catch exceptions and not let them propagate out of the destructor.

У вас исключение выброшенное из ~C вызывает раскрутку стека, при которой оставшийся в живых подобъект класса B объекта c должен быть разрушен. В процессе своего разрушения он кидает исключение -- здравствуй terminate().