java数组引用变量存栈中,数组本体存堆中;栈中仅存地址,堆中含对象头、length字段和连续数据区,基本类型数组存数值,引用类型数组存对象引用。

Java数组在内存中分两部分存储:引用变量在栈中,数组本体在堆中。理解这个分离机制,是避免空指针、理解参数传递、排查内存泄漏的关键。
栈中只存“地址牌”,不是数据本身
声明一个数组变量,比如 int[] arr;,JVM只在当前方法的栈帧里分配一个很小的空间(通常4或8字节),用来存放将来指向堆中数组的地址。此时 arr 的值是 null,它不指向任何实际数据,也不能访问元素。
常见误区:以为声明就占了10个int的空间——其实没有。那块空间还没申请,栈里只有个“空地址牌”。
堆中才是真实数组,连续且固定大小
执行 arr = new int[5]; 时,JVM才在堆内存中开辟一块物理连续的区域,大小由类型和长度决定(如 int[5] 至少占用 20 字节数据区 + 对象头 + length 字段)。这块区域包含:
- 对象头(含GC信息、类元数据)
- 4 字节的 length 字段(数组长度不可变)
- 紧随其后的数据区(int 类型直接存数值,String 类型则存对象引用)
注意:一旦创建,这块堆内存大小就固定了,无法扩容;后续所有 arr[i] = ... 操作,都是在修改这块连续区域里的对应位置。
基本类型数组 vs 引用类型数组:存的内容不同
虽然都存在堆里,但数据区内容有本质区别:
- int[]、double[] 等:数据区直接存数值(如 1、3.14、true)
- String[]、User[] 等:数据区存的是对象引用(即地址),每个元素可能指向堆中不同位置的实例,彼此不要求连续
例如:String[] s = new String[2]; s[0] = "hello"; —— 堆里会存在两个独立对象:一个是长度为2的数组对象,另一个是字符串常量池或堆中的 "hello" 实例,s[0] 存的是后者的地址。
传参和赋值的本质:传递的是引用的副本
把数组传给方法,或写 int[] b = arr;,都不是复制整个数组,只是把栈中那个“地址”拷贝了一份:
- 修改 b[0] = 99 → 原 arr[0] 也变成 99(因为操作同一块堆内存)
- 但执行 b = new int[3]; → 只让 b 指向新数组,arr 仍指向原来的堆区域
这就是为什么方法内重新 new 数组不会影响调用方,而修改元素却会生效——关键看操作的是“地址”还是“地址所指的内容”。
Java免费学习笔记:立即使用
解锁 Java 大师之旅:从入门到精通的终极指南











