java - 为什么 NetBeans 在这里显示有关空指针取消引用的警告？

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 在行 [2] 中显示关于“取消引用可能的空指针”的警告。我不确定为什么。我以为那是因为第 [3] 行，但是当我注释掉第 [3] 行时，警告仍然存在。当我在行 [2] 之前明确检查空值时，或者当我注释掉整个 finally 语句(由 [1] 注释的行)时，警告消失。

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

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

Answer 1

我可以重现这个。简而言之:你是对的，它看起来像 NetBeans 错误。 Eclipse 和 IDEA 在这里没有显示警告。

Long:发出“可能的空取消引用”警告并不是非常简单的静态分析，因为它需要仔细遍历所有可能的控制流路径(我实际上正在编写类似的分析器，所以我知道这有多难)。有finally使事情变得更加困难，因为在每个代码路径之后执行 finally 部分，然后将控件返回到原始代码。正确的控制流图必须复制多个 finally block ，添加多个传入和传出边是不够的。我可以推测 NetBeans 做错了这部分。

这是不正确的控制流图草图:

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

看到沿着这个图的边缘你可以访问最终的 System.out InterruptedException 之后的声明或其他一些异常(exception)。正确的图必须复制 finally block 的三个副本:

[ 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时执行肯定是赋值的。