Java里局部变量不初始化就用，编译器直接报错
Java编译器对局部变量（方法内声明的变量）做严格检查：只要在读取前没明确赋值，javac 就会拒绝编译，抛出 variable xxx might not have been initialized 错误。
这不是运行时问题，是编译期拦截。比如：
void test() {
int x;
System.out.println(x); // 编译失败
}
- 即使写了
if (true) x = 1;，编译器也不认——它只看控制流是否“确定可达”，不推理逻辑真假 -
final局部变量也必须在声明后、首次读取前完成赋值，且只能赋一次 - 字段（类成员变量）不受此限，它们有默认值；但局部变量没有“默认值”概念，未赋值=非法状态
成员变量有默认值，但不等于“已初始化”
类字段（static 或非 static）在对象创建或类加载时会被自动赋予默认值：0、false、null。但这只是JVM行为，不是你写的初始化逻辑。
例如：
立即学习“Java免费学习笔记（深入）”；
class A {
int x; // 默认为 0，但你没写任何初始化代码
String s; // 默认为 null
static boolean flag; // 默认为 false
}
- 默认值不触发构造器、不调用任何方法，纯内存填充
- 如果业务上要求
s必须是非null字符串，靠默认值反而埋雷——s.length()会抛NullPointerException - 想确认“是否被你主动初始化”，得看源码里有没有显式赋值语句，或构造器/初始化块中是否覆盖了默认值
判断“是否已初始化”的实际做法：别猜，看代码路径
Java没有运行时API能查某个变量“是否被初始化过”。所谓判断，本质是人工或工具分析赋值路径是否全覆盖。
- 对局部变量：检查所有可能执行到读取点的路径，是否每条都包含该变量的赋值（包括
if/else、try/catch各分支） - 对字段：检查声明时初始化、构造器、实例初始化块、静态初始化块中是否至少有一处显式赋值
- IDE（如IntelliJ）会标黄警告未初始化的局部变量，但对字段不会——它默认信任默认值，你需要自己按业务语义判断是否足够
- 用
@NonNull等注解配合检查工具（如Checker Framework），能在编译期捕获部分“本该非空却依赖默认null”的问题
容易忽略的坑：复合赋值与条件表达式
看似简单的写法，可能绕过编译器检查，导致逻辑错误。
-
int x; if (cond) x = 1; else x = 2; System.out.println(x);✅ 安全——编译器能推导出必赋值 -
int x; if (cond) x = 1; System.out.println(x);❌ 编译失败——else缺失，路径不全 -
int x = cond ? 1 : 2;✅ 安全，三元运算符强制两个分支都存在 -
Integer x; x = cond ? 1 : null;⚠️ 注意：虽然编译通过，但后续若调用x.intValue()可能NPE——编译器不管装箱/拆箱风险
真正麻烦的是那些跨方法、跨线程的“初始化感知”——Java没提供反射手段查字段是否走过初始化块，这时候靠文档、约定和测试覆盖更实在。
