关于final域,编译器和处理器遵循2个重排序规则:

1,在构造函数内部,对final域的成员变量的写入,与随后将这个被构造的对象赋值给另一个引用变量,这2个操作不能重排序

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

上面的重排序规则能保证,在对象的引用在被任何线程可见之前,该对象中的final域已经被正确初始化了.而普通域

不具有这个保障.

即,在对象引用被其他线程可见时,该对象可能还未构造完成,即其中的普通域由于被重排序到构造函数之外,此时普通域变量还未被写入.初始值.

如下图,一个普通域被重排序到构造函数外:

[JMM]__JMM中的普通final域重排序规则