Java变量声明本身不分配内存空间，只有在初始化或赋值时才真正占用内存；局部变量声明后无默认值，必须显式初始化才能使用，而成员变量由JVM在类加载时自动赋予默认值（如0、false、null）。
Java变量声明本身不分配内存空间，只有在初始化或赋值时才真正占用内存。这个看似简单的行为背后，涉及栈与堆的分工、类型差异、编译检查逻辑等多个层面，直接影响程序健壮性和调试体验。
声明 ≠ 分配：编译器只记下“将来要用”
写 int x; 或 String s; 时，JVM 并未在内存中划出任何空间。它只是把变量名和类型登记进符号表，告诉编译器：“后续代码里会出现这个变量，类型已知”。此时若直接使用（如 System.out.println(x);），编译器会报错“可能尚未初始化”，因为它无法保证该变量有确定值。
- 基本类型：声明后无默认值（局部变量），必须显式初始化才能读取
-
引用类型：声明后变量值为
null（仅限类成员变量；局部引用变量同样不自动初始化） -
例外情况：类字段（field）会被 JVM 自动赋予默认值（
0、false、null），但这属于类加载阶段的初始化，不是声明语句触发的
何时真正分配内存？看变量位置和初始化方式
内存分配发生在变量首次获得有效值的那一刻，具体位置取决于变量类型和作用域：
-
局部变量（方法内）：分配在栈上。例如
int a = 5;→ 栈中划出 4 字节，存入数值5 -
对象引用变量：栈中分配存储“地址”的空间（通常 4 或 8 字节），但对象本体在堆中 ——
Person p = new Person();中，p在栈，new Person()返回的对象在堆 -
数组变量：同引用类型。
int[] arr = new int[10];→arr是栈中引用，new int[10]在堆中开辟连续 10 个 int 的空间
基本类型 vs 引用类型：内存行为差异明显
这是最容易踩坑的点。赋值操作对两者的影响完全不同：
立即学习“Java免费学习笔记（深入）”；
-
基本类型赋值是值拷贝：
int a = 10; int b = a;→b得到的是a的副本，修改b不影响a -
引用类型赋值是地址拷贝：
Person p1 = new Person("A"); Person p2 = p1;→p2和p1指向堆中同一个对象，改p2.name就等于改p1.name -
验证技巧：用
==比较基本类型看值是否相等；比较引用类型看是否指向同一块堆内存
实战避坑：常见错误与对应解法
很多空指针、数据意外共享、编译失败问题，根源都在忽略声明与分配的区别：
-
局部引用未初始化就使用：写
String s; s.length();→ 编译通过但运行报NullPointerException。解法：声明即初始化，如String s = "";或明确赋值后再用 -
误以为数组声明就分配了元素空间：
int[] nums;后直接nums[0] = 1;→ 报NullPointerException。解法：必须nums = new int[5];或nums = {1,2,3}; - 混淆栈释放与堆回收：方法结束，局部变量（栈帧）立刻消失，但它们指向的堆对象只要还有其他引用，就不会被回收 —— 这是内存泄漏的常见温床
