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已分配）会发生什么，但不构造函数 - ＆gt;他抛出异常是因为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()然后因为失败分配{{1}首先调用data3，然后在~bla2()中结束（不带 ~bla()），内存在基线上，就像在程序启动时一样。

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

Answer 1

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

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

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

希望这有帮助！

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

1 个答案: