17370845950

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 变量一旦初始化完成，其值（或引用）就不能再被修改。 注意区分“基本类型值不可变”和“引用类型对象内容可变”：

• 基本类型（如 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 + 编译期常量表达式 才触发常量折叠