C程序抛出异常后，执行顺序是怎样的一个复杂过程？

本文共计2990个文字，预计阅读时间需要12分钟。

1+分析函数中是否可以抛出异常。首先我们来看一个常见的问题，分析函数中是否可以抛出异常。答案：根据C++标准，析构函数不能直接抛出异常。原因在于，如果析构函数抛出异常，那么这个异常将无法被捕获，因为析构函数是在对象销毁时自动调用的，此时程序已经处于清理阶段，异常处理机制可能已经关闭。+C++异常处理模型是C++语言自身设计的一部分。

1 析构函数中是否可以抛出异常

首先我们看一个常见的问题，析构函数中是否可以抛出异常。答案是C++标准指明析构函数不能、也不应该抛出异常！

C++异常处理模型是为C++语言量身设计的，更进一步的说，它实际上也是为C++语言中面向对象而服务的。

C++异常处理模型最大的特点和优势就是对C++中的面向对象提供了最强大的无缝支持。

那么如果对象在运行期间出现了异常，C++异常处理模型有责任清除那些由于出现异常所导致的已经失效了的对象(也即对象超出了它原来的作用域)，并释放对象原来所分配的资源， 这就是调用这些对象的析构函数来完成释放资源的任务，所以从这个意义上说，析构函数已经变成了异常处理的一部分。

下面我们来看看析构函数中不能抛出异常的两个理由：

1）如果析构函数抛出异常，则异常点之后的程序不会执行，如果析构函数在异常点之后执行了某些必要的动作比如释放某些资源，则这些动作不会执行，会造成诸如资源泄漏的问题。

2）通常异常发生时，c++的机制会调用已经构造对象的析构函数来释放资源，此时若析构函数本身也抛出异常，则前一个异常尚未处理，又有新的异常，会造成程序崩溃的问题。

那么当无法保证在析构函数中不发生异常时， 该怎么办?

其实还是有很好办法来解决的。那就是把异常完全封装在析构函数内部，决不让异常抛出函数之外。