final 修饰变量时引用不可变但对象状态可变，修饰方法时禁止重写但允许重载，修饰类时禁止继承且字段需显式 final 才不可变，其初始化安全性保障多线程下 final 字段的正确可见性。
final 是 Java 中一个重要的修饰符，用它修饰的类、方法或变量具有“不可变”的语义。但它的行为在不同上下文中差异明显，稍不注意就容易误解或误用。
final 修饰变量：值不可再赋值，但不等于对象不可变
对基本类型，final 保证其值不能被修改；对引用类型，final 只保证该引用不能再指向其他对象，但对象自身的状态仍可改变。
- ✅ 正确理解：final List
list = new ArrayList(); list.add("a"); // 允许 - ❌ 常见误区：list = new ArrayList(); // 编译错误，引用不可重赋值
- 若需真正不可变容器，应配合
Collections.unmodifiableList()或使用List.of()（Java 9+）
final 修饰方法：禁止子类重写，但不影响重载
被 final 修饰的方法不能被子类覆盖（override），但可以在同一类中重载（overload）多个同名方法。
- 适用于核心逻辑稳定、不允许被定制的场景，如
Object.getClass()、String.length() - 不是为了“性能优化”而滥用 final 方法——现代 JVM 已基本不依赖 final 来内联方法
- 若类本身是 final 的，其所有方法天然不可重写，无需额外加 final
final 修饰类：禁止继承，强制组合优于继承
final 类无法被继承，其所有方法也隐式为 final（但字段仍需显式声明 final 才不可变）。
立即学习“Java免费学习笔记（深入）”；
- 典型例子：
String、Integer等包装类和工具类，保障安全性与一致性 - 设计时若明确该类不承担父类职责，也不希望被扩展，可定义为 final
- 注意：final 类中仍可有非 final 字段，要实现真正不可变，字段也需 private + final + 不可变类型 + 防止外部修改（如防御性拷贝）
与构造器、线程安全的隐含关系
final 字段在构造器中完成初始化后，能提供“初始化安全性”（happens-before 保证），这是 Java 内存模型的重要特性。
- 只要 final 字段在构造器中被正确赋值（且未发生 this 逃逸），多线程下能安全看到其初始值
- 这是实现不可变类（Immutable Class）的关键基础之一
- 不要在构造器中将 this 引用暴露给其他线程或对象，否则 final 的安全保证可能失效
基本上就这些。用好 final 的关键是分清“引用不可变”和“对象不可变”，并结合设计意图谨慎选择作用范围。
