关于for循环的Cyclomatic Complexity两种定义冲突的疑问

1. 两种定义的矛盾：别把圈复杂度和测试覆盖搞混 #

你提到的两个定义里，第二个是错误的。圈复杂度的标准定义是「代码控制流图中的独立路径数量」，而「覆盖所有代码所需的路径数」属于语句覆盖的测试指标，二者完全是不同维度的概念，这才是你觉得矛盾的根源。

拿for循环举例：

• 按圈复杂度的规则，它的控制流图有两条独立路径：① 条件不满足，直接跳过循环体；② 条件满足，进入循环体执行（不管循环跑多少次，只要进入过就属于这条路径），所以圈复杂度为2。
• 而语句覆盖只需要一条路径（进入循环至少一次）就能覆盖所有代码行，这和圈复杂度的计算逻辑不冲突，只是衡量的目标不一样。

2. for循环的控制流图到底是什么样的 #

for循环的执行逻辑是先判断条件，对应的控制流图流程是：

• 先执行初始化语句（比如int i = 0;）
• 进入条件判断节点（比如i < n;）
  • 若判断为假：直接退出循环
  • 若判断为真：执行循环体，再执行更新语句（比如i++），然后回到条件判断节点
    不存在「从底部退出」的情况，最终的退出分支始终是条件判断的「假」分支——你直觉里的「底部退出」，其实是循环体执行完后回到判断节点的流程，而非最终的退出路径。

内容的提问来源于stack exchange，提问作者Mikel Solaguren