编译器为noexcept函数生成异常处理代码的场景及标准规定问询

我有如下代码：

#include <cmath>
#include <stdexcept>
#include <vector>

void zoo(double& i) {
    std::vector<int> v(static_cast<std::size_t>(i));
}

void bar1(double& i) noexcept {
   ++i;
   zoo(i);
}

void foo1(double& i) noexcept {
   bar1(i);
}

void bar2(double& i) noexcept {
   i = std::sin(i) + std::cos(i) / std::exp(2*i);
}

void foo2(double& i) noexcept {
   bar2(i);
}

存在两个调用流程：

• foo1->bar1->zoo
• foo2->bar2

观察到的现象：

• 对于第二个流程，GCC和Clang都不生成异常处理代码（std::terminate相关），推测是因为优化器能确认sin/cos/exp不会抛出异常；
• 对于第一个流程，GCC不生成异常处理代码，但Clang会生成。

核心问题 #

C++标准是否明确这属于实现定义的细节，还是对此类场景下的处理方式有明确规定？

首先明确C++标准中关于noexcept函数的核心规则：

1. 如果标记为noexcept的函数内部抛出了异常，程序必须调用std::terminate，这是标准强制要求的行为。
2. 但编译器是否生成异常处理相关代码（比如触发std::terminate的逻辑），取决于编译器能否证明函数内部不会抛出异常——这部分属于编译器的优化空间，标准并未强制要求必须生成或不生成相关代码，属于实现定义的优化选择。

针对两个流程的具体分析：

• foo2->bar2流程：C++标准规定<cmath>中的数学函数（如sin/cos/exp）不会抛出异常（除非实现有特殊扩展，但标准默认要求它们不抛出）。因此编译器可以安全推断该流程不会触发异常，无需生成std::terminate相关代码，GCC和Clang的行为符合标准。
• foo1->bar1->zoo流程：zoo函数中创建std::vector时，如果static_cast<std::size_t>(i)的值导致内存分配失败，vector的构造函数会抛出std::bad_alloc异常。此时bar1是noexcept函数，按标准必须触发std::terminate。
  • GCC选择不生成异常处理代码，可能是基于优化假设（比如认为目标环境中内存分配不会失败），但这是编译器的优化决策，标准并未禁止——只要实际抛出异常时程序能正确调用std::terminate即可。
  • Clang生成异常处理代码，是严格遵循“确保异常抛出时触发std::terminate”的安全路径，同样符合标准。

总结：C++标准只规定了noexcept函数抛出异常时必须调用std::terminate的行为要求，但编译器如何实现这一要求（是否生成显式的异常处理代码）属于实现定义的细节，不同编译器可根据自身优化策略做出不同选择。

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