final修饰变量时锁住的是引用指向而非对象内容;final方法不能被重写但可重载;final类禁止继承以保障语义封闭;final字段确保构造完成时对其他线程可见。

final修饰变量时到底锁住了什么
它锁住的是变量的引用指向,不是对象内容本身。这点常被误解,尤其在引用类型上。
-
final List允许调用list = new ArrayList(); list.add("a")—— 因为引用没变,只是对象内部状态变了 -
final String s = "hello";看似“不可变”,其实是String类自身设计为不可变,和final无关 - 若想真正冻结对象状态,得配合不可变类(如
ImmutableList)或手动封装
final方法不能被重写但能被重载
这是编译期强制约束,JVM 不会为 final 方法生成虚方法表(vtable)入口,直接绑定到具体实现。
- 子类中声明同名、同参、同返回的方法会报编译错误:
error: method xxx() cannot override xxx() in YYY; overridden method is final - 但允许重载:
void process()和void process(String s)可共存于子类 - 性能上,现代 JVM 对非
final方法也常做内联优化,所以别单靠final优化性能
final类为什么禁止继承
本质是让类的语义封闭:它的所有行为、状态边界、线程安全假设都不可被子类篡改。
- 典型例子:
java.lang.String、java.time.LocalDate都是final,防止通过继承破坏不可变性或安全校验逻辑 - 如果一个类含
private final字段 + 所有方法不暴露可变入口,又没声明final,那它其实已事实不可变——但语言层面不保证,别人仍可继承并注入副作用 - 注意:
final类里仍可有protected成员,只是无法被继承访问;构造器也必须是private或包私有,否则子类可能绕过初始化逻辑
final字段的初始化时机与内存可见性
它不仅是语法限制,还触发 JVM 的“final字段语义”:确保构造完成时对其他线程可见,无需额外同步。
立即学习“Java免费学习笔记(深入)”;
- 必须在声明时、构造器中、或实例初始化块里赋值;且每个构造路径都必须赋值一次
- 若在构造器中调用可被重写的方法(哪怕该类是
final,也要小心),可能导致final字段未初始化就被子类(如果存在)读取 —— 但final类天然规避这点 - 多线程下,只要对象是正确构造的(无 this 逃逸),其他线程看到的
final字段值一定是构造器中写入的值,不会是默认值(如null、0)
public class FinalExample {
private final int value;
private final Helper helper;
public FinalExample(int v) {
this.value = v; // ✅ 正确:构造器中赋值
this.helper = new Helper(); // ✅ 同样适用
// this.helper.doSomething(); ❌ 危险:this 逃逸,helper 可能被其他线程看到未完全初始化的状态
}
}
final 的真正价值不在“阻止修改”,而在向阅读者和工具传递明确契约:这个引用/方法/类的设计意图就是封闭的。一旦用错场景(比如给可变集合加 final 就以为安全了),反而会掩盖真正的并发或封装问题。










