关于Gcovr统计C++代码覆盖率时if语句出现6个分支的疑问

你遇到的问题本质是Gcovr的分支覆盖率统计基于编译器生成的底层代码分支，而非代码语法层面的逻辑分支，具体原因如下：

当你写合并的if (a() && b())时，编译器会生成带短路求值的代码，这个过程会产生3个独立的判断分支点，每个分支点对应2个跳转方向，最终统计为6个分支：

• 第一个分支点：调用a()后判断返回值
  • 分支1：a()返回false → 直接跳过b()，进入if的“不执行”路径
  • 分支2：a()返回true → 继续调用b()
• 第二个分支点：调用b()后判断返回值
  • 分支3：b()返回false → 进入if的“不执行”路径
  • 分支4：b()返回true → 进入if的“执行”路径
• 第三个分支点：if的“执行”/“不执行”块执行完成后，跳转到后续代码的分支
  • 分支5：从“执行”块跳转出去
  • 分支6：从“不执行”块跳转出去

而当你拆分为两个独立的if语句时：

if (a()) {
    if (b()) {
        // ...
    }
}

每个if语句对应一个独立的判断分支点，每个分支点仅统计2个分支（返回真/假），且两个if的分支统计是分开的，所以整体分支数符合你直观的预期。

如果需要验证，可以直接用gcov -b命令查看详细的分支统计报告，里面会明确标注每个分支点对应的代码位置和跳转逻辑。

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