java多维数组本质是“数组的数组”，jvm仅支持一维数组类型，如[[i表示int[][]；访问arr[i][j]时分两步：先用aaload取行引用并检查i越界，再用iaload取元素并检查j越界。
Java 中多维数组的下标访问，在字节码层面并不是“真正”的多维结构，而是由一维数组嵌套模拟实现的。JVM 规范中只定义了一维数组类型（如 [I 表示 int[]，[[I 表示 int[][]），所有“多维”都通过引用链展开——比如 int[][] 实际是「元素为 int[] 引用」的一维数组。
多维数组在 JVM 中的内存布局
以 int[][] arr = new int[3][4]; 为例：
- JVM 先在堆上分配一个长度为 3 的引用数组（类型为
[[I），每个元素初始为null； - 接着为每一行分别分配一个长度为 4 的
int[]（类型为[I），并将这些数组对象的引用存入外层数组对应位置； - 最终形成“数组的数组”，而非一块连续的 3×4 整数内存块——这和 C/C++ 的真正二维数组有本质区别。
二维数组访问对应的字节码指令
执行 arr[i][j] 时，字节码会分两步完成，每步都含独立的边界检查：
-
第一步：获取行引用 —— 使用
aaload指令从外层数组读取第i个元素（即某个int[]的引用）；JVM 此时检查i = arr.length，越界则抛ArrayIndexOutOfBoundsException； -
第二步：访问列元素 —— 对上一步得到的
int[]引用再执行iaload指令读取第j个int值；JVM 再次检查j = row.length。
注意：两次检查完全独立，且中间可能因某行为 null 导致 NullPointerException（例如只初始化了部分行）。
字节码中的数组类型描述符
多维数组在常量池和方法签名中使用层级式描述符：
-
[I：一维 int 数组； -
[[I：二维 int 数组（即int[][]）； -
[[[Ljava/lang/String;：三维 String 数组（即String[][][]）； - 描述符中每多一个
[，就表示向内嵌套一层引用数组。
为什么没有直接的「multi-aload」指令？
JVM 字节码设计保持正交性与简洁性。它不提供专门处理多维索引的复合指令，因为：
- 所有多维访问都可拆解为多个一维操作，语义清晰；
- 每层独立检查符合安全模型（如沙箱、数组边界防护）；
- 编译器（javac）已负责将
arr[i][j]编译为标准的两级 aload + iload 序列，无需 VM 层额外支持。
