java支持不规则二维数组的根本原因在于其采用“数组的数组”内存模型，外层数组存储指向独立一维数组的引用，各子数组在堆中单独分配、长度互不影响。
Java 支持不同长度的二维数组行，根本原因在于它的二维数组不是一块连续内存上的“矩形表格”，而是“数组的数组”——外层数组里存的是一组引用，每个引用指向一个独立的一维数组，而这些一维数组在堆内存中各自分配、互不影响。
内存模型决定灵活性
Java 中声明 int[][] arr = new int[3][]，实际只创建了一个长度为 3 的引用数组，每个元素初始为 null。后续你可以分别给 arr[0]、arr[1]、arr[2] 赋值不同长度的一维数组，比如：
-
arr[0] = new int[2];→ 分配 2 个整数空间 -
arr[1] = new int[5];→ 单独分配 5 个整数空间 -
arr[2] = new int[1];→ 再单独分配 1 个整数空间
这三块内存彼此无关，长度自然可以不同。
与 C 语言的关键区别
C 语言的 int arr[3][4] 是在栈上分配一块连续的 12 个整数空间，编译器靠固定列宽计算偏移量；而 Java 不依赖这种数学映射，它靠引用来间接访问，所以不强制对齐。
换句话说：C 需要“知道每行多长”才能算地址，Java 只需“拿到那一行的首地址”就行——这个首地址来自独立的一维数组对象。
语法设计配合运行时机制
Java 允许三种初始化方式，都体现这一思想：
- 分步赋值：
int[][] a = new int[3][]; a[0] = new int[2]; a[1] = new int[4]; - 大括号直接初始化：
int[][] b = {{1}, {2,3,4}, {5,6}};（编译器自动推断每行长度） - 动态生成：
for (int i = 0; i
只要每行完成初始化，访问 a[i][j] 就是安全的——因为 JVM 会先查 a[i] 是否非空，再查 j 是否小于 a[i].length。
这不是特例，而是设计本意
Java 把多维数组定义为“嵌套的一维数组”，不是语法糖，而是底层模型。这种设计让数组更贴近对象语义：每个子数组是一个可独立创建、销毁、替换的对象。因此“行长度不同”不是妥协或补丁，而是该模型的自然结果。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
