java - 发布一个在没有持有用于发布的锁的情况下构造的 @NotThreadSafe 实例是否安全？

Question

这是一份安全的出版物吗？

给定班级：

@NotThreadSafe
public class Pub {
   int drinkers;
   public Pub(int drinkers) {
      this.drinkers = drinkers;
   }
}

T1 调用publish()和 T2 调用inspect：

private final Object lock = new Object();

@GuardedBy("lock")
private Pub shared;

void publish() {
  Pub p = new Pub(12);
  synchronized(lock) {
      this.shared = p;  // publish  
  }
}

Pub inspect() {
  synchronized(lock) {
     return shared;
  }
}    

T2 能保证看到shared.drinkers == 12吗？还是我们在持有锁时没有构建Pub 的事实构成了不安全的发布？

Answer 1

这是一个完全有效的操作。Pub 将为 null 或正确初始化。这是因为初始化和赋值是在同一个线程上相继发生的。