pytest coverage为何未标记`if 0:`分支代码为未覆盖？

这不是工具bug，是对coverage检测机制的误解，根源在于Python的编译优化逻辑：

• Python解释器在编译阶段会做常量折叠优化：对于if 0:、if None:这类永远为假的常量条件，解释器会直接将分支内的代码从生成的字节码中移除——换句话说，这段代码根本不会进入运行时，自然不存在“未覆盖”的说法。
• coverage（pytest-cov底层依赖的工具）是基于字节码的执行情况统计覆盖率的，既然对应分支没有生成字节码，工具就不会将其标记为Miss。
• 而if a:这类变量条件，因为变量值在编译阶段无法确定，解释器不会做优化，分支代码会保留在字节码中，当测试未覆盖该分支时，就会被正确标记为Miss。

可以用Python的dis模块验证这个结论：执行dis.dis(dummy_func)查看函数字节码，会发现if 0:分支内的print语句没有对应的字节码指令，而if a:分支的代码指令是完整存在的。

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