-fno-elide-constructors 是否包含在 -O0 或任何其他优化级别中？

Question

-fno-elide-constructors 是否包含在 -O0 或任何其他 -O[其他级别] 中？

在我看来，-fno-elide-constructors 是一个优化标志，-O 是优化级别。因此，某些 -O 级别可能包含标志 -fno-elide-constructors。 我说的对吗？

也就是说-fno-elide-constructors和-O..之间有什么关系吗？

Answer 1

也就是说，-fno-elide-constructors 之间是否有关系 和-O..？

是的，有一个关系，虽然很简单：gcc 很可能会忽略 -O0 级别的构造函数，除非您明确禁用它。证明见底部示例代码。

这很棘手，编译器可以做一些非常讨厌的事情，请参阅RVO force compilation error on failure。底线是：您始终需要检查生成的程序集以了解幕后实际发生的情况。

请记住（from Working Draft, Standard for Programming Language C++, N3797 这是我能找到的最接近 C++14 的近似值）：

12.8/31 当满足某些条件时，允许实现省略类对象的复制/移动构造，即使为复制/移动操作选择的构造函数和/或对象的析构函数有副作用. [...]

---

证实我的陈述的代码：

#include <cstdio>
constexpr int size = 1024;

struct A { int array[size] = { 0 }; };

int main() {
  A a = A();
  std::printf("%d\n", a.array[size-1]);
}

---

使用g++ -std=c++11 -Wall -O0 -S elide.cpp，在生成的汇编代码中只有一个

    call    A::A()

但是，g++ -std=c++11 -Wall -O0 -fno-elide-constructors -S elide.cpp 我得到：

    call    A::A()
    [...]
    call    A::A(A&&)

即使您使用-O0 禁用优化，如果您出于某种原因需要禁用它，您仍然必须另外禁用省略。