Java并发编程之 final

final是Java中的一个关键字，final可用于修饰类、方法、参数和变量（包括实例变量和类变量）。

final修饰类

final修饰的类具有不可继承性，也就是如果一个类是final类型的，则这个类不允许有子类。

final修饰方法

final修饰的方法具有不可变性，也就是说final的方法不允许在子类中被重写(@Override)。

final修饰参数

如果参数用final修饰，那么在方法中我们不能对这个final参数进行修改。

final修饰的基本数据类型的参数不可以修改其值：

final修饰的引用数据类型的参数不可以修改其引用：

final修饰的引用数据类型的参数不可以修改其引用，但是可以修改其对象内部非final属性的引用/非final的基本数据类型的值：

final修饰变量

final修饰的变量（类变量和实例变量）无法在外部修改。


final类型的变量无法被Setter：

编译器对final变量的优化

可以看到a和d是指向同一个地址，而a和e则是指向不同的地址。这里就可以看出final变量和普通变量的区别了。变量b是final类型的，编译器知道b的引用不会改变，因此在b与字符串常量“world”进行拼接时就会自动优化为“helloworld”，此时a和d都是指向常量池中的“helloworld”字面量。不信可以看看它的class文件：

d直接在编译期就被优化成了字符串常量。

final的内存语义

final域的重排序规则

1. 在构造函数内对一个final域的写入，与随后把这个被构造对象的引用赋值给一个引用变量，这两个操作之间不能重排序。
2. 初次读一个包含final域的对象的引用，与随后初次读这个final域，这两个操作之间不能重排序。

写final域的重排序规则

1. JMM禁止编译器把final域的写重排序到构造函数之外。
2. 编译器会在final域的写之后，构造函数return之前，插入一个StoreStore屏障。这个屏障禁止处理器把final域的写重排序到构造函数之外。

写final域的的StoreStore屏障可以确保：在对象引用为任意线程可见之前，对象的final域已经被正确初始化过了，而普通域不具有这个保障：

读final域的重排序规则

在一个线程中，初次读对象引用与初次读该对象包含的final域，JMM禁止处理器重排序这两个操作。编译器会在读final域操作的前面插入一个LoadLoad屏障。

初次读对象引用与初次读该对象包含的final域，这两个操作之间存在间接依赖关系。由于编译器遵守间接依赖关系，因此编译器不会重排序这两个操作。大多数处理器也会遵守间接依赖，也不会重排序这两个操作。但有少数处理器允许对存在间接依赖关系的操作做重排序（比如alpha处理器），这个规则就是专门用来针对这种处理器的。

读final域的LoadLoad屏障可以保证读对象的final域在读对象的引用之后，而普通域则无法保证：

总结一下，就是 写后StoreStore，读前LoadLoad。