《more effective C++》条款10 防止构造函数里的资源泄露

时间:2023-03-09 16:50:01
《more effective C++》条款10 防止构造函数里的资源泄露

  构造函数也可能发生内存泄露,考虑如下程序:

 class A
{
public:
A(int *p)
{
if(p!=NULL) num=p;
else p=new int();
//do something
}
private:
int *num;
};

  假设在do something 处抛出异常了,那么即使有析构函数,也是不会执行的。在构造函数没有执行完全的对象是不会自动调用析构函数的,因为析构函数并不知道构造函数执行到哪了,会不会做的事多余了。而当异常没有被及时捕获的话,就会产生泄露了,且会抛异常到调用构造函数的地方。

  一个有用的方法是,将需要执行的部分先执行完,再抛出异常,并且及时捕获,再释放指针。大概类似如下模式:

 class A
{
public:
A()
{
try{
//do something1
//do something2
}
catch(...){
delete x1;
delete x2;
throw;
}
}
};

  如果类中定义了const成员呢?那就必须在构造函数的初始化表中直接初始化,而在此时出现异常了怎么办?有点难搞了,其实可以使用类似auto_ptr的对象来搞定,局部对象是肯定会被完好释放的。还有一种方法,初始化时是这样的A:X(X),Y(Y){}; 那么可以写一个成员函数,来代替X和Y,异常自然就可以在函数里处理了,但是这样的麻烦程度也增大了,为了初始化而已就开了两个函数来处理这些可能的异常。具体看P39.