时间戳

首页 > 解决方案 > C++ 中的 noexcept 如何改变程序集？

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

问题描述

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

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

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

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

标签： c++assemblycompiler-optimizationnoexcept

解决方案

可以构建非常简单的示例，这些示例直接涉及析构函数，而不是自省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

推荐阅读