7

我正在和一些同事讨论当你在动态分配的类中抛出异常时会发生什么。我知道它malloc会被调用，然后是类的构造函数。构造函数永远不会返回，那么会发生什么malloc？

考虑以下示例：

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

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

void main()
{
    B *o = 0;
    try
    {
        o = new B;
    }
    catch(const char *)
    {
        cout << "ouch!" << endl;
    }
}

malloced 内存会发生什么o，它会泄漏吗？CRT 是否捕获构造函数的异常并释放内存？

干杯!
富有的

4

4 回答 4

10

打电话给

new B();

解决两件事：

  • 使用操作符 new() 进行分配（全局操作符或类特定操作符，可能是具有语法的放置操作符new (xxx) B()）
  • 调用构造函数。

如果构造函数抛出，则调用相应的运算符 delete。对应的删除是放置的情况是唯一调用放置删除运算符而不使用语法 ::operator delete() 的情况。 delete x;或者delete[] x;不要调用placement delete 操作符，并且没有与placement new 类似的语法来调用它们。

请注意，虽然不会调用 B 的析构函数，但已构造的子对象（成员或 B 和 B 的基类）将在调用 operator delete 之前被销毁。未调用的构造函数是 B 的构造函数。

于 2009-08-20T13:17:57.330 回答
6

当构造函数抛出异常时，释放new分配的内存，但不调用B类的析构函数。

于 2009-08-20T13:12:48.303 回答
2

在这种情况下，您的对象 o 实际上并没有被构造，并且由 new 分配的内存被释放。因此，析构函数不会被调用。所以你不需要打电话：

delete o;

一个有趣的设计模式是 RAII——资源获取即初始化。在这种模式中，您使用构造函数来封装资源的获取，并在析构函数中释放资源。如果无法获取资源，则在构造函数中抛出 - 就像您的示例一样。因此，如果你有一个有效的对象，你就有了资源。

如果对象被构造，那么你已经成功地获取了资源。这意味着在对象的生命周期内，您拥有该资源。当对象被删除时，资源被释放。如果对象从未被构造，那么您就永远不会获得资源。参见维基百科：

http://en.wikipedia.org/wiki/Resource_Acquisition_Is_Initialization

于 2009-08-20T13:22:48.540 回答
1

从 C++ 2003 标准 5.3.4/17 - 新：

如果上述对象初始化的任何部分通过抛出异常而终止并且可以找到合适的释放函数，则调用释放函数以释放构造对象的内存，之后异常继续在上下文中传播的新表达式。如果找不到明确匹配的解除分配函数，则传播异常不会导致对象的内存被释放。[注意：这适用于被调用的分配函数不分配内存的情况；否则，很可能导致内存泄漏。]

所以可能有也可能没有泄漏 - 这取决于是否可以找到合适的释放器（通常情况下，除非操作员 new/delete 已被覆盖）。如果有合适的释放器，编译器负责用于在构造函数抛出时调用它。

请注意，这与构造函数中获取的资源发生的情况或多或少无关，这是我第一次尝试回答所讨论的问题 - 并且是许多常见问题解答、文章和帖子中讨论的问题。

于 2009-11-04T17:13:43.037 回答