如何解决如何解决Findbugs问题“保证可以取消引用空值” NP_GUARANTEED_DEREF
| 嗨,我有一些代码被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
对象做任何事情,而只是在进行Null检查。该示例取材于实际的生产代码,但去除了重现该错误所需的所有内容。我想知道这是否是误报。如果没有,那将是一个适当的解决方案。
以下是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
有关该问题的讨论将继续进行。
解决方法
我知道了。我可以在计算机上确认相同的FB行为。看起来确实很奇怪。有趣的是,如果您将ѭ3替换为
throw new RuntimeException
,则错误标记会消失。
现在我想我明白他们的意思了。该消息的措词不准确,但是它们警告您不要使用NPE。我猜他们认为明确地扔掉NPE是一种不好的做法。
,这是FindBugs中的错误,请将此问题发布在其问题跟踪器页面上。 findbugs.sf.net
,好的,FindBugs寻找的是保证会导致空指针异常的语句或分支。最初,我们只寻找对空值的取消引用。后来我们扩大了分析范围
if (x == null) throw new NullPointerException()
与显式取消引用x相同。这主要是为了帮助进行过程间分析,因此对参数进行显式空检查的方法将与在不进行显式空检查的情况下取消引用其参数的方法一样,并在为此类参数传递空值时报告错误。
因此,我们可能需要更新错误消息中的某些文本,但实际上并没有发现许多引起混淆的现实情况。
我不太确定上面代码的目的是什么。在将NULL分配给var的点上,您正在创建一种情况,该情况将导致进一步导致空指针异常的显式抛出。这真的是您想要的行为吗?
,在这里仔细查看错误消息的定义,它说:
有一个语句或分支,如果
执行保证值是
此时为null,该值
保证被取消引用
(除非涉及
运行时异常)
这让我觉得这要么是让您知道var将为null,要么实际上是使findbugs认为if语句内引用了var。
您发布的代码看起来不错,我会仔细检查var是否未在真实代码中访问。
我可能要更改的唯一一件事就是像下面这样写比较:
if (null == var)
这样一来,如果您遗漏了=
/
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。