final变量确保值或引用不可变，结合不可变集合与安全初始化可实现线程安全的不可变数据。
在Java中，final关键字是实现数据不可变性的核心工具之一。合理使用final变量不仅能提升程序的安全性，还能增强代码的可读性和线程安全性。下面介绍如何通过final变量保证数据不可变，并分享一些实用的操作技巧。
理解final变量的基本作用
final修饰的变量一旦被赋值，就不能再更改其引用或值：
- 对于基本类型，final确保其值不可变
- 对于引用类型，final确保引用地址不变（但对象内部状态仍可能改变）
- final变量必须在声明时或构造函数中完成初始化
final int MAX_COUNT = 100; // 基本类型，值不可变
final List<String> names = new ArrayList<>(); // 引用不可变，但内容仍可修改
// names = new ArrayList<>(); // 编译错误：不能重新赋值
names.add("Alice"); // 合法：对象内部状态可以变
结合不可变集合构建真正不可变数据
仅使用final无法阻止引用对象内部状态的变化。要实现真正的不可变性，应结合不可变集合工具类：
- 使用Collections.unmodifiableList()包装列表
- 使用List.of()（Java 9+）创建不可变列表
- 在构造函数中完成final字段的初始化
public class Student {
private final List<String> courses;
public Student(List<String> courses) {
this.courses = List.copyOf(courses); // Java 10+
// 或 Collections.unmodifiableList(new ArrayList<>(courses))
}
public List<String> getCourses() {
return Collections.unmodifiableList(courses);
}
}
在并发场景中利用final保证线程安全
根据Java内存模型，正确构造的对象中，final字段具有“安全发布”特性，能保证多线程环境下其他线程看到final字段的正确初始化值：
立即学习“Java免费学习笔记（深入）”；
- 避免在构造过程中泄露this引用（防止this逃逸）
- 确保对象构造完成前不被其他线程访问
- 配合private和final使用，实现类的不可变性
public final class ImmutablePoint {
private final int x;
private final int y;
public ImmutablePoint(int x, int y) {
this.x = x;
this.y = y;
}
public int getX() { return x; }
public int getY() { return y; }
}
基本上就这些。final变量本身只是起点，真正实现数据不可变需要综合考虑引用对象的状态管理与对象发布过程的安全性。 
