干掉 “final“

Java 语言的每个关键字都设计的很巧妙，金雕玉琢，只有深度钻研其中，才知其中懊悔，本文带领大家一起深入理解 Java 内存模型之 final。

与锁和 volatile 相比较，对 final 域的读和写更像是普通的变量访问。对于 final 域，编译器和处理器要遵守两个重排序规则：

1. 在构造函数内对一个 final 域的写入，与随后把这个被构造对象的引用赋值给一个引用变量，这两个操作之间不能重排序。
2. 初次读一个包含 final 域的对象的引用，与随后初次读这个 final 域，这两个操作之间不能重排序。

下面，我们通过一些示例性的代码来分别说明这两个规则：

public class FinalExample {
  int i;                            // 普通变量
  final int j;                      //final 变量
  static FinalExample obj;
  
  public void FinalExample () {     // 构造函数
    i = 1;                        // 写普通域
    j = 2;                        // 写 final 域
  }
  
  public static void writer () {    // 写线程 A 执行
    obj = new FinalExample ();
  }
  
  public static void reader () {       // 读线程 B 执行
    FinalExample object = obj;       // 读对象引用
    int a = object.i;                // 读普通域
    int b = object.j;                // 读 final 域
  }
}

这里假设一个线程 A 执行 writer () 方法，随后另一个线程 B 执行 reader () 方法。下面我们通过这两个线程的交互来说明这两个规则。

写 final 域的重排序规则

写 final 域的重排序规则禁止把 final 域的写重排序到构造函数之外。这个规则的实现包含下面 2 个方面：

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

现在让我们分析 writer () 方法。writer () 方法只包含一行代码：finalExample = new FinalExample ()。这行代码