java中final域的内存语义理解

public class FinalExample {

       int i;//普通域

       final int j;//final域

       static FinalExample obj;

       public FinalExample () {

              i = 1;//写普通域。对普通域的写操作【可能会】被重排序到构造函数之外

              j = 2;//写final域。对final域的写操作【不会】被重排序到构造函数之外

       }

       // 写线程A执行

       public static void writer () {   

              obj = new FinalExample ();

       }

       // 读线程B执行

       public static void reader () {   

              FinalExample object = obj;//读对象引用

              int a = object.i;//读普通域。可能会看到结果为0(由于i=1可能被重排序到构造函数外，此时y还没有被初始化)

              int b = object.j;//读final域。保证能够看到结果为2

       }

}