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