java - 为什么我违反了 SonarQube java 规则 "Zero should not be a possible denominator"

Question

以下代码

double total = 0.0;
//do something for total, anyway
return total < 10E-6 ? 0 : (1.0 / total);

然后 Sonar 指示我“在进行此除法之前确保“总计”不能为零。”。但是如果total为0，它甚至达不到1.0/total。这是 Sonar 错误还是我的错？

Answer 1

这不是错误，而是 SonarQube 用于检查代码(静态代码分析)的方法的固有局限性:SonarQube 通常无法评估表达式(假设条件取决于用户输入)，因此它无法知道“else”分支是否执行。

它所看到的只是将 total 初始化为 0.0，稍后您可能调用尝试除以 的代码total 而它仍然为零(它知道您没有向其中分配任何其他内容，或者找到了一个它仍然为零的分支)。