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

Question

背景

我想了解为什么 sn-p 代码不会抛出 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 被允许以一种你可能永远不会注意到它正在改变值的方式进行优化，因为它认为它不需要保持线程之间的一致性。