Java中分配二维数组时指定第二维度的意义及相关疑问

为什么int[][] arr = new int[1][1]; arr[0] = new int[2];是合法的？ #

Java里的多维数组本质是数组的数组，并非一块连续的二维内存区域。new int[1][1]实际做了两件事：

1. 创建一个长度为1的外层数组，数组内每个元素都是int[]类型的引用；
2. 给外层数组的第一个元素（arr[0]）赋值了一个新创建的、长度为1的int数组。

而外层数组的元素只是普通的对象引用，和String、List这类引用类型一样，你完全可以把它重新指向另一个任意长度的int数组——这本质是引用的替换操作，和最初的引用指向什么对象无关。

既然可以修改内层数组的长度，为什么允许指定第二维度的大小？ #

这个语法是为了快速创建规则的二维数组（即所有内层数组长度相同的数组），省去手动循环初始化的麻烦。比如new int[5][3]会直接创建5个长度为3的int数组，自动赋值给外层数组的每个元素，不用你额外写循环逐个执行arr[i] = new int[3];。

这和Java多维数组的设计逻辑不冲突：即使初始是规则数组，你依然可以修改某一行的引用，既保留了灵活性，又提供了初始化的便利性。

什么时候int[][] arr = new int[1][1];比int[][] arr = new int[1][];更实用？ #

有这几种场景：

• 需要直接使用默认值：new int[1][1]会把内层数组的元素初始化为int的默认值0，而new int[1][]的arr[0]是null。如果初始化后马上要访问arr[0][0]，前者不会抛出空指针异常，后者会。
• 确定初始内层数组长度：如果你一开始就明确需要一个长度为1的内层数组，且后续大概率不会修改它的长度，直接初始化可以少写一行arr[0] = new int[1];的代码。
• 规避空指针风险：在复杂业务逻辑中，提前初始化内层数组可以避免后续忘记赋值导致的空指针问题，让代码更健壮。

内容的提问来源于stack exchange，提问作者flamasterrr