函数式try/catch析构器异常重抛：是标准/编译器Bug吗？

你的代码中出现的差异，核心原因是C++标准对**析构函数的函数式try块（function-try-block）**有特殊的行为规定，而普通作用域内的try/catch块没有这个约束。

行为差异的本质 #

• 类B的析构函数使用的是函数体内部的普通try/catch块：捕获异常后仅输出信息，没有重新抛出，异常被完全处理，不会传播到析构函数外部，因此程序正常执行并输出16 ~B。
• 类A的析构函数使用的是函数式try/catch块：即使catch块捕获并处理了异常，标准要求如果catch块没有显式终止异常传播，当前捕获的异常会被隐式重新抛出。而你的析构函数声明了noexcept，在noexcept函数中抛出异常会直接触发std::terminate，这就是为什么类A的实例会导致程序终止。

C++标准的明确规定 #

根据C++标准（[except.handle]/15）：

若构造函数的函数式try块的处理程序中出现return语句，程序是病态的。否则，在构造函数或析构函数的函数式try块的最后一个处理程序执行完毕后，若异常未被处理程序捕获，则重新抛出该异常。

针对析构函数的场景，这条规则的核心是：函数式try块的catch块如果没有显式处理异常，异常会被自动重新抛出。而普通的try/catch块没有这个强制重抛的要求，捕获后不重新抛出则异常被终结。

代码层面的验证 #

如果在类A的catch块中显式添加throw;，结果和隐式重抛的行为完全一致，都会触发std::terminate；而析构函数的函数式try块无法通过常规手段避免这种隐式重抛——只要进入了catch块且没有特殊处理，就会触发重抛逻辑。

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