在派生类构造函数中抛出异常。为什么调用基类析构函数而不调用派生类析构函数？

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 已经被创建。那么为什么不调用 B 的析构函数呢？

Answer 1

在构造函数返回之前，对象不会被认为是完全构造的，并且不会对不完整的对象调用析构函数。

Answer 2

卡尔顿给出了正确的答案。这种设计（即不对任何未完全构造的东西调用dector）具有重要的后果。任何 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 初始化字段。如果 malloc 之间发生异常 - 第一次分配将被简单地泄漏，因为不会调用 desctuctor。

换句话说，最好避免从构造函数中抛出异常的设计。最好考虑有一个简单的构造函数来初始化数据字段和一个分配资源、打开连接等的单独方法。