final域不仅保证字段不可变，还在多线程下提供初始化值的可见性保障：1. 正确构造对象时，其他线程读到对象引用后必定看到final字段在构造器中赋的值；2. 编译器通过StoreStore屏障确保final写在对象引用发布前完成；3. 若构造中发生this逸出，则final语义失效，可能读到未初始化的值；4. 与volatile不同，final的可见性仅限构造阶段，是一次性保障，而volatile保证所有读写操作的可见性。
在Java中，final域不仅是一种语法限制（表示不可变），它还具有重要的内存语义，尤其是在多线程环境下。理解final域的内存语义，有助于写出更安全、高效的并发程序。
final域的基本语义
被final修饰的字段一旦在构造器中被赋值，就不能再被修改。这个约束在编译期和运行期都会被保证。
更重要的是，Java内存模型（JMM）为final域提供了特殊的内存可见性保障：
- 在对象构造完成之前，所有final字段的写操作都对其他线程可见。
- 只要对象是正确构造的（没有this引用逸出），其他线程看到该对象时，一定能看到final字段的初始化值。
final域的内存语义细节
Java语言规范规定：当一个对象被正确构造（即构造过程中this没有泄露到外部），那么所有线程在获取到该对象引用后，都能看到final字段在构造器中设置的值，而不需要额外的同步。
立即学习“Java免费学习笔记（深入）”；
这背后的机制是：
- 编译器会在构造器的末尾插入一个StoreStore屏障，确保所有final字段的写操作在对象引用被其他线程看到之前完成。
- 这防止了由于指令重排序导致其他线程看到未完全初始化的final字段。
举个例子：
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的内存语义不再成立。
与volatile的区别
final域的可见性只发生在构造期间，是一次性的保障。而volatile提供的是每次读写的可见性和有序性。
- final字段只能在构造器中赋值一次，之后不可变。
- volatile字段可以多次修改，每次修改都对其他线程立即可见。
- 两者都可以防止某些重排序，但作用时机不同。
基本上就这些。final不只是语法糖，它是Java并发安全的重要基石之一，特别是在设计不可变对象（immutable object）时，合理使用final能极大简化线程安全问题。
