Java局部变量必须显式初始化，因栈帧复用内存不自动清零，编译器通过控制流分析确保所有路径均赋值，杜绝未定义行为。
Java 要求变量必须先声明、再初始化（或赋值）、最后使用，这不是语法习惯，而是编译器在做静态类型校验时的硬性检查流程；跳过任一环节，javac 就会直接报错，不给运行机会。
为什么局部变量不初始化就用会编译失败
局部变量（定义在方法、代码块或构造器内）由编译器严格追踪“是否已确定赋值”。它不依赖默认值，也不做运行时兜底。
-
int x;声明后未赋值，紧接着System.out.println(x);→ 编译报错：variable x might not have been initialized - 即使逻辑上“肯定走得到赋值分支”，比如
if (true) x = 1;，编译器仍不认可——它只做确定性可达分析，不执行逻辑推断 - 这和实例变量/静态变量不同：它们有默认值（
0、false、null），所以可跳过显式初始化
声明时初始化 vs 声明后赋值，对类型校验的影响一样吗
完全一样。编译器只关心“在首次读取前，该变量是否已被赋予一个类型兼容的值”，不区分是一行写完还是分两行。
-
String s = "hello";和String s; s = "hello";都通过校验 - 但
String s; s = 123;会立刻报错：incompatible types: int cannot be converted to String - 注意：如果用
final修饰，还要求“仅能赋值一次”，此时声明后赋值必须确保只发生一次（如放在if-else里两边都赋值，否则也报错）
类型校验发生在编译期，不是运行时
所有类型匹配检查都在 javac 阶段完成，class 文件里不存类型声明语义，只存字节码指令。这意味着：
立即学习“Java免费学习笔记（深入）”；
-
Object obj = new ArrayList();合法，但后续obj.size()会编译失败——因为Object类没有size()方法 - 泛型擦除后，
List<string></string>和List<integer></integer>在运行时都是List，但声明时的类型参数决定了编译器允许调用哪些方法、接受哪些参数 - 强制类型转换如
(String) obj不会在编译时报错（只要obj是引用类型），但运行时可能抛ClassCastException
真正容易被忽略的是：强类型校验只管“声明路径上的确定性”，不管“业务逻辑上的必然性”。哪怕你手写 while(true) { break; } 包裹赋值，编译器依然可能拒绝——它不跑循环，只看控制流图是否覆盖所有分支。这点和 Kotlin 的空安全或 Rust 的借用检查器思路不同，是 Java 编译器保守设计的体现。
