为何初始化交错数组（Jagged Array）必须使用new关键字？

你遇到的这个问题确实是C#里一个容易让人摸不着头脑的细节，本质是数组初始化器的语法规则和编译器类型推断能力的限制在起作用，咱们一步步理清楚：

先回顾普通一维数组的简化初始化 #

平时咱们写普通一维数组的时候，确实可以省略new和类型，比如：

// 等效于 int[] numbers = new int[] {1, 2, 3};
int[] numbers = {1, 2, 3};

这是因为编译器能直接从{1,2,3}里的元素类型，推断出这是一个int[]数组，所以它会自动帮你补全new int[]的部分，属于语法糖的范畴。

交错数组为什么不能省略new？ #

交错数组是数组的数组（比如int[][]，每个元素都是一个int[]类型的引用），当你尝试写：

// 这行代码会报错
int[][] jagged = {{1,2}, {3,4}};

编译器会犯难：它没法直接推断出你要的是交错数组int[][]，还是二维数组int[,]，甚至是其他嵌套类型的数组。嵌套的初始化器{{...}, {...}}本身没有明确的类型标识，编译器需要你通过new关键字来明确告诉它：外层的容器是一个int[][]类型的数组。

正确的交错数组初始化方式 #

有两种常见的正确写法：

1. 明确指定外层数组类型：

// 用new int[][]明确外层类型，编译器就能识别内部的子数组初始化器
int[][] jagged = new int[][] {{1,2}, {3,4}};

2. 利用类型推断，给子数组加new：

// 每个子数组用new int[]明确类型，编译器就能推断出外层是int[][]
int[][] jagged = new[] {new int[] {1,2}, new int[] {3,4}};

简单来说，普通数组的简化初始化是因为编译器能直接从元素推断类型，而交错数组是嵌套结构，必须通过new来给编译器提供明确的类型信息，它才能正确解析你的初始化意图。

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