java中局部变量声明后不赋值，编译器会报错“variable might not have been initialized”，因其执行确定赋值检查；而实例变量和静态变量由jvm在对象创建或类初始化时自动赋予默认值（如null、0、false）。

局部变量声明后不赋值，编译器直接拒绝

Java 编译器对局部变量执行“确定赋值检查”（definite assignment analysis），String s; 这种写法本身合法，但只要在未显式赋值前就访问 s，比如 s.length() 或甚至 System.out.println(s);，Javac 就会报错：error: variable s might not have been initialized。这不是 JVM 运行时行为，而是编译期强制约束——JVM 根本不会看到这种代码。

成员变量未显式初始化，JVM 在对象创建时写入 null

类的实例变量（非 static）或静态变量，在对应对象分配内存（new）或类初始化（clinit）阶段，由 JVM 按规范执行“零值初始化”：所有引用类型字段被写入 null，int 写入 0，boolean 写入 false。这个过程发生在字节码层面，你写的 String name; 和 String name = null; 编译后生成的 putfield 指令完全一致——JVM 不区分“没写等号”和“写了 = null”，它只保证字段有确定初始值。

String s = null 与 String s; 在字节码里是否一样？

不一样，但仅对局部变量成立：

• String s = null; → 编译为 astore_n（把 null 压栈再存入局部变量表第 n 槽）
• String s; → 不生成任何赋值指令，但该槽位在方法调用开始时已被 JVM 初始化为 0（对引用类型等价于 null），不过编译器禁止你在逻辑上“读取”它

注意：这个 0 是栈帧局部变量表的默认填充值，和成员变量的“零值初始化”机制无关，也**不可靠读取**——因为编译器不允许你触发这个读取动作。

为什么不能靠反射或 Unsafe 观察“未初始化”的局部变量？

局部变量只存在于栈帧中，生命周期严格绑定方法调用；它没有运行时元信息，无法被反射获取；Unsafe 也不能跨栈帧读取任意槽位——你连地址都不知道。所谓“未初始化”，在 JVM 规范里根本不是一个可观测状态，它只是编译器设的一道闸门。真正能被观测到的只有两种明确状态：null（已赋值）或抛出 NullPointerException（已赋值为 null 后调用方法）。