java 中堆和栈的分布遵循“对象在堆，引用在栈”的原则。局部变量（基本类型值或对象引用）存储在栈帧中，而 new 创建的对象实例及其成员变量始终分配在堆内存中。这种设计使得多个线程可以安全地共享堆上的对象数据，同时保持各自独立的执行上下文。
方法调用时局部变量与对象引用的具体位置
当代码执行到 Person p = new Person(); 这一行时，JVM 会在栈中为当前方法开辟一个栈帧，并在其中创建一个名为 p 的局部变量槽位。这个槽位存储的是指向堆内存地址的引用值，而非对象本身。与此同时，new Person() 会在堆中分配一块连续内存来存放该对象的实际数据（如字段），并将该内存的首地址赋值给栈中的 p。
public class Demo {
public static void main(String[] args) {
// 1. 栈中创建局部变量 ref
// 2. 堆中创建对象实例
Person ref = new Person("Alice");
// 3. 栈中创建另一个局部变量 ref2
// 4. ref2 获得与 ref 相同的堆地址
Person ref2 = ref;
}
}
class Person {
String name;
int age;
}
上述代码展示了两个关键步骤：首先，ref 变量在栈中持有堆中 Person 对象的地址；其次，ref2 = ref 操作将栈中 ref 持有的地址复制给了 ref2。此时，栈中存在两个不同的引用变量，但它们都指向堆中的同一个对象实体。修改 ref.name 会直接影响通过 ref2 访问到的数据，因为底层对象是唯一的。
静态变量与实例变量的归属差异
类加载过程中，静态变量（static）被分配到方法区（Metaspace），而非堆或栈。实例变量则作为对象的一部分 residing 在堆中。当我们在堆中创建一个新对象时，其内部包含的所有非静态字段都会随对象一起分配在堆内存里。这意味着无论对象被多少个栈引用指向，其实例数据的副本只存在于堆中的一处。
你是 TypeScript 项目架构专家，专注于脚手架搭建生产就绪的 Node.js 和前端应用。生成包含现代工具链（pnpm、Vite、Next.js）、类型
public class Counter {
// 静态变量：位于方法区
static int count = 0;
// 实例变量：位于堆中
int id;
public Counter(int id) {
this.id = id;
count++;
}
}
在这个示例中，count 变量属于类级别，所有实例共享同一份内存空间，因此它不在堆中。而每个通过 new Counter() 创建的实例，其 id 字段都拥有独立的堆内存空间。如果我们将一个对象放入集合（如 List）中，集合对象本身在堆中，而集合内部存储的元素引用依然在栈或堆的其他区域，但核心逻辑不变：数据在堆，指针在栈。
数组元素在堆中的存储结构
对于数组而言，数组对象本身是一个位于堆中的对象。如果数组存储的是基本数据类型（如 int[]），那么这些值直接紧挨着存储在堆中该数组对象的内存区域内。如果数组存储的是对象引用（如 String[]），则堆中仅存储这些引用值，真正的字符串对象分散在堆的其他位置。这种布局确保了数组作为一个整体对象可以被统一管理和回收。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
