Java局部变量无默认值是刻意设计的安全机制：因栈帧复用内存不自动清零，JVM字节码验证强制“先写后读”，编译器通过数据流分析确保所有执行路径均初始化，而成员变量由堆内存清零保障。
Java 中局部变量没有默认值，不是疏忽，而是刻意设计的安全机制。它背后是 JVM 内存模型、字节码验证规则和编译器静态分析共同作用的结果。
栈帧复用，不自动清零
局部变量存储在方法调用时创建的栈帧中，而栈帧里的局部变量表是一块复用的内存槽（slot）。JVM 不会在每次方法调用时把这块内存清零——它可能残留上一次调用留下的随机数据。如果允许直接读取未初始化的 slot，程序就可能拿到不可预测的值（比如一个随机 int 或野引用），破坏类型安全和稳定性。
字节码验证强制“先写后读”
JVM 在加载字节码时会执行严格校验：任何对局部变量的读操作（如 iload、aload）前，必须存在对应写操作（如 iconst_1、astore）的标记。这个“已赋值”状态由编译器在生成字节码时插入，并被运行时校验器强制执行。
- 没赋值就读 → 编译失败，根本不会生成 class 文件
- 不会等到运行时报 NullPointerException 或数值异常
- 这是编译期保障，不是运行期补救
成员变量有默认值，是因为堆内存初始化有保障
成员变量属于对象的一部分，存在堆内存中。当执行 new MyClass() 时，JVM 分配对象内存后，会整体清零：数值型变 0，引用型变 null，boolean 变 false。这是对象创建协议的硬性步骤，发生在构造器执行之前。
立即学习“Java免费学习笔记（深入）”；
- 堆空间由 JVM 统一管理，可承担初始化开销
- 栈空间追求极致效率，不为每个方法调用做擦除动作
- 所以“谁负责初始化”取决于变量在哪块内存里
编译器的数据流分析堵住所有路径
javac 不只看代码写了没赋值，而是做全路径分析：检查 if/else、循环、try-catch 等所有可能执行路线。只要有一条路径导致变量“被读但未写”，就报错 variable might not have been initialized。
- 哪怕你写了 int x; if (true) x = 5;，它也接受——因为分析确认 x 必然被赋值
- 但 int x; if (flag) x = 5; 就不行，因为 flag 可能为 false
- 这种静态检查让错误暴露在编码阶段，而非上线后
