17370845950

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 类。

• 所有方法自动隐式成为 final（因为没子类，自然无法重写）
• 成员变量是否 final 需单独声明，final 类 ≠ 所有字段都不可变
• 示例：final class MyUtils { ... } class Test extends MyUtils { ... } // 编译报错

小贴士：final 和不变性（Immutability）的关系

final 只保证“引用不换”或“值不改”，不等于整个对象不可变。要实现真正不可变类，还需满足：类为 final、所有字段为 private final、不提供修改状态的方法、返回新对象而非修改原对象（如 String 的 concat 返回新字符串）。

基本上就这些。用好 final 能让代码更安全、意图更清晰，尤其在多线程和 API 设计中很有价值。