1

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

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
}

编辑

一个更详细的示例来说明 templatetypedef 答案:

#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 时,所有成功,构造函数和析构函数的调用顺序均符合预期。

4

1 回答 1

4

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

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

但是,有一个更简单的解决方案:不要使用new[]anddelete[]来分配数组。取而代之的是 use std::vector,它处理自己的所有分配和解除分配,并且不需要您照顾。:-)

希望这可以帮助!

于 2013-11-28T00:07:06.083 回答