73

我曾经认为在 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()
4

2 回答 2

82

委托构造函数确实是一个新特性，它引入了新的销毁逻辑。

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

这实际上是非常深刻的：您现在可以将“复杂”的工作负载放入构造函数中，并充分利用通常的异常传播，只要您将构造函数委托给另一个构造函数。这样的设计可以消除对各种“init”函数的需求，这些函数在不希望在常规构造函数中投入太多工作时曾经很流行。

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

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

于 2013-01-17T19:45:11.193 回答
26

我曾经认为在 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)构造函数运行类似，然后委托构造函数中的附加代码运行，如果这会抛出X“基类”（这不是真正的基类）被摧毁。

于 2013-01-18T00:06:06.080 回答