对象实例只在堆中分配,所有通过new、反射、克隆或反序列化创建的对象,其完整数据(包括成员变量、对象头、数组元素等)均严格存于堆内存;引用变量则根据作用域分别存于栈(局部变量)、堆(实例变量)或方法区(静态变量)。

对象实例只在堆中分配
所有通过 new、反射、克隆或反序列化创建的对象,其完整数据(包括成员变量、对象头、数组元素等)都严格分配在堆内存中。这是JVM规范强制要求的,与对象大小无关——哪怕只有一个 int 字段,也落在堆里。
数组是对象,String 字面量对应的实例(如 "hello")在 JDK 7+ 后也位于堆中(字符串常量池已从永久代迁移至堆)。堆是线程共享区域,由GC统一管理生命周期;对象创建时,堆会为其划分连续空间,并按规则初始化默认值(0、null、false 等)。
引用变量位置取决于作用域
“引用变量”本身不是对象,而是存储对象地址值的容器,它的存放位置由声明位置决定:
- 局部变量(含方法参数):存于当前线程的虚拟机栈帧的局部变量表中,占 4 字节(32 位 JVM)或 8 字节(64 位 JVM,开启指针压缩后仍为 4 字节)
- 实例变量(非 static 成员):作为对象数据的一部分,随对象一起存在堆中;即“引用字段本身”就存于堆
- 静态变量(static 字段):引用值存于方法区(JDK 8+ 为元空间)的类元信息结构中
栈中只存“地址”,不存对象本体
栈的作用是支撑方法执行,它不负责存储复杂、可变长的数据。例如:
-
String s = new String("abc");→ 变量s存在栈中,内容是堆中那个 String 对象的起始地址 -
String t = s;→ 新增一个栈变量t,也存相同地址;堆中对象仍只有一个 - 方法结束时,栈帧弹出,
s和t消失;若无其他引用指向该对象,它就进入 GC 待回收队列
基本类型(int、boolean 等)直接存值在栈中,因其大小固定、生命周期明确,无需堆管理。
堆与栈协同工作的关键逻辑
二者通过地址完成绑定,但职责分明:
- 栈是运行单位:解决“怎么执行”,存局部状态、调用链、返回地址
- 堆是存储单位:解决“数据放哪”,承载所有动态对象和生命周期不确定的数据
- 栈中引用只是“轻量指针”,堆中对象才是“真实数据体”;没有栈引用,堆对象可能被回收;没有堆对象,栈引用就是 null
这种分离设计保障了线程安全(栈私有)、内存高效(堆共享 + GC 自动回收),也解释了为什么 Java 没有真正的“引用传递”——传参时复制的是栈中的地址值,而非对象本身。











