分配内存后构造函数中未捕获的异常

Question

我已经阅读了 Michael Burr 关于引发异常的构造函数的精彩总结，这里：Will the below code cause memory leak in c++

我的问题是：从构造函数调用的函数引发异常时的行为是否相似？即，如果异常没有在抛出的地方被捕获，因此它会爬到构造函数并进一步爬到调用构造函数的函数。

我特别想知道该对象的类中包含的成员对象是什么，它们的析构函数会被调用吗？更具体地说，在我的例子中，它是关于 boost::shared_ptr 类型的成员。

考虑以下示例：

class A {
    A() { throw some_exception }
};

class B {
    B() { A a = new A(); }
};

class C {
    boost::shared_ptr<B> p2b;
    int i;
    int *pint;
    someclass objsomeclass;
    someclass* psomeclass;

public:
    C() {
        objsomeclass = someclass();
        psomeclass = new someclass();
        pint = new int(); 
        p2b(new B);
    }
};

void foo()
{
    C c();
}

main()
{
    foo();
}

p2a 的析构函数会被调用吗？ 如果您能指出一个涵盖此案例的适当且可靠的资源，我将不胜感激。

Answer 1

假设您更改代码使其编译，p2a（现在为p2b）的析构函数将被调用，因为它已成功默认构造。但是，它仍将保持 NULL，因为您尝试在 C::C 的正文中重置它失败。

new B 分配的内存将被堆栈展开过程自动清理。但是，pint 和 psomeclass 都会泄露，因为您没有为这些成员使用 RAII。

为了澄清，让我们单步执行代码：

C::C() {
    objsomeclass = someclass();

    psomeclass = new someclass();
    pint = new int();

    p2b.reset(new B);
    /* in your code as posted, the call sequence is:
       new B (allocate sizeof B)
         -> B::B
           -> new A (allocate sizeof A)
             -> A::A which throws
           <- new A failed, so memory is freed
         <- B::B failed (initialized subobjects would be
            destroyed here, but there are none)
       new B failed, so memory is freed
    */
}

请注意：

• 所有成员都已经默认初始化（因为您没有使用初始化列表），所以当C::C 的主体展开时，它们都会被销毁
• 如果psomeclass 和pint 是智能指针，这将释放它们动态分配的内存。他们不是，所以这被泄露了。

一般来说，使用初始化列表和 RAII 会更好。

作为参考，不妨从这篇（很老的）文章开始：GOTW 66