本文主要是介绍【中级】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(...){}
}
这篇关于【中级】C++析构函数抛出异常的文章就介绍到这儿，希望我们推荐的文章对编程师们有所帮助！
