集合表达式非语法糖，需左侧声明类型确定生成逻辑；var x = [1, 2, 3] 推导为 int[] 而非 list，因集合表达式无自然类型，编译器无法自主选择目标类型。
集合表达式不是语法糖，它依赖左侧声明类型决定生成逻辑；var x = [1, 2, 3] 推导为 int[]，而非 List<int></int> —— 想用列表必须显式写 List<int> x = [1, 2, 3]</int>。
为什么 var list = [1, 2, 3] 编译失败？
因为集合表达式没有“自然类型”，编译器无法凭空决定该生成数组、列表还是其他集合。它只看左侧变量或参数的声明类型，再匹配构造路径。错误信息通常是 CS9176: There is no target type for the collection expression。
-
int[] a = [1, 2, 3];✅ 编译器直接生成new int[3]+ 初始化指令 -
List<int> b = [1, 2, 3];</int>✅ 调用List<int>(IEnumerable<int>)</int></int>构造函数 -
IEnumerable<int> c = [1, 2, 3];</int>✅ 生成只读数组并隐式转换 -
Span<int> d = [1, 2, 3];</int>✅ 仅限局部变量（栈分配），且不能用于字段
.. 展开运算符只能在 [] 内部使用
展开不是万能解构，也不是方法调用参数展开。它只在集合表达式内部合法，且右侧必须是可枚举或具备索引器+长度的类型（如 List<t></t>、Span<t></t>、T[]）。
-
var combined = [1, ..existingArray, 4];✅ -
var merged = [..list1, ..list2];✅ 支持多个展开 -
SomeMethod(..list);❌ 语法错误，..不在集合表达式上下文中 -
[..(object)list];❌ 类型不匹配，object没有GetEnumerator -
[..new ArrayList { 1, 2 }];❌ 非泛型集合不支持类型推导
嵌套和混合类型最容易踩坑
嵌套本身没问题，但类型一致性必须由开发者保障。编译器不做隐式升格，也不尝试找公共基类。
-
int[][] matrix = [[1, 2], [3, 4]];✅ 所有子数组都是int[] -
var points = [[0, 0], [1.5, 2.5]];❌int[]和double[]无公共目标类型 -
var mixed = [1, (short)2, 3];❌short不能隐式转int，推导中断 -
var strings = ["a", strVar, $"x{y}"];✅ 全部满足string类型
最常被忽略的一点：集合表达式不能用于常量、默认参数或属性初始化器中的 const 字段赋值——它不是编译时常量，而是在运行时构造的值。哪怕内容全是字面量，const int[] C = [1, 2, 3]; 也会报错。
