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

Question

在C ++中，noexcept如何更改程序集？我尝试了一些小功能，但使用了the assembly did not change。

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

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

我正在寻找一个最小的工作示例，其中可以看到由于noexcept而导致的程序集更改。

Answer 1

非常简单的示例can be constructed，它们直接涉及析构函数，而不是对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时不展开堆栈。