多维数组声明时不指定维度长度，因声明只定义类型契约而非分配内存。Java和C#中二维数组是“数组的数组”，各子数组长度可不同，初始化时才确定尺寸，以保持运行时灵活性和语言一致性。
因为数组的维度结构决定了内存布局方式，而编译器需要明确知道每一维的“边界”才能正确分配连续内存空间。直接指定所有维度长度在语法上看似合理，但会破坏语言设计中“声明与初始化分离”和“运行时灵活性”的核心原则。
声明阶段只负责类型契约
数组变量声明的本质是告诉编译器：“我将引用一个具有某类型元素的数组”，而不是“我现在就要划出一块固定大小的内存”。比如 int[][] matrix; 表示“这是一个引用，将来指向一个元素为 int[] 的数组”，此时连第一维有多少个 int[] 都未定，更无法确定每个 int[] 多长——这属于初始化时才需解决的问题。
多维数组不等于“矩形表格”
尤其在 Java 和 C# 中，二维数组其实是“数组的数组”，即第一维是若干个一维数组的引用，每个一维数组可独立创建、长度不同。例如：
-
int[][] arr = new int[3][];合法：表示有 3 个int[]引用，但每个都还没分配； arr[0] = new int[2];arr[1] = new int[5];arr[2] = new int[1];
如果强制声明时就写 int[3][4] arr;，就等于预设所有行必须是 4 列，剥夺了这种“不规则二维结构”的能力，也违背了引用语义。
初始化才是确定尺寸的唯一时机
只有在初始化时，编译器或运行时才有足够信息决定各维长度：
- 静态初始化：
int[][] x = {{1}, {2,3}, {4,5,6}};→ 第一维长度为 3，各子数组长度分别为 1、2、3； - 动态初始化：
int[][] y = new int[3][4];→ 明确第一维 3 行、第二维每行 4 列（此时才真正分配 12 个int）； - 半动态：
int[][] z = new int[3][];→ 只分配 3 个引用槽位，后续逐行分配，第二维长度由你控制。
语言一致性与错误预防
C、Java、C# 都统一要求：维度长度只能出现在 new 或初始化列表中，不能混入声明语法。这样做避免了歧义，比如 int[5][3] a; 看似清晰，但它既不是变量声明（没类型修饰符位置），也不是初始化（没等号和值），容易让编译器难判断意图，也容易和指针/类型别名混淆。统一规则让语法更干净，错误提示更明确。
