如果构造函数不同步，为什么final关键字可以保证安全发布？

Question

Java Concurrency in Practice一书提到

正确构造的对象可以通过以下方式安全发布：

Storing a reference to it into a final field of a properly constructed object

首先，我认为是因为 final 字段只能在类构造函数中初始化，而 Java 构造函数是隐式“Synchronized”。然而，我意识到事实并非如此。

class Student{
   int student_id;
   public Student(int i){
       student_id = i;
   }
}

class Test {
   private final Student student;
   public Test(){
         student = new Student(1);
         ...
   }
}

比如上面的代码，JVM如何保证student是一个安全的出版物？

静态决赛怎么样？

class Test {
       private static final Student student;
       public Test(){
             student = new Student(1); //will this be partially constructed when the other thread reads a bad object ?

             ...
       }
    }

final 本身是否暗示了一些东西，以便 Jave Memory Model 将保证相同的发布？

Answer 1

JVM 保证学生是安全的出版物？

有多种方法可以确保安全发布，通常使用写屏障就足够了。在任何情况下，JVM 都必须为其运行的处理器保证这一点。

静态决赛怎么样？

所有静态字段都以单线程方式初始化。无论你是否使用 final，类初始化都是线程安全的。

final 本身是否暗示了一些东西，因此 Jave Memory Model 将保证相同的发布？

除了构造函数，不是真的。支持安全发布不应更改的值更容易。