为什么FindBugs在明确抛出NPE时会发出严重警告？

Question

从FindBugs错误描述中考虑以下内容

NP：保证取消引用空值（NP\u guaranted\u DEREF）

有一条语句或分支，如果执行该语句或分支，将保证此时某个值为null，并保证该值被取消引用（在涉及运行时异常的转发路径上除外）。

请注意，如果（x==null）这样的检查抛出新的NullPointerException（）；被视为x的解引用。

除了在涉及运行时异常的前进路径上是什么意思？

还有为什么像if（x==null）这样的检查会抛出新的NullPointerException（）；引发警告？

Answer 1

考虑一下这个可怕的人为代码：

String value = null;
if (5 > 8) {
    value = "foo";
}
doSomething();
if (value.equals("foo")) {
    System.out.println("value is foo");
}

静态分析可以证明，当调用equals时，value将为null，从而引发NullPointerException。但是，如果调用doSomething（）导致引发运行时异常，则永远无法调用equals。这就是“在涉及运行时异常的转发路径上除外”的含义

至于第二个问题，FindBugs对此代码发出警告

if (value == null) {
    throw new NullPointerException();
}

因为效果与取消引用null值时发生的情况相同。由于取消引用值得警告，因此任何模仿取消引用的代码也是如此。