Java中多维数组本质是“数组的数组”，因其外层为引用数组，每个元素指向独立分配、长度可变、物理地址不连续的内层数组，访问需两次解引用。
不规则多维数组（比如 Java 中的 int[][] arr = new int[3][]，随后给 arr[0]、arr[1]、arr[2] 分别赋不同长度的一维数组）之所以说“本质是数组的数组”，关键在于它的内存结构不是一块连续区域，而是由多个独立分配、彼此无关的一维数组，通过外层数组的引用串联起来。
外层数组只存“地址”，不存数据
声明 int[][] arr = new int[3][] 时，JVM 只做了这一件事：在堆上分配一个长度为 3 的一维数组，类型是 int[] —— 注意，这个数组每个元素的类型是“引用”，初始值全是 null。它不包含任何整数，也不预留子数组空间。
- 这就像准备了 3 个空信封，每个信封上写着“这里放一个 int[]”
- 真正装数字的盒子（即各子数组）还没造出来，后续要用
new int[4]、new int[7]等单独创建 - 每个子数组都在堆中任意位置分配，彼此可能相隔很远
子数组各自独立，长度互不影响
因为每个子数组都是单独 new 出来的，所以它们的长度、生命周期、内存位置完全解耦：
-
arr[0] = new int[2];→ 分配 2 个 int 的连续空间 -
arr[1] = new int[5];→ 另起一块 5 个 int 的连续空间，和前一块无关 -
arr[2] = null;或arr[2] = new int[0];都合法，不会影响其他行
这种灵活性正来自“数组套数组”的引用模型——外层数组只是导航索引表，不是数据容器。
访问过程需两次寻址，暴露嵌套本质
写 arr[1][3] 时，JVM 实际执行两步：
- 先查外层数组第 1 个槽位：
arr[1]→ 得到一个指向某块内存的引用（比如地址 0x7a2f） - 再用这个地址 + 偏移量访问第 3 个元素：
*(0x7a2f + 3×4)
中间有一次间接跳转，说明这不是单块内存上的线性偏移（如 C 的 int a[3][5]），而是明确的“先找数组，再找元素”的两级结构。
和连续多维数组对比，差异一目了然
C/C++ 中 int a[2][3] 是栈上一块连续 6 个 int 的内存；Java 的 int[2][3] 写法只是语法糖，底层仍是：
- 一个长度为 2 的
int[]引用数组 - 两个分别长度为 3 的
int[]数据数组 - 三块内存可能分散在堆的不同页中
所谓“不规则”，不是特例，而是这种模型的自然结果；所谓“规则矩形数组”，反而是所有子数组恰好长度一致的巧合。
