为什么final修饰符是初始化安全的?

看了java并发编程实战,有很多困惑。书中没有讲明白final域能确保初始化过程的安全的。
 

首先我们来看下创建对象的时候。

User user=new User();

看过JVM都知道,这其中包含了几步步。

1.检测类是否被加载,首先将去检查这个指令的参数是否能在常量池中定位到一个类的符号引用,并且检查这个符号引用代表的类是否已被加载、解析和初始化过。如果没有,那必须先执行相应的类加载过程。

2.加载后,为新对象分配内存,对象所需要的内存大小在类被加载之后就被确定(堆中分配内存,碰撞指针,空闲列表)

3.将分配的内存空间初始化为零

4.对对象进行必要的设置(例如这个对象是哪个类的实例、如何才能找到类的元数据信息、对象的哈希码、对象的GC分代年龄等信息。这些信息存放在对象的对象头之中。)

5.执行《init》方法,按照程序的值初始化。

最后才将user指向刚刚分配的内存

这就有问题了 JVM中这些步骤是乱序的!!!!!

也就是说,user指向的内存,可能JVM还没有执行完!

但是final能确保JVM执行完成后,user才指向内存。(对于含有final域的对象,JVM必须保证对对象的初始引用在构造函数之后执行)

发布了82 篇原创文章 · 获赞 49 · 访问量 12万+

猜你喜欢

转载自blog.csdn.net/xu505928168/article/details/101367835