C2007

项目不得含有不可达代码

Category: Required

Decidability: Undecidable

Scope: System

依据

如果一个程序未显示任何未定义行为，那么不可达代码不会被执行，也不会对程序输出的结果造成任何影响。 因此，不可达代码的存在可能暗示程序逻辑有错误。

登录查看完整文章