C#集合初始化器内集合表达式编译问题及括号生效原因问询

在C#中，以下集合表达式无法和List集合初始化器一起编译（虽直觉上应该可行，但Roslyn开发团队必然有其设计考量）：

var list = new List<int[]>
{
    [ 1, 2 ] // 编译错误CS1501
};
list.Add([1, 2]); // 语义等价却可正常编译

核心疑问 #

为何给集合表达式套上括号（将其放入另一个表达式上下文）后即可编译？如下代码可正常运行：

var list = new List<int[]>
{
    ([ 1, 2 ]) // 可正常编译
};

为何编译器在集合表达式被额外表达式包裹时能正确处理？这是某种隐式转换吗？似乎并非如此，因为以下代码无法自动将集合表达式转为int[]：

var arr = ([1, 2]); // 编译错误CS9176

原因解析 #

这本质是C#集合表达式在不同语法上下文中的处理规则差异：

• 集合初始化器的直接元素上下文：在List<T>的集合初始化器中，直接写[1,2]时，编译器会优先尝试将其解析为集合初始化器的一部分，而非独立的集合表达式。此时编译器期望的是int[]类型的元素，但直接的集合表达式[1,2]在这里不会触发到int[]的隐式转换——因为集合初始化器的元素位置默认不会自动将集合表达式转换为目标数组类型。
• 括号包裹后的表达式上下文：当用括号包裹([1,2])时，编译器会将其视为一个独立的表达式，此时会触发集合表达式的目标类型推导：因为集合初始化器需要的是int[]，所以编译器会尝试将集合表达式转换为int[]，这个转换是合法的（集合表达式可以隐式转换为数组类型），因此可以正常编译。
• 单独赋值的情况：var arr = ([1,2]);中，var需要推导具体类型，但集合表达式本身没有默认的“自然类型”，必须有明确的目标类型才能完成转换，因此编译器无法推导，抛出CS9176错误。

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