java final重排序_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的初始值