来自 PMD 的数据流异常分析警告

java pmd dataflow anomaly-detection

2022-09-01 23:24:39

我正在使用Eclipse和，并得到很多这样的违规行为：PMD Plug-in (4.0.0.v20130510-1000)

Found 'DD'-anomaly for variable 'freq' (lines '187'-'189').
Found 'DU'-anomaly for variable 'freq' (lines '189'-'333').

在这个SO答案中，它说这些异常与分配从不读取的值有关。但是在这种情况下，我得到了违规行为：

// here I get a DD anomaly
double freq = 0;
try {
  // here I get a DU anomaly
  freq = Double.parseDouble(getFrequencyTextField().getText());
} catch (final NumberFormatException e) {
  Log.e(e.getMessage());
}
if (freq < 10E6) doSomething();

如果我删除初始化并在块中添加一行，DD 异常会消失，但我在两个分配上都得到了 DU 异常。freq = 0;catch

现在我的问题是：我应该如何处理这个问题？PMD的首选解决方案是什么？这个规则到底试图阻止什么（即为什么它是不好的做法）？

答案 1

double freq; // (1)
try {
  // here I get a DU anomaly
  freq = Double.parseDouble(getFrequencyTextField().getText());
} catch (final NumberFormatException e) {
  Log.e(e.getMessage());
  freq = 0; // (2)
}
if (freq < 10E6) doSomething();

第一个问题是，在 catch 中，解析Double 赋值不是为了 freq 而完成的。在异常情况下，频率仍为 0。也许是可标记的。因此，当分配到内部捕获频率时，它会消失。

当在 catch （2）中分配到 freq 时，初始赋值（1）永远不会被读取，因此只有声明就足够了。

关于更好的风格：

try {
  // here I get a DU anomaly
  double freq = Double.parseDouble(getFrequencyTextField().getText());

  if (freq < 10E6) doSomething();
  ...

} catch (final NumberFormatException e) {
  Log.e(e.getMessage());
}

或者遵循@JoachimSauer的答案，使用不会引发异常的双重转换。日志记录将表明优先于上述样式的严重程度。在错误时，在简单的转换函数中记录可能不是很好的风格：太多的日志记录，忽略的日志记录（？），很难修复。

答案 2

您可以通过将解析提取到单独的方法中来解决此问题（并更清楚地分离问题）：

double freq = parseDouble(getFrequencyTextField().getText());

// later in the class (or in a utility class):

public static double parseDouble(final String input) {
  try {
    return Double.parseDouble(input);
  } catch (final NumberFormatException e) {
    Log.e(e.getMessage());
    return 0;
  }
}

如果具有不同的默认值，还可以添加一个双参数版本：。public static double parseDouble(final String input, final double defaultValue)