final修饰变量仅保证引用不可变，对象内容仍可变；修饰方法禁止覆盖但允许重载；修饰类禁止继承；真正不可变需满足类final、字段private final、不逸出this、防御性拷贝可变组件、getter返回不可变视图。
final 修饰变量：值不可变，但对象内容可能变
声明为 final 的变量只能赋值一次，编译器会强制检查。但要注意：它约束的是「引用不可变」，不是「对象状态不可变」。
-
final List合法，之后不能list = new ArrayList(); list = new ArrayList();（引用重赋值报错） - 但
list.add("a");完全允许——ArrayList本身是可变容器 - 若需真正不可变，得用
Collections.unmodifiableList()或ImmutableList.of()（Guava） - 基本类型（如
final int x = 5;）才真正“值不可变”
final 修饰方法：禁止子类覆盖，不影响重载
在方法签名前加 final，表示该方法不能被子类 @Override。这是实现类契约稳定性的常用手段。
- 常见于模板方法模式中的钩子方法，比如
final void execute() { before(); doWork(); after(); } - 不影响同名重载（overload）：子类仍可定义
void execute(String s) - 性能上现代 JVM 几乎无影响，
final方法仍可能被内联，别指望靠它优化 - 注意：
private方法隐式final，显式写出来是冗余的
final 修饰类：彻底封禁继承，强制组合优于继承
类被声明为 final 后，任何类都无法 extends 它。这是构建不可变对象或安全核心类的必要条件。
-
String、Integer、LocalDateTime都是final类——你无法继承并篡改其行为 - 一旦类含可变字段（如
private Date date;），即使类是final，也未必不可变；必须确保字段本身不可变 + 构造后不暴露可变引用 - 不要为“防止别人乱继承”而滥用
final；如果类设计本就未开放扩展点，final是合理防御
不可变对象的完整实践要点
仅靠 final 关键字远远不够。一个真正不可变对象需同时满足多个条件：
立即学习“Java免费学习笔记（深入）”；
- 类必须是
final（防子类破坏封装） - 所有字段必须是
private final - 构造过程中不泄露
this引用（避免逸出） - 对可变组件（如
Date、ArrayList）做防御性拷贝：public Person(Date birthDate) { this.birthDate = new Date(birthDate.getTime()); // 不直接赋值 } - getter 方法不能返回内部可变对象引用，必要时返回不可变视图或副本
最容易被忽略的是第4点和第5点：哪怕类和字段都用了 final，只要返回了原始 ArrayList 引用，外部就能修改内部状态。
