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

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

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

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

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

最佳答案

非常简单的例子 can be constructed 直接涉及析构函数而不是对 noexcept 状态的内省(introspection):

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 时不展开堆栈的(非常常见的)决定。

关于c++ - C++ 中的 noexcept 如何改变程序集？，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/56782171/