final变量必须在使用前完成唯一一次赋值，具体规则依变量类型而定：实例final变量需在声明、实例初始化块或每个构造函数中赋值；静态final变量需在声明或静态初始化块中赋值；局部final变量需在首次使用前赋值且仅一次；编译器严格检查确保所有路径均正确初始化。

在Java中，final变量表示一旦赋值就不能再修改的变量。为了确保这一点，Java对final变量的初始化有严格的规则。这些规则根据变量类型（成员变量或局部变量）和上下文有所不同。

实例final变量的初始化规则

实例级别的final变量（即类中的非静态final字段）必须在对象构造完成前被初始化。有以下几种合法方式：

• 在声明时直接赋值
• 在实例初始化块中赋值
• 在每一个构造函数中赋值（且只能赋值一次）

不能依赖默认值，必须显式保证每个构造路径都为final字段赋值。如果某个构造函数遗漏了对final字段的赋值，编译器会报错。

静态final变量的初始化规则

静态final变量属于类本身，其初始化时机是在类加载阶段。可用方式包括：

立即学习“Java免费学习笔记（深入）”；

• 声明时直接初始化
• 在静态初始化块中赋值

静态final变量不需要也不能在构造函数中赋值，因为它们与实例无关。同样，必须保证在类初始化时完成赋值，否则编译失败。

OpenJDK 24

下载

局部final变量的初始化规则

方法内部定义的final变量（局部变量）可以在声明时不立即初始化，但必须在第一次使用前完成赋值，并且只能赋值一次。

例如：

final int x;
if (someCondition) {
  x = 10;
} else {
  x = 20;
}
System.out.println(x); // 合法：x在使用前已确定赋值

这种情况是允许的，因为编译器能通过“明确赋值分析”判断x在任何执行路径下都会被赋值一次且仅一次。

final变量的不可变性强调

final修饰的是变量的引用不可变，而不是对象内容不可变。例如：

final List list = new ArrayList();
list.add("item"); // 允许：对象状态可变
list = new ArrayList(); // 编译错误：不能重新赋值

因此，final只保证引用不变，若需完全不可变，应结合不可变集合或设计不可变类。

基本上就这些。只要记住：final变量必须在使用前完成唯一一次赋值，具体时机取决于它是实例变量、静态变量还是局部变量。编译器会严格检查这些规则。不复杂但容易忽略细节。