Исключение исключения в конструкторе производного класса. Почему деструктор класса называется деструктором класса, но не производным?

Question

#include <iostream> 
class A 
{ 
    public: 
    A() 
    { 
     std::cout << "A()" << std::endl; 
    } 

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

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

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


int main() 
{ 
    try 
    { 
     B b; 
    } 
    catch(std::exception & e) 
    { 
    } 
    return 0; 
} 

Приведенный выше код выхода,

A() 
~A() 

К тому времени, исключение выбрасывается, В был создан. Тогда почему деструктор B не называется?

Answer 1

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

Answer 2

Carlton дает верный ответ. Важное значение имеет эта конструкция (т. Е. Не вызывающая ректор на чем-либо, не полностью построенном). Любой класс C++ может содержать только один ресурс, защищенный деструктором. Например, это не будет работать:

class Ab 
{ 
public: 
      char *m_buff1; 
      char *m_buff2; 

      Ab() { m_buff1 = malloc(100); Xyz(); m_buff2 = malloc(200); } 
     ~Ab() { free(m_buff1); free(m_buff2); } 
}; 

В случае, если исключение произойдет между 2 попытки выделения - нет никакого способа узнать, что безопасно поле инициализируется, а что нет. Я приводил здесь простой пример, чтобы понять суть. Пожалуйста, не комментируйте, что сначала можно инициализировать поля с NULL. Если между mallocs произойдет исключение, первое распределение будет просто пропущено, потому что дескриптор не будет вызван.

Другими словами, лучше избегать конструкций, которые генерируют исключения из конструкторов. Лучше подумайте о том, что простой конструктор просто инициализирует поля данных и отдельный метод, который выделяет ресурсы, открывает соединения и т. Д.