final关键字仅保证引用不重赋值或定义不被覆盖，不保证线程安全或对象状态不可变；修饰变量时绑定引用而非内容，修饰方法时禁止重写但允许修改状态，修饰类时禁止继承但不等于不可变，final字段在构造器中正确初始化可提供内存可见性保障。
final 关键字不能保证线程安全，也不能保证对象内部状态不可变，它只保证“引用不重赋值”或“定义不被覆盖”这一层语义。
final 修饰变量：绑定引用，不绑定内容
当 final 修饰一个变量（包括局部变量、成员变量、参数），它表示该变量只能被初始化一次，之后不能再指向另一个对象或赋新值。但要注意——如果这个变量是引用类型，final 约束的是引用本身，不是其所指向对象的内部状态。
- 例如：final List
list = new ArrayList(); 是合法的，且 list 不能指向别的 List；但 list.add("hello") 完全允许，因为 ArrayList 内部结构仍可变。 - 基本类型（如 int、boolean）用 final 修饰后，值确实不可变，因为没有“内部状态”可改。
final 修饰方法：禁止子类重写，不阻止调用或内部修改
被 final 修饰的方法不能被子类覆盖（override），这是编译期强制检查。但它不影响方法是否可被调用，也不影响方法体内的逻辑是否修改对象状态。
- 比如 public final void setName(String name) { this.name = name; } 可以正常修改字段，只是子类不能提供自己的 setName 实现。
- final 方法常用于模板方法模式中固定流程步骤，防止语义被破坏。
final 修饰类：禁止继承，不等于不可变
被 final 修饰的类不能被继承，这能防止类的行为被扩展或篡改。但这和“不可变类（immutable class）”是两回事。
立即学习“Java免费学习笔记（深入）”；
- 一个 final 类如果包含 public 可变字段或提供 setter 方法，它仍是可变的。例如：final class Point { public int x, y; } 中 x 和 y 可随时被外部修改。
- 要实现真正不可变，需同时满足：类为 final、所有字段 private + final、不提供修改方法、防御性拷贝可变组件（如 Date、数组）。
final 与 JVM 优化和内存可见性
final 字段在构造器中完成初始化后，JVM 会为其提供特殊的内存可见性保障：其他线程读取该 final 字段时，能看到其构造器中写入的值（即使没加 volatile 或同步块）。这是 Java 内存模型（JMM）明确规定的“final 字段安全发布”机制。
- 前提：final 字段必须在构造器中完成初始化（不能在后续方法中赋值），且不能发生“this 逸出”（即构造过程中把 this 引用泄露给其他线程）。
- 这个特性让 final 成为构建线程安全不可变对象的关键一环，但单靠 final 不足以构成完整线程安全。
