7.final

1. final的指令重排

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

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

public class FinalExample {
       int i;　　　　　　　　　　          // 普通变量
       final int j;　　　　　　　　        // final 变量
       static FinalExample obj;
       public 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 域
       }
}

1.1. 赋值final属性的指令重排

赋值final属性的重排序规则禁止把final属性的赋值操作重排序到构造函数之外，这个规则的实现包含下面2个方面

1. JMM 禁止编译器把 final属性的赋值操作重排序到构造函数之外
2. 编译器会在 final 域的写之后，构造函数 return 之前，插入一个 StoreStore 屏障。这个屏障禁止处理器把 final 域的写重排序到构造函数之外

写 final 域的重排序规则可以确保：在对象引用为任意线程可见之前，对象的 final 域已经被正确初始化过了，而普通域不具有这个保障

1.2. 读取final属性的指令重排

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

1.3. final属性为引用类型

对于引用类型，赋值final属性的重排序规则对编译器和处理器增加了如下约束：
在构造函数内对一个引用类型的final属性的赋值，与随后在构造函数外把这个被构造对象的引用赋值给一个引用变量，这两个操作之间不能重排序