5

嗨，我有一些代码被 Findbugs 报告为存在 NP_GUARANTEED_DEREF 问题。现在看我的代码，我不太明白它有什么问题，任何人都可以提出问题所在。

public void test() {
  String var = "";
  int index = 2;
  if (index == -1) {
    var = String.class.getName();
    if (var.length() == 0) {
      var = null;
    }
  } else {
    var = Integer.class.getName();
    if (var.length() == 0) {
      var = null;
    }
  }
  if (var == null) {// FINBUGS reports on this line NP_GUARANTEED_DEREF
    /*
     * There is a statement or branch that if executed guarantees that a value
     * is null at this point, and that value that is guaranteed to be
     * dereferenced (except on forward paths involving runtime exceptions).
     */
    throw new NullPointerException("NULL");
  }
}

现在深入研究 Findbugs 中的错误，它突出显示了两个分配var = null;作为错误的原因，但我不太明白为什么。这不像我实际上在对var对象做任何事情，我只是在做一个空值检查。该示例取自真实的生产代码，但删除了重现错误所需的任何内容。我想知道这是否是误报。如果不是什么将是一个适当的修复。

这是 Findbugs 错误详细信息的链接：http: //findbugs.sourceforge.net/bugDescriptions.html#NP_GUARANTEED_DEREF

[更新] 在收到有关此问题的一些反馈后，我现在已在 Sourceforge 上的 Findbugs Bugtracker 中将此记录为误报，链接为https://sourceforge.net/tracker/?func=detail&aid=3277814&group_id=96405&atid=614693

关于这个问题的对话将在那里继续。

4

4 回答 4

5

我懂了。我可以在我的电脑上确认相同的 FB 行为。确实看起来很奇怪。有趣的是，如果你throw new NullPointerException用throw new RuntimeException错误标记替换它就会消失。

现在我想我明白他们的意思了。该消息的措辞并不准确，但它们警告您不要使用 NPE。我猜他们认为明确抛出 NPE 是一种不好的做法。

于 2011-03-17T07:32:26.740 回答
3

这是 FindBugs 中的一个错误，请在他们的问题跟踪页面上发布此问题。findbugs.sf.net

于 2011-03-19T05:27:46.263 回答
2

好的，FindBugs 正在寻找的是保证会导致空指针异常的语句或分支。最初，我们只寻找空值的取消引用。我们后来扩充了分析以处理

if (x == null) throw new NullPointerException()

与 x 的显式取消引用相同。这主要是为了帮助过程间分析，以便对其参数进行显式空检查的方法将与取消引用其参数但没有显式空检查的方法相同，并在为此类参数传递空值时报告错误。

所以我们的错误信息中的一些文本可能需要更新，但我们确实没有发现很多实际情况会导致混淆。

我不太确定上述代码的目的是什么。在您将 null 分配给 var 的地方，您正在创建一种情况，该情况将导致进一步向下显式抛出空指针异常。这真的是你想要的行为吗？

于 2011-04-13T18:30:38.747 回答
0

仔细查看此处错误消息的定义，它说：

有一个语句或分支，如果执行，则保证此时某个值为 null，并且保证取消引用该值（涉及运行时异常的正向路径除外）

这让我觉得它要么只是让你知道 var 将是空的，要么实际上让 findbugs 认为 var 在 if 语句中被引用。

您发布的代码看起来不错，我会仔细检查真实代码中是否未访问 var 。

我唯一可能改变的就是像这样倒写比较：

if (null == var)

这样，如果您遗漏了='s/之一，就很明显了

于 2011-03-16T17:20:34.387 回答