Java要求局部变量使用前必须显式初始化，因其栈帧不自动擦除旧数据、避免未定义行为；编译器通过控制流分析确保所有路径均赋值，强化确定性、安全性与协作可靠性。
Java 要求局部变量在使用前必须显式初始化，不是因为语法随意设限，而是为了保障程序的确定性和安全性——编译器拒绝运行时才暴露的未定义行为。
局部变量不自动赋予默认值
与类成员变量不同，局部变量（定义在方法、构造器或代码块内）不会被 JVM 自动初始化为默认值（如 int 为 0、Object 为 null）。这是设计上的主动选择：栈帧中的局部变量空间仅分配，不擦除旧数据，直接读取可能拿到任意残留值。
- 成员变量由对象实例化时统一初始化，有明确生命周期起点
- 局部变量生命周期短、复用频繁，自动赋默认值会掩盖逻辑疏漏，且增加无意义的初始化开销
编译期强制检查，堵住不确定性源头
Java 编译器对每个局部变量维护一个“是否已确定赋值”的控制流分析状态。只要存在任何执行路径下该变量未被赋值就直接读取，编译即失败。
- 例如 if-else 分支中只在 if 块里赋值，后续使用会报错；需确保所有路径都覆盖
- 循环内部声明的变量，每次迭代都是新变量，每次使用前仍需各自初始化
- 这比运行时抛 NullPointerException 或读到随机数更早暴露问题
与 final 局部变量的协同约束
当局部变量被声明为 final，Java 还要求它必须“一定被赋值且仅赋值一次”。这种双重检查进一步强化了不可变语义和线程安全前提（尤其在 lambda 中捕获时）。
立即学习“Java免费学习笔记（深入）”；
- 编译器会追踪所有可能的赋值点，确保没有遗漏路径，也没有重复赋值
- 哪怕逻辑上“必然走某分支”，只要编译器静态分析无法 100% 确认，就不通过
对比其他语言的设计取舍
像 C/C++ 允许读取未初始化局部变量（结果未定义），Go 要求声明即初始化（var x int 默认为 0，x := 5 显式赋值），而 Java 选择最严格的显式路径——宁可多写一行 int count = 0;，也不接受隐式假设。
- 目标是让“变量有值”这件事完全由程序员掌控，而非依赖环境或巧合
- 这对大型项目协作、静态分析工具支持、以及 JIT 优化都更友好
