常见的解释,
final修饰类,类不能被继承
final修饰方法,方法不能被重写
final修饰变量,表示常量
但看了《java并发编程的艺术》后,发现final还有别的作用:
final域的内存语义:
3.6.1 final域,编译器和处理器要遵守两个重排序规则:
1.要构造函数内对一个final域的写入,与随后把这个被构造对象的引用赋值给一个引用变量,这两个操作之间不能重排序。
2.初次读一个包含final域的对象的引用,与随后初次读这个final域,这两个操作之间不能重排序。
3.6.2 写final域的重排序规则
写final域的重排序规则禁止把final域的写重排序到构造函数之外。这个规则的实现包含两个方面。
1.JMM禁止编译器把final域的写重排序到构造函数之外。
2.编译器会在final域的写之后,构造函数return之前,插入一个StoreStore屏障。这个屏障禁止处理器把final的写重排序到构造函数之外。
3.6.3 读final域的重排序规则
在一个线程中,初次读对象引用与初次读该对象包含的final域,JMM禁止处理器重排序这两个操作。
3.6.4 final域为引用类型
在构造函数内对一个final引用的对象的成员域的写入,与随后在构造函数外把这个被构造对象的引用赋值给一个引用变量,这两个操作之间不能重排序。
3.6.5 为什么final引用不能从构造函数内“溢出”
在引用变量为任意线程可见之前,该引用变量指向的对象的final域已经在构造函数中被正确初始化过了。
要得到这个效果,还需要一个保证:在构造函数内部,不能让这个被构造对象的引用为其他线程可见,也就是对象引用不能再构造函数中“逸出”。
双重锁机制的优化
双重锁代码的实现如下:
public class Single{
private static Instance instance;
public static Instance getInstance(){
if(instance == null){
synchronized(Single.class){
if(instacnce == null){
instance = new Instance(); //1
}
}
}
return instance;
}
}
1处创建了一个对象,这一行代码可以分解三步:
分配对象的内存空间
初始化对象
设置instance指向刚分配的内存空间
但是第二步与第三步可能重排序,导致别的线程看见了还没初始化的对象。
解决方法:
1.禁止指令重排(用volatile关键字)
2.保证重排序对其他线程不可见。(用静态内部类)