Java数组初始化本质是堆中对象实例化，包含内存分配、默认赋值、引用建立三步；声明int[] arr仅栈上建引用（值为null），new才触发堆对象创建；所有数组继承Object，赋值为引用复制；默认初始化由JVM完成（基本类型置0、引用类型置null），显式初始化覆盖默认值；长度固定不可扩容，因内存布局要求连续定长；常见错误如NPE、越界、共享修改均源于内存行为理解偏差。
Java数组初始化，本质是完成一次对象的实例化过程——它发生在堆内存中，包含内存分配、默认赋值、引用建立三个关键动作。理解这点，才能避开空指针、长度误判、共享引用等典型问题。
数组不是基本类型，而是一个堆中的对象
声明 int[] arr; 只在栈上创建一个引用变量，此时 arr 的值为 null，尚未指向任何堆内存。真正触发对象创建的是 new int[5] 这类操作：JVM 在堆中划出一块连续空间（含数组头+5个int槽），并让 arr 指向这块地址。
这意味着：
- 所有数组（无论 int[]、String[] 还是自定义类型[]）都继承自 Object，具备 getClass()、toString() 等方法
- 数组变量赋值（如 arr2 = arr1）只是复制引用，两个变量指向同一块堆内存
- 修改 arr1[0] 同时会影响 arr2[0]，因为底层数据只有一个副本
初始化分两层：JVM自动填默认值 + 开发者手动赋值
执行 new int[3] 后，堆中内存已就位，JVM 立即把每个 int 元素设为 0；执行 new String[3] 后，每个元素被设为 null。这叫「默认初始化」，由 JVM 在内存清零阶段完成，无需代码干预。
立即学习“Java免费学习笔记（深入）”；
你后续写的 arr[0] = 100 或 arr = new int[]{1,2,3}，属于「显式初始化」——覆盖默认值，填充业务数据。
注意：
- 基本类型数组默认值固定（int→0，boolean→false，char→'\u0000'）
- 引用类型数组默认值统一为 null，不代表“空对象”，而是“无指向”
- 静态初始化 int[] a = {1,2,3} 是语法糖，编译后等价于 new int[]{1,2,3}，同样经历堆分配+默认值填充+显式赋值三步
长度固定、不可扩容，是堆内存布局决定的
数组长度在 new 时就写死在对象头或紧邻位置（HotSpot 实现），JVM 靠它计算元素偏移地址。比如 int[5] 占用 20 字节数据区（5×4），JVM 用首地址+索引×4 快速定位 arr[2]。若允许动态扩容，整个内存结构就得重排，违背数组“连续、定长、O(1)寻址”的设计初衷。
所以：
- arr.length 是 final 字段，运行期不可修改
- 所谓“扩容”，本质是 new 一个更大的数组，再用 System.arraycopy 或循环把旧数据搬过去
- 频繁增删场景应改用 ArrayList，它内部封装了这套扩容逻辑
实战避坑：从内存视角看常见错误
很多异常其实一眼就能从堆行为判断出来：
- NullPointerException：只声明未 new（如 String[] names; names[0] = "a";），栈上引用为 null，根本没堆对象可操作
- ArrayIndexOutOfBoundsException：下标越界，说明访问地址超出了那块连续内存的边界（如 new int[3] 却读 arr[5]）
- “修改没生效”或“意外被改”：多个引用指向同一数组对象，忘了这是共享内存，不是拷贝副本
- 二维数组部分初始化出错（如 int[][] mat = new int[2][];）：第一维对象已创建，但第二维每个元素仍是 null，必须单独 new 每一行
