final修饰基本类型变量时值不可变，修饰引用类型时仅锁住引用本身而非对象内容；final方法不可重写但可重载；final类不可被继承；final字段须在构造器结束前初始化，JVM为其提供内存屏障保障。
final修饰变量时到底锁住了什么
final修饰基本类型变量时，值不可变；修饰引用类型变量时，锁住的是引用本身，不是对象内容。很多人误以为final List就无法修改元素，其实只是不能再指向新List对象。
-
final int x = 10;→ 后续赋值x = 20;编译报错：无法为最终变量分配值 -
final List<string> list = new ArrayList();</string>→list.add("a");合法，但list = new ArrayList();非法 - 数组同理：
final String[] arr = {"a"};→arr[0] = "b";允许，arr = new String[2];禁止
final方法为什么不能被重写但可以被重载
final方法在子类中不可覆盖（override），但可在同一类中重载（overload）。这是JVM层面的限制，编译器会直接拒绝生成子类的重写字节码。
- 父类声明
public final void process() {}，子类写@Override public void process() {}→ 编译错误：无法覆盖最终方法 - 同一类中可存在
public final void process()和public final void process(String s)，不冲突 - 注意：private方法默认具有final语义（无法被继承），但加final无实际意义，且部分IDE会警告
final类在继承体系中的真实约束
被final修饰的类不能被继承，任何extends该类的尝试都会在编译期失败。这不是运行时检查，也不影响其内部成员的访问权限。
-
final class Utils { ... }→class MyUtils extends Utils { ... }编译报错：无法从最终类继承 - final类中的非private方法自动成为final（即使没显式写），但static方法不受影响（本来就不能被重写）
- 常见陷阱：试图用ASM或反射绕过final类限制——JVM在类加载阶段就会拒绝链接，反射
Class.forName()也会抛NoClassDefFoundError而非运行时异常
final字段的初始化时机与JVM内存模型关联
final字段必须在构造器结束前完成初始化（显式赋值、实例初始化块、构造器内），否则编译报错。JVM对final字段有特殊内存屏障保障，确保多线程下安全发布。
立即学习“Java免费学习笔记（深入）”；
- 未初始化的final字段：
final String name;→ 构造器中漏掉this.name = "x";→ 编译错误：可能尚未初始化最终字段 - 静态final字段必须在静态初始化块或声明时赋值，
static final Map m;需配static { m = new HashMap(); } - 注意：如果final字段是对象引用，且该对象本身可变（如HashMap），则其内部状态仍可被并发修改——final只保证引用不变，不提供对象级线程安全
public class FinalExample {
final int id;
final List<String> tags;
// 必须在此处完成所有final字段初始化
public FinalExample(int id) {
this.id = id; // ✅ 正确：构造器内赋值
this.tags = new ArrayList<>();
this.tags.add("default"); // ✅ 允许：修改对象内容
}
public void addTag(String t) {
this.tags.add(t); // ✅ 合法操作
}
// ❌ 错误：以下代码会导致编译失败
// public FinalExample() {} // 编译报错：可能尚未初始化最终字段
}
final关键字的真正难点不在语法，而在理解它施加的是编译期约束 + JVM内存语义双重保障。很多问题出现在混淆“引用不可变”和“对象不可变”，或者误以为final能替代synchronized做线程同步。 
