局部变量必须显式初始化，否则编译失败。Java要求使用前赋值以确保安全，因局部变量无默认值，而成员变量有。编译器执行确定性赋值检查，防止未初始化读取，提升程序可靠性与可读性。
在Java中，局部变量必须在使用前进行初始化，否则编译器会报错。这与成员变量不同，成员变量有默认初始值（如int默认为0，引用类型默认为null），而局部变量没有。
局部变量没有默认初始化值
Java规定，定义在方法、构造器或代码块中的局部变量不会被自动赋予默认值。这意味着它们的值在未显式赋值前是不确定的。为了保证程序的安全性和可预测性，Java要求在读取局部变量之前必须明确赋值。
- 例如：int x; 只是声明了一个变量，但未初始化
- 如果此时执行 System.out.println(x);，编译器会报错："variable x might not have been initialized"
编译器的确定性赋值检查
Java编译器会进行“确定性赋值”分析（definite assignment analysis），确保每一个局部变量在被使用前至少被赋值一次。这是编译期检查，不是运行时行为。
- 即使代码逻辑上看起来一定会被赋值，但如果存在分支导致可能未赋值，依然会报错
- 例如：
int y;
if (someCondition) {
y = 10;
}
System.out.println(y); // 编译错误：y 可能未被初始化
因为 someCondition 为 false 时，y 没有被赋值，所以不能使用。
立即学习“Java免费学习笔记（深入）”；
设计原因：安全与清晰性
强制初始化是为了避免使用未定义的值，防止不可预知的行为。C/C++中未初始化的局部变量会包含栈上的随机值，容易引发难以调试的问题。Java通过编译时检查杜绝这类隐患。
- 提升代码可靠性：开发者必须明确变量的初始状态
- 减少运行时错误：避免因使用垃圾值导致逻辑错误
- 增强可读性：读者能清楚知道变量是从哪里开始使用的
基本上就这些。Java对局部变量的初始化要求是一种语言层面的安全机制，虽然增加了少许编码负担，但换来的是更高的程序稳定性和可维护性。不复杂但容易忽略。
