为什么这段代码不会抛出NullPointerException？

Question

背景

我想明白为什么一个代码片段并没有抛出NullPointerException.

源代码

请考虑以下代码:

public class Agent {
  public List files = new ArrayList();

  public void deliver() {
    if( files != null && files.iterator().hasNext() ) {
      File file = (File)files.iterator().next();
    }

    files = new ArrayList();
  }
}

deliver重复调用该方法,而以下代码在单独的线程中运行:

  public void run() {
    agent.files = null;
  }

只有一个agent实例.

问题

永远不会抛出NullPointerException.

但是,当deliver方法暂停时,即使是0毫秒,也会按预期抛出NullPointerException:

  public void deliver() {
    if( files != null ) {
      Thread.currentThread().sleep( 0 );

      if( files.iterator().hasNext() ) {
        File file = (File)files.iterator().next();
      }
    }

    files = new ArrayList();
  }

我的理解是,理论上,检查files == null和呼叫之间存在竞争条件files.iterator().hasNext().在实践中,我不能在不引入暂停的情况下触发竞争条件(即,从后续方法调用中拆分空检查).

题

为什么第deliver一种方法在同一语句中组合null检查和用法时不会抛出异常？

Answer 1

两件事情:

1. Thread.sleep(0)仍然停止执行(可能超过0毫秒).基本上,即使是0睡眠也会导致该线程上的执行暂时停止,然后重新启动.这使得另一个线程有机会运行和完成,这就是为什么你能够触发竞争条件.

2. 文件应该是volatile,否则允许JVM以这样的方式进行优化,使您可能永远不会注意到它正在改变值,因为它不认为它需要保持线程之间的一致性.