异常发生后，operator new 会破坏初始化的对象吗？

Question

我有一个类 A，它使用 new 在其构造函数中分配内存。 当我分配一大块 A 并且（当 new[] 正在初始化单个 A 时）其中一个抛出 std::bad_alloc 在他们的构造函数中？

operator new[] 是否会破坏已经初始化的对象？ 或者我有责任确保构造函数不会抛出异常？

编辑： new 的两次调用可能听起来令人困惑，所以这里有一段代码需要澄清：

class A
{
    int* mem;
public:
    A()
    {
        try
        {
            mem = new int[3];
        }
        catch(bad_alloc&)
        {
            throw 5;
        }
    }
    ~A()
    {
        delete[] mem;
    }
}

A* list = 0;

try
{
    list = new A[50000];
}
catch(int)
{
    // When I get here, did the new[] above call the destructors
    // of all the objects it managed to construct before one of them threw?
}

Answer 1

如果执行 new Foo() 并且 Foo 的构造函数抛出异常，那么相关operator new 分配的内存将被释放。如果 Foo 任何成员的构造函数成功，则将调用该成员的析构函数。

如果执行 new Foo[100]，并且第 42 个构造函数抛出异常，则所有已构造的 Foo 对象都会被销毁（按相反顺序）。

Answer 2

是的，任何已分配的对象都将被删除。为什么不自己尝试一下呢？

#include <iostream>
#include <stdexcept>

class A {
    static int n;
public:
    A()
    {
        ++n;
        std::cout << "construncting A no. " << n << "...";
        // let's pretend we allocate something here
        // with new and it fails
        if (n == 5) {
            std::cout << std::endl;
            throw std::bad_alloc();
        }
        std::cout << "done\n";
    }
    ~A()
    {
        --n;
        std::cout << "destructed A no. " << n << "\n";
    }
};

int A::n = 0;

int main()
{
    try {
        A* a = new A[10];
    }
    catch (std::bad_alloc& e) {
        std::cout << "caught an exception!\n";
    }
}

但是，构造函数抛出的实例的析构函数不会被调用（如果运行上面的代码，您可以看到）。尽管如此，此时构建的成员仍将被删除。例如，如果此构造函数抛出：

class foo {
    int i;
    bar* b;
public:
    foo() : i(42), b(new bar)
    {
        float f = 3.14;
        // something throws an exception here
    }
    ~foo()
    {
        delete b;
    }
};

i、b 和 f 将被删除，但分配的内存不会被释放（>delete b 不会被调用），并且你会遇到内存泄漏（使用智能指针可以轻松解决这个问题）。

有关详细信息，请参阅 C++FaqLite：

http://www.parashift.com/c++-faq-lite/freestore-mgmt.html#faq-16.10

http://www.parashift.com/c++-faq-lite/exceptions .html#faq-17.8

Answer 3

成员将被消灭。构造函数中的自动持续时间变量将超出范围并被正确销毁。

Answer 4

如果某些字段已使用其构造函数成功初始化，则将自动调用析构函数。