final本身不保证对象不可变，但通过约束赋值+jmm语义实现初始化安全与安全发布；仅当对象正确构造（无this逸出）时，其他线程才能无同步看到final字段的初始化值，而普通字段因重排序可能导致读到默认值。
final 关键字本身不直接“保证对象不可变”，但它为不可变性提供了关键支撑——通过约束赋值行为 + Java 内存模型（JMM）的特殊语义，共同实现初始化安全和安全发布。真正不可变的对象，需要设计配合；而 final 是让这种设计在并发下“可靠生效”的底层保障。
final 字段的初始化安全性（Initialization Safety）
JMM 明确规定：只要对象被正确构造（即构造函数中没有 this 引用逸出），那么其他线程在看到该对象引用时，一定能看到所有 final 字段在构造函数中写入的最终值——无需同步、无需 volatile。
- 禁止重排序：构造函数内对 final 字段的写操作，不能被重排序到对象引用对外发布（如赋值给静态变量、放入共享容器）之后
- 读取屏障：线程首次读取对象引用后，再读该对象的 final 字段，JMM 保证能看到构造时写入的值，不会看到默认值（如 0、null）或中间态
为什么普通字段做不到？
没有 final 修饰的字段，JVM 和 CPU 可能重排序初始化顺序。例如：
class UnsafePoint {
int x, y;
UnsafePoint(int x, int y) {
this.x = x; // 可能被延后执行
this.y = y; // 可能先完成
}
}
线程 A 构造并发布对象：shared = new UnsafePoint(1, 2);
线程 B 看到 shared != null 后读取：int a = shared.x; → 可能读到 0（未初始化值）
而 final 字段杜绝了这种“部分构造对象可见”的风险。
final 不等于对象内容不可变
final 仅保证引用不变或基本类型值不变，不阻止对象内部状态改变：
Java JDK 25
下载
Java JDK 25 来自 OpenJDK 官方归档，版本为 JDK 25，本条下载地址已指向官方 Windows x64 zip 安装包直链，适合调试旧项目或兼容旧版 Java 运行环境。
-
final List<string> list = new ArrayList();</string>→ list 引用不可变，但list.add("x")合法 -
final Person p = new Person("Alice");→ p 不能指向新 Person，但若 Person 的 name 字段非 final，仍可被修改
要达成真正不可变，需同时满足：
– 所有字段声明为 final
– 类声明为 final（防子类破坏）
– 不提供修改状态的方法（无 setter、不暴露可变内部对象）
– 若含可变组件（如 Date、数组），需防御性拷贝
安全发布的典型场景
final 是实现“安全发布”的最常用手段之一：
- 静态工厂方法返回不可变对象（如
LocalDate.of(2026, 7, 29)） - 构造完成即发布：对象创建后直接赋值给 static final 字段或放入 ConcurrentHashMap
- 避免使用构造器中泄露 this（如启动线程、注册监听器），否则 final 的保护失效
不复杂但容易忽略
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
