【中级】C++析构函数抛出异常

C++标准指出不能在析构函数里面抛出异常！理由呢？

理由一：可能造成资源泄露！

请看如下代码：

#include <stdio.h>

class A
{
public:
~A()
{
printf("~A()\n");
}
};

class SuperBase
{
public:
~SuperBase()
{
printf("~SuperBase()\n");
}
};

class Base : public SuperBase
{
public:
Base()
{
pi = new int;
}

~Base()
{
throw 0;
printf("deleting pi.\n");
delete pi;
}
private:
int *pi;
A a;
};

int main()
{
try
{
Base base;
}
catch(...)
{
printf("catch block.\n");
}
return 0;
}

输出是：

~A()
~SuperBase()
catch block.

可见在异常发生时，跟异常对象(base)相关的对象(a,base的SuperBase成分)的析构函数被调用，以释放资源，这如C++标准所说。不过，base对象中pi所指向的动态内存却并未释放，造成了内存泄露。那我们把Base的析构函数改成下面这样，

~Base()
{
printf("deleting pi.\n");
delete pi;
throw 0;
}

这样内存泄露问题不就解决了！这是不是意味着C++标准有问题，因为至少在这里抛出异常没造成什么副作用！看看下面的理由。

理由二：可能造成程序异常退出！

假设Base的析造函数已经改成上面的样子，执行以下代码看看！

int main()
{
try
{
Base base0;
Base base1;
}
catch(...)
{
printf("catch block.\n");
}

printf("get here.\n");
return 0;
}

贴上在g++中的输出：

deleting pi.
~A()
~SuperBase()
deleting pi.
~A()
~SuperBase()
terminate called after throwing an instance of 'int'

This application has requested the Runtime to terminate it in an unusual way.
Please contact the application's support team for more information.

可见在异常发生时对象相关的资源都被释放了，因为相应的析构函数被调用了，动态分配的内存被释放了！可是异常却没有得到处理！在try块中明明把会抛出异常的代码给包围了，发生异常时却并未进入catch块中！因为并未输出“catch block.”，我们可以断定程序在try块中异常退出！为什么？

因为C++的异常处理模型不能同时处理两次以上的异常！如果两个以上的异常同时抛出，那么程序就调用terminate()函数自杀，这种情况是极难调试的！那么我们try块里面的代码抛出了几次异常？答案是2次。在try块的结尾处，首先会执行base1.Base::~Base()，在其中抛出了异常，此时程序会找匹配的catch块，在这里我们提供了一个，因此可以找到，在进入catch块之前，try块中在异常发生前创建的局部对象必须被销毁，因此又会调用base0.Base::~Base()，在其中又抛出了异常，此时程序中有2个未被处理的异常，因此调用terminate()结束程序。这也就限制了Base对象放到数组，vector，list等容器中，所以要避免在析构函数中抛出异常，如果析构函数中调用的函数可能会抛出异常，可以选择在析构函数内部把这些异常处理掉，像下面这样：

Base::~Base()
{
try
{
call functions throwing exception.
}
catch(...)
{
}
}