Java数组初始化核心是“栈上建引用、堆上分空间”：声明仅在栈创建null引用，初始化（无论new或{}）均在堆分配含length头部和元素的连续内存。
Java数组初始化，核心在于“栈上建引用、堆上分空间”。声明变量只是在栈里留个空位，真正分配内存、存数据、记长度，全发生在堆中——无论你写的是 new int[5] 还是 {1, 2, 3}。
静态初始化也走堆，不是语法糖那么简单
很多人误以为 int[] arr = {1, 2, 3}; 没有 new 就不走堆。其实这是编译器自动补全的语法糖，底层等价于 int[] arr = new int[]{1, 2, 3};。JVM 仍会在堆中分配连续内存块：含 4 字节头部（存 length = 3）+ 12 字节数据区（三个 int），再把堆首地址赋给栈中的 arr。
- 即使没写
new，只要数组有了具体元素，就一定创建了堆对象 -
arr.length是直接读堆头部字段，不是方法调用，零开销 -
new int[0]同样分配堆对象（有头部、无数据区），而null连堆对象都没有
堆内存布局固定：头部 + 数据区
数组在堆中不是一坨裸数据。它有明确结构：
- 头部：紧挨堆起始地址，固定存放 length 值（只读，不可修改）
- 数据区：从头部之后开始，连续存放所有元素
- 访问
arr[i]时，JVM 实际计算地址为：堆首地址 + 4 + i × 4（跳过 4 字节头部，再按索引偏移）
例如 int[] arr = new int[3];，若堆首地址是 0x1000，则：0x1000–0x1003 存 length = 3，0x1004–0x1007 存 arr[0]，依此类推。
栈变量只是“路标”，不存数据也不参与运算
栈里的 arr 变量本身很小（通常 4 或 8 字节），只保存一个地址值，比如 0x1000。它既不存数组内容，也不参与任何计算。
立即学习“Java免费学习笔记（深入）”；
- 多个引用可指向同一堆数组：
int[] b = arr;→ 改b[0]就等于改arr[0] - 方法结束时，栈变量消失，但堆数组只要还有其他引用指向它，就不会被 GC 回收
- GC 判定对象是否可回收，只看堆中是否有活跃引用，和栈变量生命周期完全无关
动态 vs 静态：区别只在初始化时机，堆分配本质相同
动态初始化（如 new int[5]）和静态初始化（如 {1,2,3}）看似不同，但在堆分配层面完全一致：
- 都分配连续堆内存，都带 length 头部
- 动态初始化：元素默认初始化（
int为 0，Object为null） - 静态初始化：元素按字面量直接填入，length 由元素个数决定
- 引用类型数组（如
String[]）堆中存的是引用地址，实际String对象可能在常量池或堆其他位置
