java - 使用逻辑或 (||) 测试 if 语句的覆盖率 - 对于 Java 的短路，JaCoCo 希望我覆盖的第四个条件是什么？

Question

这可能是一个相当简单的问题，但我不知所措......

我有一个如下的 if 语句:

if(TheEnum.A.equals(myEnum) || TheEnum.B.equals(myEnum))

TheEnum 可以是 A, B, C, ... G(不止 4 个选项)。

JaCoCo (SONAR) 告诉我这里有四个条件。那些是哪些？在这种情况下，我基本上不能测试整个集合吗

if(true || not_evaluated) => true
if(false || true) => true
if(false || false) => false

我很确定我不能专门测试if(true || true) 或如果(真||假)，因为短路评估不会走那么远......？

如果是这样，JaCoCo/Sonar 要我测试的第四个选项是什么？

Answer 1

你是对的，这段代码短路了。它被大致像这样编译成字节码(假设 Java 有 goto):

if(TheEnum.A.equals(myEnum)) goto ok;
if(!TheEnum.B.equals(myEnum)) goto end;
ok:
   // body of if statement
end:

因此，当 JaCoCo 分析字节码时，从它的角度来看，您有两个独立的检查:第一个 if 和第二个 if，这会生成四个可能的分支。您可能会认为这是一个 JaCoCo 错误，但我想要稳健地修复这个问题并不容易，而且也不会很令人不安，因此您可以接受它。