final修饰变量仅锁定引用不可变，不阻止对象内部状态变化；真正不可变需组合使用unmodifiableList、ImmutableList等手段，并辅以私有字段、无setter、构造器初始化及返回副本等设计。
final 修饰变量时，到底锁住了什么
它不阻止对象内容变化，只阻止变量重新指向另一个对象。这是最常误解的点。
-
final List合法，list = new ArrayList(); list.add("a")也能执行成功 —— 因为引用没变，只是对象内部状态变了 - 真正“不可变”需要组合手段：用
Collections.unmodifiableList()包装，或选ImmutableList.of()（Guava） - 基本类型变量被
final修饰后，值确实无法再赋值；但包装类如final Integer i = 1;仍可被重新赋值（因为i = 2是新对象引用）
为什么 final 方法不能被重写，但可以被重载
这是编译期强制的契约约束，不是运行时行为控制。JVM 在解析方法调用时跳过虚方法表查找，直接绑定到该方法实现。
- 子类中定义同名、同参、不同返回类型的方法是编译错误（违反重写规则）
- 但定义
void method(String s)和void method(int i)完全合法 —— 这是重载，与final无关 - 性能上，现代 JVM 对非
final方法也常做去虚化（devirtualization），所以final不再是性能银弹，主要价值在语义明确性
final 类为什么能防止继承滥用，但挡不住反射攻击
它让类的 API 边界在编译期就固化，避免子类篡改关键逻辑（比如 String 或 LocalDateTime）。但这层防护对反射无效。
-
final class A { private final String value = "x"; }无法被继承，但可通过Field.setAccessible(true)修改value字段（需 SecurityManager 允许） - 若真要强不可变，字段还需私有 + 无 setter + 构造器完成初始化 + 返回副本（如
getChars()而非直接暴露数组） - 注意：
final类的构造器里调用可重写方法仍是危险的（尽管编译允许），因子类可能尚未初始化完毕 —— 但final类本身杜绝了这种可能
Java 14+ 的 record 和 final 的关系
record 是对不可变数据载体的语法糖封装，其字段隐式为 final，且自动生成私有 final 字段 + 公共访问器 + 不可变 equals/hashCode。
立即学习“Java免费学习笔记（深入）”；
- 你不能在
record中声明非final字段，也不能重写其组件访问器为非final - 但 record 本身不阻止你用反射修改字段值，也不阻止你在构造器中传入可变对象（比如
new Person(new ArrayList())），这点仍需手动防御 - 和传统
final类比，record更聚焦“值不可变”，而final类更侧重“行为不可扩展”——两者目标不同，常配合使用
真正让对象不可变的从来不是单个 final 关键字，而是设计决策链：字段是否 final、是否私有、是否防御性拷贝、是否禁止外部可变对象注入。漏掉任意一环，final 就只是个装饰。
