final局部变量必须声明时或使用前初始化且仅赋值一次，无默认值，编译期强制检查；引用不可变但所指对象状态可变；分支结构需覆盖所有路径确保初始化。
final 局部变量必须在声明时或首次使用前完成初始化，且只能赋值一次。它不像成员变量有默认值，也不参与类加载过程，其约束完全在编译期由Java语言规范强制检查。
必须显式初始化，无默认值
局部变量（包括 final）不会被自动赋予默认值（如 0、false、null）。未初始化就访问会直接导致编译错误：
-
错误示例：
final int x; System.out.println(x);→ 编译失败：“variable x might not have been initialized” -
正确方式之一（声明即初始化）：
final int x = 42; -
正确方式之二（声明后、使用前初始化）：
final int x; x = 42; System.out.println(x);
初始化只能发生一次，且不可通过分支“遗漏”
如果用条件语句（if/else、switch）或循环控制初始化，编译器会严格检查所有可能执行路径是否都对 final 变量完成且仅完成一次赋值：
-
错误示例（if 没有 else）：
final String s; if (cond) s = "a"; System.out.println(s);→ 编译失败，因 cond 为 false 时 s 未初始化 -
错误示例（重复赋值）：
final int y; y = 1; y = 2;→ 编译失败：“cannot assign a value to final variable” -
正确示例（覆盖所有分支）：
final String s; if (cond) s = "a"; else s = "b"; System.out.println(s);
初始化时机与作用域强绑定
final 局部变量的生命周期始于初始化完成，止于所在代码块结束。它的“不可变”仅针对引用或基本值本身，不约束其所指向对象的内部状态：
立即学习“Java免费学习笔记（深入）”；
-
final List<string> list = new ArrayList();</string>合法 —— list 引用不可再指向其他对象 -
list.add("hello");合法 —— ArrayList 内部内容仍可修改 -
list = new ArrayList();非法 —— 试图重新赋值 final 引用
常见易错场景提醒
- 在 try-catch 中初始化需确保每个分支（包括 catch 和 finally）都不导致未初始化或重复初始化
- for 循环内声明的 final 变量，每次迭代都是新变量，可各自初始化（如
for (int i = 0; i ） - lambda 表达式中捕获的局部变量必须是“实际上的 final”（effectively final），即即使没写 final，也必须满足只赋值一次的约束
