C++ 中的 noexcept 如何改变程序集？

Question

C++ 中的 noexcept 如何改变程序集？我在 godbolt 中尝试了一些小功能，但程序集没有改变。

float pi() 
//noexcept // no difference
{ return 3.14; }

int main(){
    float b{0};
    b = pi();
    return 0;
}

我正在寻找一个最小的工作示例，在其中我可以看到由于noexcept.

Answer 1

可以构建非常简单的示例，直接涉及析构函数而不是对noexcept状态进行内省：

void a(int);
void b() noexcept;
void c(int i) {
  struct A {
    int i;
    ~A() {a(i);}
  } a={i};
  b();
  a.i=1;
}

在这里，允许忽略调用者中noexcept的初始化，因为析构函数无法观察到它。a

struct B {~B();};
void f();
void g() noexcept {
  B b1;
  f();
  B b2;
}

这里，允许省略被调用者noexcept抛出异常时所需的帧信息。这取决于（非常常见的）调用时不展开堆栈的决定。std::terminate