「繼續」，「分化」的靜態分析

Question

我知道已經有一個數字是否破發的討論，並繼續應普遍認爲是有害的（有底線的存在 - 或多或少 - 它依賴;在某些情況下，它們提高了清晰度和可讀性，但在其他情況下則不然）。

假設一個新項目開始發展，與每晚構建包括通過靜態分析儀運行的計劃。是否應該成爲項目編碼準則的一部分，以避免（或強烈阻止）使用continue和break，即使它可以犧牲一點可讀性並需要過度縮進？我最感興趣的是這如何適用於C代碼。

從本質上講，可以使用這些控制操作的顯著可能導致額外的假陰性的代碼靜態分析複雜化，否則將註冊一個潛在的故障，如果中斷或者繼續不習慣？

（當然，一個完整的靜態分析證明了aribtrary程序的正確性是不可判定的命題，所以請保持迴應任何動手有了這個，你有，而不是理論上的不可能性經驗）

謝謝提前！

Answer 1

我的直接反應是，你必須跳過的箍環，以避免break和continue可能會損害整個代碼，並使靜態分析（或其他許多事情）更困難。

這將取決於你正在處理的代碼，雖然確切的排序位。只是舉例來說，如果你有一些真的會爲switch語句最佳實施，對break禁止將基本上強迫你使用嵌套if/else S的會使得更加難以代碼正確分析，並根據情況，也很可能會對輸出代碼產生負面影響。