java编译器强制局部变量确定性赋值，禁止未初始化使用：通过静态分析所有控制流路径（if/else、try/catch、switch等）确保每条路径都赋值，不依赖运行时推理；因栈内存复用存在残留数据风险，故不设默认值以暴露逻辑漏洞。
Java 编译器会直接阻止使用未初始化的局部变量——不是警告，而是编译失败。这不是限制，而是语言强制你面对所有执行路径，确保变量在读取前一定有明确值。
编译器只认“确定性赋值”，不猜逻辑
它不做运行时推理，只静态扫描每一条可能的控制流路径：
- if 分支里赋值，但没写 else → 编译器认为“条件为 false 时变量没被赋值”，后续使用就报错
- try 块内赋值，catch 后直接使用 → 异常抛出时变量根本没机会初始化
- switch 缺少 default，或 case 没覆盖全部枚举值 → 输入意外时无赋值路径
- 多个并列 if（非 if-else if-else），区间有缝隙（如浮点数边界）→ 某些输入跳过所有分支
两种可靠做法，按语义选一种
不是“随便挑一个”，而是看变量是否天然有中性初值：
- 声明即初始化：适合有合理默认值的场景，比如 double total = 0.0;、String name = "";、int count = -1;
- 强制路径全覆盖：适合初始值必须由业务决定的情况，比如用 if-else if-else 替代并列 if，catch 中补默认值或 rethrow，switch 必加 default
为什么局部变量不设默认值？这是安全设计
和成员变量不同，局部变量栈帧复用内存，残留旧数据风险高。不自动清零，是为了避免掩盖逻辑漏洞：
- 如果允许读取随机栈内容，结果不可预测；编译期拦截能提前暴露问题
- 看到 System.out.println(x)，就能确信 x 之前已被某处逻辑赋予了意义
- 这种确定性是 IDE 提示、JIT 优化、lambda 捕获安全的前提
