final 域的内存语义

final 域的内存语义

对于 final 域，编译器和处理器要遵守两个重排序规则：

• 在构造函数内对一个 final 域的写入，与随后把这个被构造对象的引用赋值给一个引用变量，这两操作不能重排序（保证在构造函数中对 final 域的初始化）。即构造函数在给 final 域初始化时，不能重排序到对象赋值的后面，会导致并发时，final 域数据读取不到。
• 初次读一个包含 final 域的对象的引用，与随后初次读取这个 final 域，这两个操作之间不能重排序（必须等包含 final 域的对象的引用完毕后，才能进行读取，保证数据正确）。

写 final 域的重排序规则：

• JMM 禁止编译器把 final 域的写重排序到构造函数之外。
• 编译器会在 final 域的写之后，构造函数 return 之前，插入一个 StoreStore（防止 final 域被重排序到构造函数之外）屏障。

读 final 域的重排序规则：

• 在一个线程中，初次读对象引用与初次读该对象包含的 final 域，JMM 禁止处理器重排序这两个操作。编译器会在读 final 域操作前面插入一个 LoadLoad（阻止重排序）屏障。

写 final 域的重排序规则可以确保：在对象引用为任意线程之前，对象的 final 域已经被正确的初始化了。


读final 域的重排序规则可以确保：在读一个对象的 final 域之前，一定会读包含这个 final 域的对象的引用。