C++中栈展开（stack unwinding）的实现机制及标准相关问题

一、是否属于标准范畴 #

栈展开是C++标准强制规定的核心异常处理特性，属于语言标准的一部分，是异常处理机制不可或缺的组成部分，标准明确了其核心行为规则。

二、实现机制 #

编译期准备 #

编译器会为每个包含可能抛出异常的函数生成额外的异常表（EH Table），其中记录了栈帧内所有自动存储期对象的生命周期范围、对应的析构函数调用地址，以及try/catch块的边界信息，这些信息会嵌入到可执行文件的特定段中。

运行期展开流程 #

当throw语句执行时，当前线程立即暂停正常执行流程，进入异常处理逻辑：

1. 编译器生成的异常分发器启动，开始遍历当前线程的调用栈。
2. 对每个栈帧，按构造的逆序调用其中所有已构造局部对象的析构函数，完成资源清理。
3. 同时检查当前栈帧是否包含匹配的catch块：如果找到，跳转到该catch块继续执行；若遍历完整个调用栈仍未找到匹配的catch，则调用std::terminate()终止程序。

线程与处理程序说明 #

栈展开是抛出异常的线程自身执行的同步操作，不属于内核中断处理程序。整个过程完全在用户态完成，由编译器配套的标准库（如GCC的libgcc_s、MSVC的CRT）提供的异常处理代码调度，不需要内核介入。

三、标准的强制保证 #

• 异常抛出后，所有已构造的自动存储期对象（局部非静态对象）必须被销毁，析构函数严格按构造的逆序调用。
• 栈展开过程中，如果某个析构函数抛出未被捕获的异常，会立即调用std::terminate()终止程序。
• 栈展开会在第一个匹配的catch块处停止，后续栈帧不会被展开。
• 被noexcept（C++11及以后）修饰的函数若抛出异常，会直接触发std::terminate()，不会执行栈展开。

四、实现相关的细节（标准未规定） #

• 异常表的具体存储格式：GCC/Clang使用DWARF标准的异常表格式，MSVC则基于Windows结构化异常处理（SEH）的信息结构，两者不兼容。
• 底层异常处理函数：GCC依赖_Unwind_RaiseException等libgcc_s库函数完成栈遍历，MSVC直接调用Windows系统的SEH相关API。
• 性能开销：不同实现的无异常路径性能差异明显——部分实现（如GCC的零开销异常模型）在无异常时完全不产生额外开销，而有些实现会在函数入口/出口加入少量检查逻辑。
• 调试支持：部分实现会将异常表与调试信息关联，方便调试工具追踪栈展开过程，但这不是标准要求的内容。

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