Java数组在堆中分配，变量为栈中引用；含对象头、长度字段和元素区，基本类型元素内联存储，引用类型仅存指针；newarray指令触发分配并默认初始化。
Java 数组的内存分配不是“一拍脑袋就分配”，而是由 JVM 在运行时严格遵循堆内存模型、对象头结构和类型语义共同决定的。关键在于：数组是对象，它在堆上分配；数组变量只是栈上的引用；初始化动作触发实际内存申请。
数组本质是堆中的对象实例
无论 int[] 还是 String[]，数组在 JVM 中都属于引用类型，其本身是一个对象。这意味着：
- 数组对象一定分配在堆内存中（JDK 8+），不受逃逸分析影响（极少数场景除外）
- 数组变量（如
int[] arr）存于虚拟机栈的局部变量表里，只保存指向堆中数组对象的引用地址 - 数组对象包含两部分：对象头（含元信息如长度、哈希码、GC标记位） + 元素连续存储区
- 基本类型数组（如
int[100]）的元素直接内联在对象头之后；引用类型数组（如String[5]）则只存null引用，真正对象另在堆中分配
字节码层面看数组创建过程
以 int[] arr = new int[3]; 为例，javac 编译后生成的核心字节码为：
-
iconst_3：将常量 3 压入操作数栈 -
newarray T_INT：根据栈顶数值，在堆中分配一块连续空间（含对象头 + 3×4 字节），并返回首地址 -
astore_1：将该地址存入局部变量表索引 1 的位置（即变量arr）
注意：newarray 指令直接触发堆内存分配，且所有元素默认初始化为 0（int）、false（boolean）或 null（引用类型），这个初始化是 JVM 保证的原子行为，无需额外字节码。
立即学习“Java免费学习笔记（深入）”；
不同初始化方式对应的内存行为
静态初始化与动态初始化，底层内存分配逻辑一致，区别仅在字节码指令和初始化时机：
-
动态初始化（
new int[5]）：执行newarray或anewarray指令，JVM 分配空间并自动填默认值 -
静态初始化（
new int[]{1,2,3}）：先用iconst_i/ldc等指令把每个值压栈，再用iconst_3+newarray分配空间，最后用多次iastore把栈中值逐个写入数组元素 - 多维数组（如
int[2][3]）本质是“数组的数组”：先分配外层数组（int[2][]），再为每个元素分别new int[3]—— 每个子数组都是独立堆对象
内存开销不能只算元素大小
一个 int[1000] 数组，直观觉得占 4000 字节，实际远不止：
- 对象头（HotSpot 64位，开启指针压缩）：通常 12 字节（Mark Word 8 + Class Pointer 4）
- 数组长度字段：4 字节（
int类型） - 对齐填充：JVM 要求对象起始地址为 8 字节倍数，可能补 0–4 字节
- 元素区：1000 × 4 = 4000 字节
- → 总计约 4016–4024 字节，而非简单 4000
引用类型数组（如 String[100]）更明显：对象头 + 长度字段 + 100×4 字节引用（32位压缩指针），但每个 String 对象本身另占堆空间，不计入此数组对象大小。
