为什么无法访问的代码在 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

Unreachable code 是一个警告，因为它没有必要是一个错误，此外，它并不总是很容易避免。

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

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

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

Why unreachable code isn't an error in C++?

c

c++

unreachable-code