final变量必须在使用前完成唯一一次赋值，具体规则依变量类型而定：实例final变量需在声明、实例初始化块或每个构造函数中赋值；静态final变量需在声明或静态初始化块中赋值；局部final变量需在首次使用前赋值且仅一次；编译器严格检查确保所有路径均正确初始化。
在Java中，final变量表示一旦赋值就不能再修改的变量。为了确保这一点，Java对final变量的初始化有严格的规则。这些规则根据变量类型（成员变量或局部变量）和上下文有所不同。
实例final变量的初始化规则
实例级别的final变量（即类中的非静态final字段）必须在对象构造完成前被初始化。有以下几种合法方式：
- 在声明时直接赋值
- 在实例初始化块中赋值
- 在每一个构造函数中赋值（且只能赋值一次）
不能依赖默认值，必须显式保证每个构造路径都为final字段赋值。如果某个构造函数遗漏了对final字段的赋值，编译器会报错。
静态final变量的初始化规则
静态final变量属于类本身，其初始化时机是在类加载阶段。可用方式包括：
立即学习“Java免费学习笔记（深入）”；
- 声明时直接初始化
- 在静态初始化块中赋值
静态final变量不需要也不能在构造函数中赋值，因为它们与实例无关。同样，必须保证在类初始化时完成赋值，否则编译失败。
局部final变量的初始化规则
方法内部定义的final变量（局部变量）可以在声明时不立即初始化，但必须在第一次使用前完成赋值，并且只能赋值一次。
例如：
final int x;if (someCondition) {
x = 10;
} else {
x = 20;
}
System.out.println(x); // 合法：x在使用前已确定赋值
这种情况是允许的，因为编译器能通过“明确赋值分析”判断x在任何执行路径下都会被赋值一次且仅一次。
final变量的不可变性强调
final修饰的是变量的引用不可变，而不是对象内容不可变。例如：
final Listlist.add("item"); // 允许：对象状态可变
list = new ArrayList(); // 编译错误：不能重新赋值
因此，final只保证引用不变，若需完全不可变，应结合不可变集合或设计不可变类。
基本上就这些。只要记住：final变量必须在使用前完成唯一一次赋值，具体时机取决于它是实例变量、静态变量还是局部变量。编译器会严格检查这些规则。不复杂但容易忽略细节。
