SonarQube - 布尔逻辑正确性 -

Question

我的方法 ma​​tches1() 的逻辑表达式有问题。

问题

SonarQube 告诉我有一个错误： (expectedGlobalRule == null && actual != null)

SonarQube： 更改此条件，使其不总是评估为 “真的”。 条件不应无条件地评估为“TRUE”或“FALSE”

我实际上是在执行此逻辑以避免“要执行的块”上出现 NPE。

我的代码

ma​​tches1()

private boolean matches1(GbRule actual, GbRule expected) {
     if(actual == null && expected == null) {
        return true;
     } else if((expected == null && actual != null) || (expected != null && actual == null)) {
        return false;
     } else {
       //Block to be executed
     }
}

我颠倒了逻辑，看看 SonarQube 会告诉我什么，他没有抱怨。 ma​​tches2()

private boolean matches2(GbRule actual, GbRule expected) {
      if(actual == null && expected == null) {
         return true;
      } else if(expected != null && actual != null)  {
         //Block to be executed
      } else {
         return false;
      }
}

问题

1. 问题出在我的布尔逻辑还是 SonarQube 丢失了 他的想法？
2. 如果问题出在 sonarQube 内部，我该如何解决？

Answer 1

问题在于 SonarQube。

有关忽略该问题的更多信息，请参阅本文：https://www.bsi-software.com/en/scout-blog/article/ignore-issues-on-multiple-criteria-in-sonarqube.html

您可以将其设置为忽略该文件中的错误。

它的要点是

打开设置（SonarQube 常规设置或项目设置）并 选择排除类别。切换到问题排除和 向下滚动到“忽略多个标准的问题”。鱿鱼套：S00112 作为规则键模式和 **/*Activator.java 作为文件路径模式。

您需要将规则键模式更改为与您的代码违反的规则关联的模式，并将文件模式更改为 .java 文件的路径。

Answer 2

即使代码正确；严重的是，它让我的眼睛受伤。事情是：阅读是困难。这种嵌套条件一开始就不该写。

如果无法避免；至少将其重构为类似

private boolean areActualAnedExpectedBothNull(args ...) {
  return actual == null && expectedGlobalRule == null;
}

请注意；您可以大大简化您的代码：

if (areActualAnedExpectedBothNull(actual, expected)) {
  return true;
}
if (actual == null) {
  return false;
}

if (expected == null) {
  return false;
}

do your thing ...

并在您的其他代码中使用此类方法。当然，你做了很多单元测试；可能有覆盖测量；只是为了确保您的测试真正测试通过这个迷宫的所有可能路径。

但是如前所述；你最好退后一步想想是否有办法避免一开始就编写这样的代码。

OO 编程中布尔值和 if/else 链的典型答案是多态性。所以不要询问它的状态；你转向接口/抽象类；并有不同的实现。然后你有一个工厂给你你需要的实现；然后你只需调用它的方法；不再需要 if/else/whatever。

如果您不知道我在说什么，请观看这​​些videos；尤其是第二个！

Answer 3

问题在于你的逻辑。让我们一块一块地看：

 if(actual == null && expected == null) {
    return true;

此时如果两个变量都是null，那么我们就不再在方法中了。因此，如果我们再进一步，那么其中至少有一个是非空的。

此时可行的选择是：

• 实际 = null，预期 = 非 null

• 实际 = 非空，预期 = 空

• 实际 = 非空，预期 = 非空

现在，让我们看下一段代码：

 } else if((expected == null && actual != null) 

我们已经知道这两个变量都不可能是null，所以只要知道expected == null，就不需要去测试是否是actual != null了。我们已经走到这一步的事实已经证明了这一点。所以actual != null 总是正确的，这就是提出问题的原因。

编辑

这意味着您的代码可以归结为：

private boolean matches1(GbRule actual, GbRule expected) {
  if(actual == null && expected == null) {
    return true;
  } else if(actual == null || expected == null) {
    return false;
  } 

  //Block to be executed
}

请注意，else 不是必需的，删除它会使代码更易于阅读。