java中的final对重排序的限制与逸出

最新推荐文章于 2022-07-23 16:19:40 发布

置顶坑铿吭

最新推荐文章于 2022-07-23 16:19:40 发布

阅读量2k

点赞数 2

分类专栏： java java多线程文章标签： java

java 同时被 2 个专栏收录

98 篇文章

订阅专栏

java多线程

10 篇文章

订阅专栏

本文探讨Java中final域的内存可见性问题，重点介绍了为确保final域正确使用而设置的重排序限制，并通过实例代码说明如何防止final域值在多线程环境下提前暴露。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

在java中，为了保证final域的正确使用，对重排序进行了一些限制

１.在构造函数内对一个final域的写入,与随后把这个被构造对象的引用赋值给一个引用

变量,这两个操作之间不能重排序

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

重排序

有了这个限制，如下Ａ，Ｂ线程分别调用writer和reader方法时，可以保证final变量被初始化了　

public class FinalReferenceEscapeExample {
    final int i;
    static FinalReferenceEscapeExample obj;

    public FinalReferenceEscapeExample () {
        i = 1;
    }
    public static void writer() {
        obj = new FinalReferenceEscapeExample ();
    }
    public static void reader() {
        if (obj != null) {
        int temp = obj.i;
        }
    }
}

final保证了fianl域的初始化一定在给obj复制前执行

要防止溢出：如

public class FinalReferenceEscapeExample {
    final int i;
    static FinalReferenceEscapeExample obj;

    public FinalReferenceEscapeExample () {
        i = 1;
        obj = this;
     }
    public static void writer() {
         new FinalReferenceEscapeExample ();
    }
    public static void reader() {
        if (obj != null) {
        int temp = obj.i;
        }
    }
}

       i = 1;
        obj = this;

这个两句是可能被重排的，可能Ｂ执行reader并不能读到i的初始值