1.83、C++析构函数可以抛出异常吗？

不建议析构函数抛异常的核心原因

1. 资源释放风险

析构函数通常用于释放资源（内存、文件句柄、网络连接等），如果析构函数抛出异常，异常传播会中断后续资源释放操作，导致资源泄漏。

2. 栈展开冲突

当程序因异常进行栈展开时，会调用对象的析构函数释放资源。如果此时析构函数又抛出异常，会导致两个异常同时传播，C++运行时无法处理，最终调用std::terminate()导致程序崩溃。

3. 异常安全性差

析构函数是异常处理机制的一部分，设计上应保证析构函数不会抛出异常，否则会破坏异常安全性，增加调试和维护难度。

实践建议

1. 析构函数内捕获异常

如果析构函数调用的操作可能抛异常，应在析构函数内用try-catch捕获并处理，避免异常逃逸。例如：

~DBConn() {
    try {
        db.close();
    } catch (...) {
        // 记录日志或调用abort()，但不要抛出异常
    }
}

2. 提供显式关闭接口

将可能抛异常的操作放在普通成员函数中，由用户显式调用，析构函数只做兜底处理，防止异常传播。

3. 使用noexcept标记析构函数

C++11以后，析构函数默认是noexcept(true)，意味着如果析构函数抛异常，程序会直接终止。显式声明noexcept可以帮助编译器优化并提醒开发者注意异常安全。

总结

1. 1. 析构函数语法上可以抛异常，但绝不可让异常逃离析构函数。
2. 2. 抛异常会导致资源泄漏、程序崩溃等严重问题。
3. 3. 设计时应避免析构函数抛异常，必要时捕获异常并妥善处理。
4. 4. 将可能失败的操作放在析构函数外的普通成员函数中，让调用者处理异常。
   本文首发于【讳疾忌医-note】公众号，未经授权，不得转载。
   （加入我的知识星球，免费获取账号，解锁所有文章。）