Java中被final修饰的变量与普通变量有何区别？被final修饰的变量不可更改、被final修饰的方法不可重写是怎样做到的？带着疑问我们一点点拨开云雾。

一、final的内存定义及规则

对于final关键字，编译器、处理器从读写两个角度限制了其使用规则：

• 对于一个类的final修饰的变量，如果在定义是不指定初始值，那么在构造函数中必须进行初始化，在构造函数中进行final域的写入时，随后将构造后的对象引用赋值给另外一个引用变量，它们之间不能进行重排序的发生。
• 在读一个包含final关键字的对象引用和读这个引用的包含的final修饰的变量时，这两个操作间不能发生重排序。

下面通过一段代码分析一下具体场景：

public 

这里先假设A线程执行finalWriter方法，B线程执行finalRead()方法，通过上述对于final的规则描述我们分析一下finalWriter方法的执行流程：

1. 构造一个FinalTest对象
2. 将构造后的对象引用进行赋值

对于final修饰的变量进行赋值操作时的重排序规则如下：

1、Java内存模型禁止将对final关键字修饰的变量进行写操作重排序到构造函数之外。
2、编译器会在写之后，构造函数return之前插入StoreStore屏障，这个屏障确保编译器不会把final变量写操作重排序到构造函数之外。

下面假定一种重排序的场景如下图所示：

上图的场景情况为变量i为普通变量，在进行赋值时发生了重排序（由于这时候有可能构造函数还未完成），在构造函数结束后，才进行了赋值，线程B读取到的i的值为赋值前的初始值0，而对于final修饰的变量j由于禁止重排序，在构造函数return前需要进行赋值，限定到了构造函数内，读取到的变量j为正确的值。

然后再分析一下执行finalRead()方法的流程：

1. 读引用变量Obj将其赋值给object变量。
2. 读引用的普通变量i。
3. 读引用的final修饰的变量j

对于final修饰的读操作重排序规则：

在一个线程中首次读对象的引用和首次读该对象包含的final修饰的变量，Java内存模型禁止重排序（也就是说在读取一个final修饰的变量前，一定是先获取该变量对应的引用），主要原理就是在读取final修饰的变量前插入LoadLoad屏障。

假设上述情况，线程A正常执行，变量i没有发生重排序的情况，而对于线程B读取变量i和读对象的引用发生了重排序，如下图所示

读对象的普通变量i时处理器发生了重排序，读变量在读对象的引用之前发生，这时候变量还未开始进行赋值，而对于final修饰的变量j来说，由于其遵循重排序规则（读变量首先要读变量对应的对象引用），所以读取的值是正确的。

除了上述两种场景之外，假设在构造函数内使用this关键字将当前对象赋值给成员变量（逸出），如下代码所示：

public 

这时候同样有两个线程，一个线程执行finalWriter，另外一个执行finaRead，也有可能会出现被final修饰的变量j没有进行赋值的情况。

参考《Java并发编程的艺术》