final是Java中表示不可变的关键字,可修饰类(禁止继承)、方法(禁止重写)、变量(值不可再赋值),但不能修饰构造方法、抽象方法、接口或包;static final修饰编译期常量时会内联优化。

final 是 Java 中的关键字,用于表示“不可变”或“不可重写”,它能修饰类、方法、变量(包括成员变量、局部变量、形参),但不能修饰构造方法、抽象方法、接口本身或包。
final 修饰类:禁止被继承
当 final 修饰一个类时,该类不能被其他类继承。这是为了防止类的语义被子类篡改,常用于工具类(如 String、Integer)等核心不可变类型。
- 语法:
final class ClassName { ... } - 子类尝试继承会编译报错:
Cannot inherit from final 'ClassName' - 注意:final 类中的方法自动成为 final,无需显式加 final
final 修饰方法:禁止被重写
用 final 修饰的方法不能在子类中被覆盖(override)。这通常用于确保关键逻辑不被意外修改,或配合模板方法模式锁定骨架流程。
- 语法:
public final void methodName() { ... } - 子类中定义同签名方法会导致编译错误
- private 方法隐式具有 final 语义(因不可见,自然不可重写),但不能显式加 final
- static 方法也可用 final 修饰,但本质上 static 方法也不能被“重写”,只能被“隐藏”;加 final 更多是语义强调
final 修饰变量:值不可再赋值
final 变量一旦初始化完成,其值(或引用)就不能再被修改。 注意区分“基本类型值不可变”和“引用类型对象内容可变”:
立即学习“Java免费学习笔记(深入)”;
- 基本类型(如 int、boolean):值固定,不能再赋新值
- 引用类型(如 List、StringBuffer):引用地址不可变,但对象内部状态仍可修改(除非该对象本身也是不可变的,如 String)
- 必须显式初始化:可在声明时、构造器中(成员变量)、或代码块中赋值;局部 final 变量需在使用前明确赋值
- final 形参表示方法内不能重新给该参数赋值(但可调用其方法修改对象状态)
final 与编译期常量(static final)
当 final 和 static 同时修饰一个基本类型或字符串变量,并且用编译期常量表达式初始化时(如 static final int MAX = 100;),该变量被视为“编译期常量”。JVM 会在编译阶段将其内联到所有使用处,提升性能并支持 switch 的 case 值。
- 非编译期常量(如
static final String s = new String("abc");)不会被内联 - 只有 static + final + 编译期常量表达式 才触发常量折叠










