堆栈展开动态创建的对象，其构造函数也作用于堆

Question

当类的构造函数在堆上分配内存时，例如

class bla
{
    private:
        double *data;
        int size;

    public:
        bla(int s)
        {
            size = s;
            data = new double [size];
        }
        ~bla()
        {
            delete[] data;
        }
}

我有一个功能，例如

void f(bool huge)
{
    bla *ptr;
    if (huge)
        ptr = new bla(1e10);
    else
        ptr = new bla(1e2);

    //...

    delete ptr;
}

如果ptr = new bla(1e10)的分配是成功的（这意味着， data和size分配）而不是构造函数 - >他抛出异常，因为1e10是大的，会发生什么？ 我没有data = new double [size]的内存泄漏，但是我在堆上仍然存在double *data和int size的内存泄漏？ 或者他们是否通过堆栈展开清除？

我应该这样写得更好吗？：

void f(bool huge)
{
    bla *ptr = 0;
    try { ptr = new bla(1e10); }
    catch (...) { delete ptr; throw; }
}

和

class bla
{
    private:
        double *data = 0;
        // ... to not have an delete[] on a non-0 pointer
}

编辑 ：

一个更详细的例子来说明templatetypedefs anwswer：

#include <iostream>

using namespace std;

class bla2
{
private:
    double *data;

public:
    bla2 ()
    {
        cout << "inside bla2 constructor, enter to continue";
        cin.get();
        data = new double [2*256*256*256];
    }
    ~bla2 ()
    {
        cout << "inside bla2 destructor, enter to continue";
        cin.get();
        delete[] data;
    }
};

class bla
{
private:
    bla2 data1;
    double data2[2*256*256*256];
    double *data3;

public:
    bla ()
    {
        cout << "inside bla constructor, enter to continue";
        cin.get();
        data3 = new double [8*256*256*256]; // when only 1/4 as much -> then all success
    }
    ~bla ()
    {
        cout << "inside bla destructor, enter to continue";
        cin.get();
        delete[] data3;
    }
};

void main()
{
    bla *a;
    cout << "program start, enter to continue";
    cin.get();
    try { a = new bla; }
    catch (...) { cout << "inside catch, enter to continue"; cin.get(); exit(EXIT_FAILURE); }
    cout << "success on a, enter to continue";
    cin.get();
    delete a;
}

在这个例子中我可以很好地看到我的机器（Win7 4GB RAM）关于资源监视器，它如何首先进入bla2()然后bla()然后因为失败分配data3首先调用~bla2()然后结束（ 没有 ~bla() ）在catch(...) ，内存在基线上就像在程序启动时一样。

当我将data3元素的数量设置为仅1/4时，则所有成功，具有构造函数和析构函数的预期调用顺序。

Answer 1

在C ++中，如果new创建的对象的构造函数抛出异常，那么该语言将保证为该对象分配的内存将被释放。 这意味着您不应该捕获异常并释放内存，因为内存已经被释放，您将获得未定义的行为。

如果构造函数抛出异常，则不会调用该对象的析构函数。 在您的情况下，这不是问题 - 如果内部分配失败，将清除为阵列保留的内存并向外传播异常。 你不需要做任何花哨的事情。 但是，如果您有多个分配，您可能希望在构造函数中添加异常处理以捕获任何分配失败并适当地释放。

但是，有一个更简单的解决方案：不要使用new[]和delete[]来分配数组。 相反，使用std::vector ，它可以处理所有自己的分配和解除分配，并且不需要您的保姆。 :-)

希望这可以帮助！