<p>C# 12 集合表达式 [1, 2, 3] 是编译器参与类型推导与构造调用的实能力，仅当目标类型明确且满足三类构造模式（T(params T[])、static T Create(ReadOnlySpan<T>) 或 ICollection<T>+无参构造）时生效；支持 int[]、List<T>、Span<T>（栈分配受限）、ImmutableArray<T>，不支持 HashSet<T>、Dictionary<K,V>、IEnumerable<T>；.. 展开要求被展开对象具备 Length/Count 和索引器或实现 IEnumerable<T>，但 IEnumerable<T> 不能展开进 Span<T>；泛型推导以首元素类型为准，后续元素须可隐式转换。</p>
[1, 2, 3] 这种写法在 C# 12 中不是“语法糖的炫技”，而是编译器直接参与类型推导和构造调用的实打实能力——它能工作，但只在目标类型明确、构造路径存在时才真正生效。
哪些类型能直接用 [...] 初始化
不是所有泛型集合都支持。编译器只认三类构造模式：T(params T[] items) 构造函数、public static T Create(ReadOnlySpan<t> items)</t> 工厂方法，或实现了 ICollection<t></t> 且有无参构造 + Add 方法。
-
int[]、string[]：原生支持，生成高效数组实例 -
List<T>：支持，调用new List<T>(ReadOnlySpan<T>)（.NET 6+） -
Span<T>和ReadOnlySpan<T>：仅限unsafe上下文或局部函数中使用，且必须栈分配（如Span<int> s = [1, 2, 3];在方法体内合法，但不能作为字段或返回值） -
ImmutableArray<T>：需引用System.Collections.Immutable，并确保有Create静态方法（NuGet 包 v7.0+ 默认提供） -
HashSet<T>、Dictionary<K,V>、IEnumerable<T>：不支持——没有匹配构造签名，强行写会报错CS8954: Collection expression cannot be converted to type 'HashSet<int>'
.. 展开操作符的边界条件
.. 看似自由，其实对被展开对象有硬性要求：它必须具备 Length 或 Count 属性，同时支持索引器（this[int]），或实现 IEnumerable<T>。但注意，这两者不能混用。
-
int[] a = [1, 2]; var b = [..a, 3];✅ —— 数组满足全部条件 -
Span<int> s = [4, 5]; var c = [..s, 6];✅ ——Span<T>支持Length和索引器 -
IEnumerable<int> e = Enumerable.Range(1, 2); var d = [..e, 3];❌ —— 编译失败：无法隐式转换IEnumerable<T>到支持展开的类型；运行时枚举成本也高，编译器拒绝妥协 -
Span<int>不能被展开进List<int>的表达式里（如List<int> = [..span]）✅ 实际可行，但反过来——把IEnumerable<T>展开进Span<T>❌ 绝对不行：生命周期不匹配，栈内存不能绑定到托管枚举器
泛型推导陷阱：var 不等于“万能推导”
当你写 var x = [1, 2.0, 3L];，编译器不会尝试找公共基类（比如 object）或做装箱，它只看第一个元素类型，并要求后续所有字面量/变量可**隐式转换**为该类型。
-
var a = [1, 2, 3];→ 推导为int[] -
var b = [1, 2L];→ 报错CS0826: No best type found for implicitly-typed array，因为int和long无隐式转换关系 -
var c = [1, (short)2];→ 成功，推导为short[]（int字面量 1 可隐式转short） - 若你真需要混合类型，必须显式声明目标类型：
object[] mixed = [1, "hello", true];
嵌套表达式与实际性能考量
写 int[][] matrix = [[1, 2], [3, 4]]; 很爽，但它生成的是**交错数组（jagged array）**，不是二维数组 int[,] 。二者内存布局、访问方式、序列化行为完全不同。
- 交错数组：每行是独立堆分配的
int[]，适合行长度不一的场景，但缓存不友好 - 二维数组：
int[,] arr = new int[2, 2] { { 1, 2 }, { 3, 4 } };—— 单块连续内存，Span<int>可直接切片，但集合表达式不支持这种初始化 - 嵌套表达式里混用展开：
var grid = [[1, 2], ..rows];是合法的，但rows必须是int[][]类型，不能是IEnumerable<int[]>
最易被忽略的一点：集合表达式在方法参数位置使用时（如 Process([1, 2, 3])），如果目标参数是 IEnumerable<T>，编译器仍会构造具体集合（如 int[]），再隐式转接口——这没问题；但如果方法重载了 params T[] 版本，[1, 2, 3] 会优先匹配 params，而非集合表达式本身。这点在调试重载解析时容易绕晕。
