为什么findbugs在此代码中抛出空指针取消引用？

Question

我正在通过Sonarqube在代码上运行findbugs，我得到一个空指针解引用错误：

有一个语句分支，如果执行，保证空值将被取消引用。

故障代码很简单：

public static boolean isBigDecimalDifferent(BigDecimal x, BigDecimal y) {
        return (x != null || y != null)
                && ((x != null && y == null) || (x == null && y != null) || x.compareTo(y) != 0);   
}

我想知道这怎么可能。NPE唯一可能的地方是调用x.compareTo（y）时，但如果x=null，Java将永远不会分析该分支，对吗？

这是一个bug，还是我遗漏了Java分析这条语句的方法？

更新

谢谢你的意见。最后我建议他们改成：

if (x!=null && y != null)
    return x.compare(y);
else
    return x!=y;

我发现这一点更清楚了。如果没有人同意改变，我会按照建议去做，忽略这个问题，尽管我宁愿避免这样。

Answer 1

我会这样写那个方法：

public static boolean isBigDecimalDifferent(BigDecimal x, BigDecimal y) {
   if (x == null) throw new IllegalArgumentException("x cannot be null");
   if (y == null) throw new IllegalArgumentException("y cannot be null");
   return (x.compareTo(y) != 0);
}

我认为它更容易阅读。

如果您不希望在异常中表达先决条件，我会说这也更清楚：

public static boolean isBigDecimalDifferent(BigDecimal x, BigDecimal y) {
   if (x == null) return (y != null);
   if (y == null) return (x != null);
   return (x.compareTo(y) != 0);
}

Answer 2

对于FindBugs来说，逻辑太复杂了，这里的逻辑是错误的。您是对的，您在该代码中对取消引用null进行了辩护。

我会简化它，这样FindBugs就可以理解它，这样任何后续的人类读者也可以很容易地弄清楚它在做什么：

public static boolean isBigDecimalDifferent(BigDecimal x, BigDecimal y) {
    if (x == null) {
        return y != null;
    }
    if (y == null) {
        return x != null;
    }
    return x.compareTo(y) != 0;
}

旁注：通常，您会有一个方法来检查是否相等，并使用 如果要检查不平等。

您在评论中说：

不幸的是，这是我无权更改的遗留代码（我真希望我可以！）

然后您必须注意FindBugs无法解决它，并将其作为FindBugs设置中的异常（在本问题的答案中描述）。