析构函数不能抛异常，因为在栈展开过程中若析构函数抛出新异常，会导致std::terminate()被调用，程序直接终止。当异常正在传播时，C++运行时会自动调用局部对象的析构函数以释放资源，此时若析构函数抛出异常且已有未处理异常存在，程序将无法继续正常执行，只能终止。这种行为使得在析构函数中抛异常极其危险。常见场景包括：catch块中抛出异常前局部对象析构、构造函数抛出异常导致部分构造对象析构、容器元素在异常发生时批量析构等。为避免此问题，应确保析构函数不抛出异常，而是通过记录日志、忽略不可恢复错误或将可能出错的操作移至普通成员函数（如提供close()接口）来处理错误。例如，FileHandler类将文件关闭操作放在close()函数中返回错误码，而析构函数仅调用fclose并忽略结果。C++标准库严格遵守该原则，所有标准容器和智能指针的析构函数均为noexcept，不抛异常。若自定义类型用于标准容器或智能指针，析构函数抛异常将破坏其稳定性。因此，保持析构函数“安静”是构建稳定C++程序的重要基础。
在C++中，析构函数中抛出异常是极其危险的行为，可能会导致程序终止或未定义行为。因此，有一个广泛接受的设计原则：析构函数绝不应该抛出异常。
为什么析构函数不能抛异常？
当一个异常正在传播过程中（例如，由于某个函数抛出异常），程序会开始栈展开（stack unwinding），自动调用局部对象的析构函数来释放资源。如果在这个过程中，某个析构函数又抛出新的异常，而此时已经有未处理的异常存在，C++运行时会调用std::terminate()，直接终止程序。
这意味着：一旦在栈展开期间析构函数抛出异常，程序几乎必然崩溃。
常见场景举例：
立即学习“C++免费学习笔记（深入）”；
- 在catch块中抛出异常前，局部对象被析构
- 异常从构造函数抛出，导致部分构造的对象被析构
- 容器元素在异常发生时被批量析构
如何安全处理析构中的错误？
虽然不能抛异常，但析构过程中仍可能发生错误（如文件关闭失败、网络连接断开异常等）。应采用以下策略：
- 记录日志：将错误信息写入日志，便于后续排查
- 忽略不可恢复错误：多数情况下，资源已无法挽救，强行处理无意义
- 提供单独的接口处理可能出错的操作：把可能失败的操作移到普通成员函数中，由用户显式调用
示例：
class FileHandler {public:
bool close() {
if (fclose(fp) != 0) {
log("Close failed");
return false;
}
return true;
}
~FileHandler() {
// 不抛异常，只尝试关闭
if (fp) {
fclose(fp); // 忽略返回值或记录日志
}
}
private:
FILE* fp;
};
标准库的实践
C++标准库中的所有析构函数都遵循这一原则。例如，std::vector、std::string、std::unique_ptr等类型的析构函数都是noexcept的，不会抛出异常。
如果你自定义的类型用于标准容器或智能指针，析构函数抛异常会破坏这些组件的稳定性。
基本上就这些。析构函数保持“安静”是稳定C++程序的重要基础。不复杂，但容易忽略。
