Question

我已经关注了代码：

import java.util.concurrent.ConcurrentHashMap;
import java.util.concurrent.ConcurrentMap;
import java.util.concurrent.TimeUnit;
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;

public class NullDereference {

    private static final ConcurrentMap<Integer, Object> MAP = new ConcurrentHashMap<>();

    public static void main(String[] args) {
        Object object = getObject(1);

        if (object == null) {
            Lock lock = new ReentrantLock();
            lock.lock();
            try {
                lock.newCondition().await(1, TimeUnit.SECONDS);

                object = new Object();
                object = addObject(object); // [3]
            } catch (InterruptedException ex) {
                throw new RuntimeException(ex);
            } finally {        // [1]
                lock.unlock(); // [1]
            }
        }

        System.out.println("class: " + object.getClass()); // [2]
    }

    private static Object getObject(int hashCode) {
        return MAP.get(hashCode);
    }

    private static Object addObject(Object newObject) {
        Object oldObject = MAP.putIfAbsent(newObject.hashCode(), newObject);
        if (oldObject != null) {
            return oldObject;
        }

        return newObject;
    }
}

NetBeans显示有关＆＃34;取消引用可能的空指针的警告＆＃34;在第[2]行。我不确定为什么。我认为那是因为第[3]行，但是当我注释掉第[3]行时，警告仍在这里。当我在第[2]行之前显式检查空值或者注释掉整个finally语句（由[1]注释的行）时，警告消失。

我分析了代码并认为这个是误报。我是对的吗？

我不想对空指针进行额外检查。这段代码有什么问题？我可以在没有警告的情况下更改某些代码吗？

Answer 1

我可以重现这一点。简而言之：你是对的，它看起来像NetBeans的bug。 Eclipse和IDEA在这里没有显示任何警告。

长：发布＆＃34;可能的空取消引用＆＃34;警告不是非常简单的静态分析，因为它需要仔细遍历所有可能的控制流路径（我实际上是在编写类似的分析器，所以我知道它是多么困难）。让finally使事情变得更加困难，因为在每个代码路径之后执行最终部分，然后将控件返回到原始代码。正确的控制流图必须复制几个重复块，它不足以添加几个传入和传出边。我可以推测NetBeans不正确地做这部分。

这里有不正确的控制流图草图：

[ try { lock.newCondition().await(...) ...} ]
         /          |          \
        /           |           \
       /            |            \
Successful  InterruptedException  other exception
Execution           |               /
     \              |              /
      \             |             /
       \            |            /
     [ finally {  lock.unlock;  }  ]
       /            |            \
      /             |             \
     /              |              \
    |               |               |
[System.out]    [throw RuntimeEx] [throw the original exception]

请参阅此图表边缘，您可以在System.out之后访问最终InterruptedException语句或其他一些例外。正确的图表必须生成finally块的三个副本：

[ try { lock.newCondition().await(...) ...} ]
         /          |          \
        /           |           \
       /            |            \
Successful  InterruptedException  other exception
Execution           |                |
    |               |                |
[finally_copy1] [finally_copy2]   [finally_copy3]
    |               |                |
    |               |                |
[System.out]    [throw RuntimeEx] [throw the original exception]

这样，只有在System.out确定已分配成功try后，您才能访问object语句。

为什么NetBeans会显示有关空指针取消引用的警告？

1 个答案: