C++的析构函数用于释放对象持有的资源，正常情况下不应该抛出异常，最核心的风险是栈展开阶段可能触发双重异常，直接导致程序终止。下面先了解相关的基础概念和场景。
栈展开的基本流程
当C++程序中抛出一个异常后，会暂停当前函数的执行，从异常抛出的点开始向上查找匹配的catch块。在查找过程中，会依次销毁当前作用域内所有已经构造完成的局部对象，这个过程就是栈展开。每个局部对象的析构函数会在对象生命周期结束时自动调用，这是栈展开的必经步骤。
栈展开的规则是严格按照对象构造的逆序执行析构，比如先构造的对象后析构，后构造的对象先析构。如果栈展开过程中某个析构函数抛出了异常，就会打断当前的栈展开流程，进入新的异常传播路径。
双重异常的产生原因
根据C++标准的规定，在栈展开的过程中，如果已经有一个异常正在传播，此时又有新的异常被抛出，就会出现双重异常的情况，程序会直接调用std::terminate终止运行，不会继续执行后续的异常处理逻辑。
最常见的场景就是析构函数在栈展开阶段抛出异常：假设某个函数内部抛出了异常，触发栈展开，需要调用局部对象的析构函数释放资源，如果某个析构函数内部又抛出了异常，此时就同时存在两个活跃异常，直接触发程序终止。
双重异常的示例代码
下面的代码可以直观展示这个问题：
#include <iostream>
#include <stdexcept>
class TestObj {
public:
~TestObj() {
// 析构函数抛出异常
throw std::runtime_error("析构函数中的异常");
}
};
void func() {
TestObj obj; // 局部对象，栈展开时会调用其析构函数
throw std::runtime_error("函数中的异常"); // 先抛出第一个异常
}
int main() {
try {
func();
} catch (const std::exception& e) {
std::cout << "捕获到异常: " << e.what() << std::endl;
}
return 0;
}
运行这段代码时，func函数先抛出第一个异常，触发栈展开，调用TestObj的析构函数，析构函数又抛出第二个异常，此时出现双重异常，程序会直接终止，不会执行main函数中的catch块，也不会输出任何异常信息。
析构函数抛异常的其他风险
除了双重异常的问题，析构函数抛出异常还会带来其他隐患：
- 如果析构函数抛出异常，可能导致后续的资源释放逻辑无法执行，造成资源泄漏，比如对象持有多个资源，第一个资源释放时抛出异常，后面的资源就不会被释放。
- 对于容器类对象，如果容器中元素的析构函数会抛出异常，在容器销毁或者清空元素时，也可能触发双重异常，导致程序崩溃。
- 异常传播过程中如果析构函数抛异常，会打乱正常的异常处理流程，让catch块无法正确捕获到最初的异常，增加问题排查的难度。
析构函数的异常处理规范
为了避免上述问题，C++中析构函数应该保证不抛出异常，或者捕获自身内部的所有异常，不让异常传播到析构函数外部。常见的做法有两种：
方法一：析构函数内部捕获所有异常
如果析构函数内部调用的操作可能抛出异常，就在析构函数内部用try-catch块捕获，避免异常向外传播：
#include <iostream>
#include <stdexcept>
class SafeObj {
public:
~SafeObj() {
try {
// 可能抛出异常的释放资源操作
throw std::runtime_error("资源释放异常");
} catch (const std::exception& e) {
// 记录异常信息，不向外传播
std::cerr << "析构函数捕获到异常: " << e.what() << std::endl;
}
}
};
方法二：将可能抛异常的操作移到普通成员函数
如果某个资源释放操作确实可能抛出异常，并且需要让调用方知道异常信息，就不要把这个操作放在析构函数中，而是提供一个单独的普通成员函数，让调用方主动调用并处理异常：
#include <stdexcept>
class ResourceObj {
public:
// 主动调用的释放资源函数，允许抛异常
void release() {
// 可能抛出异常的释放逻辑
throw std::runtime_error("释放资源失败");
}
// 析构函数不主动调用可能抛异常的操作，或者调用时捕获异常
~ResourceObj() {
try {
release();
} catch (...) {
// 忽略异常，避免传播
}
}
};
特殊情况说明
并不是所有场景下析构函数都绝对不能抛出异常，比如某些场景下析构函数抛出的异常不会被栈展开触发，比如对象是在全局作用域或者静态存储区构造的，其析构函数是在程序退出阶段调用，此时没有活跃的异常，抛出单个异常不会触发双重异常。但这种情况依然不推荐，因为会增加代码的维护成本，也不符合大多数开发者的预期。
总结来说，C++中尽量保证析构函数是异常安全的，不向外传播异常，这是避免双重异常和程序崩溃的核心原则，也是编写健壮C++代码的基本要求。