java基础里final是什么？怎样实现？

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