析构函数中抛出未处理异常：是UB还是可能导致UB？

先给结论：析构函数里抛出未处理的异常不是全程都是UB（未定义行为），它的行为完全取决于析构函数被调用的场景，大部分情况下标准都明确规定了结果。

一、完全符合标准的明确行为场景 #

1. 正常流程下调用析构函数（无栈展开） #

当对象是在正常程序执行中触发析构（比如局部变量出作用域、delete动态对象，且此时没有其他异常在传播），如果析构函数抛出未处理的异常，程序会直接调用std::terminate()终止。这是标准写死的行为，没有任何模糊空间，不属于UB。

举个例子：

#include <stdexcept>

class BadDtor {
public:
    ~BadDtor() {
        throw std::runtime_error("Oops from dtor");
    }
};

int main() {
    BadDtor obj; // 离开main作用域时调用析构
    return 0;
}

这段代码的结果是确定的：程序触发std::terminate()，默认执行std::abort()结束进程。

2. 栈展开时，但异常在析构内部被捕获 #

如果析构函数是在处理另一个异常的栈展开过程中被调用，但抛出的异常被析构函数自己捕获处理了，那程序会继续完成栈展开，不会终止，行为完全明确。

示例：

#include <iostream>
#include <stdexcept>

class SafeDtor {
public:
    ~SafeDtor() {
        try {
            throw std::runtime_error("Dtor exception");
        } catch (const std::exception& e) {
            std::cerr << "Handled in dtor: " << e.what() << '\n';
        }
    }
};

int main() {
    try {
        SafeDtor obj;
        throw std::runtime_error("Main exception");
    } catch (const std::exception& e) {
        std::cerr << "Handled in main: " << e.what() << '\n';
    }
    return 0;
}

这段代码会先输出析构里的捕获信息，再输出main里的捕获信息，最后正常退出，没有任何意外。

二、触发终止但仍属明确行为的场景 #

当析构函数是在**栈展开（也就是已经有一个未处理的异常在传播）**时被调用，且它抛出的异常没被内部捕获，标准要求必须调用std::terminate()。这依然是明确的行为，不是UB——你甚至可以通过std::set_terminate()自定义终止逻辑，默认是调用std::abort()。

很多资料说的“可能导致UB”要么是误解，要么是指早年某些非标准编译器的行为，但在标准C++里，这种情况的结果是完全确定的。

三、有没有真正的UB场景？ #

严格来说，在标准C的范畴内，析构函数抛出未处理异常不会导致UB。所有情况要么触发std::terminate()，要么正常执行。如果说有模糊地带，那也是std::terminate()之后的操作系统级行为，但这不属于C标准管的范围，和析构函数本身的异常无关。

另外，要是你给析构函数加了noexcept标记但还是抛出了异常，一样会直接触发std::terminate()，这也是标准明确规定的，不是UB。

为什么大家都说别这么做？ #

不是因为UB，而是因为std::terminate()会直接杀死程序，导致资源没释放、数据没保存、事务没回滚等问题——完全是工程上的烂实践，不是语言层面的未定义行为。

内容的提问来源于stack exchange，提问作者NPS