final成员变量必须在对象构造完成前且仅初始化一次，非静态final需在声明、实例初始化块或每个构造方法中赋值；static final只能在声明或静态代码块中初始化；编译器强制校验确定性初始化，且final仅锁定变量引用而非对象状态。
final 成员变量必须在对象构造完成前完成且仅完成一次初始化，不能留到运行时随意赋值，也不能依赖默认值。
非静态 final 成员变量的合法初始化位置
这类变量属于每个实例，初始化必须绑定到对象创建过程。以下三种方式任选其一，但必须确保每条构造路径都覆盖：
- 声明时直接赋值，例如：private final String name = "default";
- 在实例初始化块中赋值，代码会在每个构造方法执行前运行；
- 在每一个构造方法内显式赋值——如果类有多个构造器，每个都必须为该 final 字段赋值一次，不能靠 this() 委托省略。
static final 成员变量的初始化限制
它属于类本身，初始化发生在类加载阶段，与对象无关。只能在两个地方完成：
- 声明时直接初始化，例如：public static final int TIMEOUT = 3000;
- 静态代码块中赋值，适合需要多步逻辑或异常处理的场景。
不能在构造方法、实例初始化块或普通方法中赋值，否则编译不通过。
常见翻车点和强制约束
Java 编译器会严格校验 final 成员变量是否被“确定性地初始化”：
- 未初始化就编译失败，报错类似：“variable might not have been initialized”；
- 在 try-catch 中初始化时，必须保证 try、catch、finally 每个分支都不遗漏赋值；
- if 分支下若缺 else，且变量在 if 外使用，也会触发编译错误；
- 重复赋值（哪怕只是 += 或 ++）直接报错：“cannot assign a value to final variable”。
final 不等于对象冻结
final 修饰的是变量本身——对基本类型锁住值，对引用类型锁住地址。但对象内部状态仍可变：
-
final List
list = new ArrayList(); 合法； - list.add("item"); 合法；
- list = new ArrayList(); 非法。
真正冻结对象需配合不可变类设计（如 Collections.unmodifiableList）或字段也加 final。
