Question

我曾经认为在C ++中，如果构造函数抛出异常，则不会调用此“部分构造”类的析构函数。

但似乎在C ++ 11中它不再是真的：我用g ++编译了下面的代码，并将“X destructor”打印到控制台。这是为什么？

#include <exception>
#include <iostream>
#include <stdexcept>
using namespace std;

class X
{
public:
    X() : X(10)
    {
        throw runtime_error("Exception thrown in X::X()");    
    }
    X(int a)
    {
        cout << "X::X(" << a << ")" << endl;
    }
    ~X()
    {
        cout << "X destructor" << endl;
    }
};

int main()
{
    try
    {
        X x;
    }
    catch(const exception& e)
    {
        cerr << "*** ERROR: " << e.what() << endl;
    }
}

输出

Standard out:
X::X(10) 
X destructor
Standard error: 
*** ERROR: Exception thrown in X::X()

Answer 1

委托构造器确实是一个引入新破坏逻辑的新功能。

让我们重温一个对象的生命周期：当某些构造函数完成时，对象的生命周期就开始了。（参见15.2 / 2。标准将其称为“主要构造函数”。）在您的情况下，这是构造函数X(int)。第二个，委托构造函数X()现在只是一个普通的成员函数。在范围展开后，将调用所有完全构造的对象的析构函数，其中包括x。

这一点的含义实际上非常深刻：您现在可以将“复杂”工作负载放入构造函数中，并充分利用通常的异常传播，只要您将构造函数委托给另一个构造函数即可。这样的设计可以避免在不希望将大量工作放入常规构造函数时过去流行的各种“init”函数的需要。

定义您所看到的行为的特定语言是：

[C++11: 15.2/2]: [..] 同样，如果对象的非委托构造函数已完成执行并且该对象的委托构造函数以异常退出，将调用该对象的析构函数。 [..]

Answer 2

我曾经认为在C ++中，如果构造函数抛出异常，则不会调用此“部分构造”类的析构函数。

但似乎在C ++ 11中它不再是真的

这仍然是真的。自C ++ 03以来没有任何变化（对某些值没有;-)）

您认为仍然如此，但是当抛出异常时没有部分构造的对象。

C ++ 03 TC1标准说（强调我的）：

部分构造或部分销毁的对象将为其所有完全构造的子对象执行析构函数，即对于构造函数已完成执行并且析构函数尚未开始执行的子对象。

即。任何已完成构造函数的对象都将通过执行析构函数来销毁。这是一个很好的简单规则。

基本上相同的规则适用于C ++ 11：一旦X(int)返回，对象的“构造函数已完成执行”，因此它是完全构造的，因此它的析构函数将在适当的时间运行（当它超出范围或在其构建的后期阶段抛出异常时。）实质上它仍然是相同的规则。

委托构造函数的主体在另一个构造函数之后运行，并且可以执行额外的工作，但这不会更改对象构造已完成的事实，因此它是完全构造的。委托构造函数类似于派生类的构造函数，它在基类构造函数完成后执行更多代码。在某种意义上，你可以认为你的例子是这样的：

class X { public: X(int a) { cout << "X::X(" << a << ")" << endl; } ~X() { cout << "X destructor" << endl; } }; class X_delegating : X { public: X_delegating() : X(10) { throw runtime_error("Exception thrown in X::X()"); } };

它不是真的这样，只有一种类型，但它与X(int)构造函数运行的类似，然后委托构造函数中的其他代码运行，如果抛出<{1}}“基类”（实际上不是基类）被破坏了。

从构造函数抛出后调用析构函数

2 个答案: