gcc/g++ 是否生成 if(false) 语句的主体？

Question

在 C++ 中，假设我有一个类似的函数

bool Aclass::func(){
   return true;
}

主要是这样调用的

 if(!func()) { 
    //do stuff 
 }

编译器会生成这些代码行吗？

Answer 1

像所有优化问题一样，它取决于编译器和给定的标志。话虽如此，如果提供了优化标志，一个体面的现代编译器将能够删除这样的死代码。尝试https://godbolt.org/ 亲自查看哪个编译器和哪些标志可以成功删除死代码。

Answer 2

编译步骤中的编译器会将这些代码行视为有效。例如，如果您在这些代码行中有错误，那么编译器将对其进行标记。因此例如，以下将无法编译

if (false) {
    auto s = std::string{1.0};
}

但大多数优化器不会在该源文件的编译形式中添加该代码。但是，如果需要，仍然会添加相关代码，例如

if (true) { ... } 
else { ... }

这里else语句的else代码本质上将被转换为

{
   ...
} 

当代码转换为其编译形式时。

---

@Yakk brings up a great point。不包含此类代码的编译器称为dead code elimination。但是，标签仍可用于获取正文代码。

---

另请注意，在这些情况下，表达式是在编译时求值的。然后，您可以使用来自 C++17 的新构造，称为 if constexpr。然而，正如我提到的，即使在运行时 ifs 的死代码中，编译器错误仍然存​​在，if constexprs 的情况有所不同，更多请阅读此处的代码示例http://en.cppreference.com/w/cpp/language/if#Constexpr_If 和此答案https://stackoverflow.com/a/38317834/5501675