java中final域的内存语义理解-java教程-PHP中文网

java中final域的内存语义理解

尊渡假赌尊渡假赌尊渡假赌

发布： 2025-12-05 12:23:02

原创

993人浏览过

final域不仅保证字段不可变，还在多线程下提供初始化值的可见性保障：1. 正确构造对象时，其他线程读到对象引用后必定看到final字段在构造器中赋的值；2. 编译器通过StoreStore屏障确保final写在对象引用发布前完成；3. 若构造中发生this逸出，则final语义失效，可能读到未初始化的值；4. 与volatile不同，final的可见性仅限构造阶段，是一次性保障，而volatile保证所有读写操作的可见性。

java中final域的内存语义理解

在Java中，final域不仅是一种语法限制（表示不可变），它还具有重要的内存语义，尤其是在多线程环境下。理解final域的内存语义，有助于写出更安全、高效的并发程序。

final域的基本语义

被final修饰的字段一旦在构造器中被赋值，就不能再被修改。这个约束在编译期和运行期都会被保证。

更重要的是，Java内存模型（JMM）为final域提供了特殊的内存可见性保障：

在对象构造完成之前，所有final字段的写操作都对其他线程可见。
只要对象是正确构造的（没有this引用逸出），其他线程看到该对象时，一定能看到final字段的初始化值。

final域的内存语义细节

Java语言规范规定：当一个对象被正确构造（即构造过程中this没有泄露到外部），那么所有线程在获取到该对象引用后，都能看到final字段在构造器中设置的值，而不需要额外的同步。

立即学习“Java免费学习笔记（深入）”；

这背后的机制是：

编译器会在构造器的末尾插入一个StoreStore屏障，确保所有final字段的写操作在对象引用被其他线程看到之前完成。
这防止了由于指令重排序导致其他线程看到未完全初始化的final字段。

举个例子：

畅图

AI可视化工具

179

查看详情

public class FinalFieldExample {
    final int x;
    int y;

    public FinalFieldExample() {
        x = 3;
        y = 4;
    }

    static FinalFieldExample instance;

    // 线程A执行
    public static void writer() {
        instance = new FinalFieldExample();
    }

    // 线程B执行
    public static void reader() {
        if (instance != null) {
            int a = instance.x; // 一定能看到3
            int b = instance.y; // 可能为0或4，非final无保障
        }
    }
}

在这个例子中，线程B读取到instance不为null时，x的值一定是3。这是因为final域的内存语义保证了这一点。但y是非final的，它的值可能还是默认值0，因为普通字段没有同样的可见性保障。

this引用逸出破坏final语义

如果在构造器中把this传递出去，就可能发生this引用逸出，从而破坏final域的内存语义。

例如：

public class ThisEscape {
    final String value;

    public ThisEscape() {
        value = "initialized";
        new Thread(() -> {
            System.out.println(this.value); // 可能输出null！
        }).start();
    }
}

虽然value是final的，但由于this在构造过程中被传入新线程，而构造尚未完成，此时新线程可能读到未初始化完成的对象，导致value看起来是null（尽管实际上不是）。这种情况属于“不正确构造”，final的内存语义不再成立。