final修饰变量仅保证引用不可变，对象内部仍可变；修饰方法禁止重写但允许重载；修饰类禁止继承且所有方法隐式final；它是不可变设计的必要非充分条件。
final 修饰变量：值不可再赋，但对象内部可变
声明为 final 的变量（包括局部变量、字段）必须在声明时或构造过程中完成初始化，之后不能再被赋新值。注意：这仅保证“引用不可变”，不等于“对象不可变”。
-
final List合法，但list = new ArrayList(); list.add("a")仍可执行 —— 引用没变，内容变了 - 若需真正不可变容器，应配合
Collections.unmodifiableList()或使用ImmutableList.of()（Guava） - 对于基本类型（如
int、boolean），final确实意味着值恒定；对引用类型，只锁住引用地址
final 修饰方法：禁止子类重写，但不影响重载
被 final 修饰的方法不能被子类覆盖（override），但可以被重载（overload）。常见于模板方法模式中固定流程的钩子，或性能敏感的底层方法（JVM 可能内联优化）。
- 错误示例：
class Parent { final void foo() {} } class Child extends Parent { void foo() {} } // 编译报错：Cannot override the final method - 正确重载：
void foo(String s)和final void foo()可共存 - 注意：
@Override注解与final方法互斥，加了会编译失败
final 修饰类：彻底封禁继承链
声明为 final 的类无法被继承，所有方法自动隐式 final（但不能显式加 final 修饰符，否则编译报错）。
- 典型例子：
String、Integer、LocalDateTime均为final类，确保其行为和状态不可被篡改 - 若你设计一个值对象（Value Object）且不希望被扩展，直接声明
final class Point { ... }是最简明的契约表达 - 反模式：为“暂时不想让别人继承”而加
final，却不提供替代扩展机制（如组合、策略接口），易导致后期重构困难
final 在不可变设计中的真实约束力
final 是不可变（immutability）的必要非充分条件。它只解决“引用/定义层面”的可变性，不处理深层状态。
立即学习“Java免费学习笔记（深入）”；
- 要实现真正不可变类，需同时满足：
final类 +final字段 + 所有字段为不可变类型（或防御性拷贝）+ 不提供修改状态的方法 - 常见疏漏：
final Date date;中Date本身可变，必须在 getter 中返回new Date(date.getTime())防御性拷贝 - 现代写法推荐用
record（Java 14+）：public record Person(String name, LocalDate birthday) {}自动生成final字段、不可变语义及安全访问器
final，而是识别哪些字段需要深拷贝、哪些外部类型本就不安全、以及是否遗漏了可变的间接依赖（比如传入的 ArrayList 被保存后又被外部修改）。 
