final 是 Java 中表示“不可改变”的修饰符，可修饰类、方法、变量：修饰变量时值或引用地址不可变；修饰方法时禁止子类重写；修饰类时禁止被继承；但 final 不等同于对象不可变，需结合其他条件实现真正不可变性。
final 是 Java 中的一个修饰符，用来表示“不可改变”。它不是一种数据类型，而是一种约束机制，可以修饰类、方法、变量（包括成员变量和局部变量），作用都是限制后续的修改行为。
final 修饰变量：值不能被重新赋值
一旦用 final 声明变量并初始化，它的值就固定了，不能再被修改。注意：对基本类型是值不可变；对引用类型是引用地址不可变（但对象内部状态仍可变）。
- 成员变量必须在声明时、构造器中或实例初始化块里完成初始化
- 局部变量需在使用前明确赋值一次，之后不能再改
- 示例：final int x = 10; x = 20; // 编译报错
- 引用类型示例：final List
list = new ArrayList(); list.add("a"); // ✅ 允许；list = new ArrayList(); // ❌ 报错
final 修饰方法：不能被子类重写
加了 final 的方法，子类无法覆盖（override）。常用于防止关键逻辑被意外修改，也有一点性能优化意义（JVM 可能内联调用）。
- 不能与 abstract 共存（抽象方法必须被重写）
- 静态方法可以加 final，但 static 方法本身也不能被重写，所以加 final 更多是语义强调
- 示例：public final void print() { ... } —— 子类继承后不能定义同签名的 print 方法
final 修饰类：不能被继承
用 final 修饰的类无法作为父类被其他类 extends。Java 中的 String、Integer、System 等核心类都是 final 类。
立即学习“Java免费学习笔记（深入）”；
- 所有方法自动隐式成为 final（因为没子类，自然无法重写）
- 成员变量是否 final 需单独声明，final 类 ≠ 所有字段都不可变
- 示例：final class MyUtils { ... } class Test extends MyUtils { ... } // 编译报错
小贴士：final 和不变性（Immutability）的关系
final 只保证“引用不换”或“值不改”，不等于整个对象不可变。要实现真正不可变类，还需满足：类为 final、所有字段为 private final、不提供修改状态的方法、返回新对象而非修改原对象（如 String 的 concat 返回新字符串）。
基本上就这些。用好 final 能让代码更安全、意图更清晰，尤其在多线程和 API 设计中很有价值。
