为何Java二维数组允许行长度超过声明的大小？

现象本质 #

你遇到的情况核心在于Java的二维数组本质是数组的引用数组，并非固定维度的矩阵：

• 执行char[][] positions = new char[10][10];时，实际创建了：
  • 一个可容纳10个char[]引用的外层数组
  • 为外层数组的每个位置，初始化了一个长度为10的char[]数组，并把引用赋值过去
• 而循环里的positions[i] = f.readLine().toCharArray();，是直接用新生成的char[]引用替换了外层数组第i位原来的引用——原来那个长度10的数组会被GC自动回收，新数组不管长度多少，只要是char[]类型就能被外层数组接收，这就是超长元素能正常存储、遍历的原因。

是否存在风险？ #

这种行为是Java语言允许的，不会直接触发报错，但要注意潜在的逻辑风险：

• 如果后续代码有默认每行长度为10的逻辑（比如硬编码遍历10次、依赖positions[i].length == 10做业务判断），会因为实际数组长度不符导致逻辑错误
• 内存层面无异常，新数组的内存是正常分配的，只要不超出JVM内存上限就不会出现OOM问题

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