静态分析的“继续”和“中断”[关闭]

Question

我知道，关于 break 和 continue 是否应该被视为一般有害的讨论已经进行了许多讨论（底线或多或少取决于它；在某些情况下，它们可以提高清晰度和可读性，但在其他情况下他们没有）。

假设一个新项目正在开始开发，计划进行夜间构建，包括通过静态分析器运行。它是否应该成为项目编码指南的一部分，以避免（或强烈反对）使用continue 和break，即使它会牺牲一点可读性并需要过多的缩进？我最感兴趣的是这如何应用于 C 代码。

本质上，这些控制运算符的使用是否会使代码的静态分析显着复杂化，从而可能导致额外的假阴性，否则如果不使用 break 或 continue 则会记录潜在的错误？

（当然，证明任意程序正确性的完整静态分析是一个无法确定的命题，因此请保留有关您所拥有的任何实践经验的回复，而不是理论上的不可能）

提前致谢！

Answer 1

我的直接反应是，为了避免 break 和 continue 而必须跳过的圈子可能会损害整个代码，并使静态分析（或其他任何事情）变得更加困难。

不过，这在一定程度上取决于您正在处理的代码的确切类型。举个例子，如果你有一些东西最好用switch 语句来实现，禁止break 基本上会迫使你使用嵌套的if/elses，这会使代码变得更加困难正确分析，并根据具体情况，很可能会对输出代码产生负面影响。