为什么无法访问的代码在 C++ 中不是错误？

Question

无法访问的代码是 Java 等语言中的编译时错误。 但为什么它只是 C++ & C 中的警告？ 考虑以下示例：

#include <iostream>
int f()
{ 
    int a=3;
    return a;
    int b=6;       // oops it is unreachable code
    std::cout<<b;  // program control never goes here
}
int main()
{
    std::cout<<f()<<'\n';
}

编译器不应该在这个程序中抛出错误，因为函数 f() 中的 return 语句之后的语句永远不会被执行吗？ 允许不可达代码的原因是什么？

Answer 1

无法访问的代码不是 C++ 中的编译错误，但通常会发出警告，具体取决于您的编译器和标志。 如果在检测到无法访问的代码时编译器停止，那么调试代码的选项就会减少，因为您还必须手动删除不必要的代码。

警告而不是错误是有意义的。 很高兴提到它，因为人们可能无意中将旧代码抛在了后面，但无论如何都没有理由不编译。

Answer 2

无法访问的代码是一个警告，因为它不需要是一个错误，此外，它并不总是很容易避免。

• 从宏扩展或检查常量的代码可能会导致无法访问的代码。
• 代码是否可达取决于预处理器定义（例如常见的跨平台开发）。
• 生成的代码可能会导致无法在生成阶段检测到的无法访问的代码。

此外，如果您希望这是一个错误，GCC 和 Clang 支持-Wunreachable-code ，因此您可以使用-Werror=unreachable-code