gpt4 book ai didi

c - "continue"和 "break"用于静态分析

转载 作者:太空宇宙 更新时间:2023-11-03 23:33:07 25 4
gpt4 key购买 nike

<分区>

我知道已经有很多关于 break 和 continue 是否应该被普遍认为是有害的讨论(底线或多或少取决于它;在某些情况下,它们提高了清晰度和可读性,但在其他情况下他们没有)。

假设一个新项目正在开始开发,计划每晚构建,包括运行静态分析器。避免(或强烈反对)使用 continuebreak 是项目编码指南的一部分,即使它会牺牲一点可读性并要求过多缩进?我最感兴趣的是这如何应用于 C 代码。

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

(当然,证明任意程序正确性的完整静态分析是一个不可判定的命题,因此请保留您对这方面的任何实践经验的回应,而不是理论上的不可能)

提前致谢!

25 4 0
Copyright 2021 - 2024 cfsdn All Rights Reserved 蜀ICP备2022000587号
广告合作:1813099741@qq.com 6ren.com