Почему деструктору выдавать исключение — плохая идея? ⇐ C++

[Anonymous]

Я пытаюсь понять, почему деструкторы, выбрасывающие исключения, — очень плохая идея. Погуглив, я понимаю, что если деструктор выбрасывает, скажем, при уничтожении объектов блочной области, то разрушение объекта прекращается и мы получаем утечку памяти, если есть другие объекты, к которым деструкторы не вызвали.
Но сам по себе деструктор, выбрасывающий исключения, настолько плох? Например (полный пример):

Код: Выделить всё

struct A
{
int a;
char b;
A() : a(10), b('a') { }
~A(){ throw std::exception(); }
};

int main()
{
A a; //destructor throws, but there're no more objects to destruction
//therefore I think there's no memory leak
}

Получаем ли мы UB в программе выше?

Подробнее здесь: https://stackoverflow.com/questions/311 ... -exception