java中的final对重排序的限制与逸出

在java中，为了保证final域的正确使用，对重排序进行了一些限制

１.在构造函数内对一个final域的写入,与随后把这个被构造对象的引用赋值给一个引用

变量,这两个操作之间不能重排序

2.初次读一个包含final域的对象的引用,与随后初次读这个final域,这两个操作之间不能

重排序

    有了这个限制，如下Ａ，Ｂ线程分别调用writer和reader方法时，可以保证final变量被初始化了　

public class FinalReferenceEscapeExample {
    final int i;
    static FinalReferenceEscapeExample obj;

    public FinalReferenceEscapeExample () {
        i = 1;
    }
    public static void writer() {
        obj = new FinalReferenceEscapeExample ();
    }
    public static void reader() {
        if (obj != null) {
        int temp = obj.i;
        }
    }
}

   final保证了fianl域的初始化一定在给obj复制前执行

    要防止溢出：如

public class FinalReferenceEscapeExample {
    final int i;
    static FinalReferenceEscapeExample obj;

    public FinalReferenceEscapeExample () {
        i = 1;
        obj = this;
     }
    public static void writer() {
         new FinalReferenceEscapeExample ();
    }
    public static void reader() {
        if (obj != null) {
        int temp = obj.i;
        }
    }
}

       i = 1;
        obj = this;

这个两句是可能被重排的，可能Ｂ执行reader并不能读到i的初始值