C#中Expression Tree可用类型与Lambda Expression可用类型是否等价？二者有何关联？

核心结论 #

二者含义不同，但存在紧密关联。

具体解析 #

1. Lambda Expression的可用类型范围 #

Lambda表达式（() => ...形式）可以使用几乎所有合法的C#类型，包括值类型、引用类型、匿名类型、Tuple/ValueTuple等，只要符合语法规则和类型推导逻辑即可。示例：

// 使用ValueTuple的Lambda
var tupleLambda = (int a, int b) => (Sum: a + b, Product: a * b);
// 使用匿名类型的Lambda
var anonLambda = (string name, int age) => new { Name = name, Age = age };

2. Expression Tree的可用类型限制 #

表达式树（Expression<Func<...>>）是将代码抽象为可遍历的语法树结构，它对类型有额外限制：

• 支持匿名类型：匿名类型是编译器生成的只读引用类型，其成员访问等操作能被表达式树解析器正确处理。
• 不支持Tuple/ValueTuple作为返回值或直接成员：由于表达式树API设计的历史限制，元组的解构、命名元组语法糖等操作无法被完整转换为表达式节点。
• 此外，表达式树还不支持带有副作用的类型操作，比如可变值类型的字段修改、动态类型的直接使用等。

3. 二者的关联 #

Lambda表达式存在两种编译形态：

• 赋值给委托类型（如Func<int, int>）时，会被编译为IL代码，此时可使用所有合法类型。
• 赋值给Expression<TDelegate>类型时，会被转换为表达式树，此时必须符合表达式树的类型限制。

简言之：所有能用于表达式树的类型，一定能用于Lambda表达式；但能用于Lambda表达式的类型，未必能用于表达式树。

补充说明 #

你看到的文档备注提到“匿名类型可用于Expression Tree，而元组则不行”，本质是表达式树的类型限制导致的——匿名类型结构简单、只读，能被表达式树解析器正确处理；而元组（尤其是ValueTuple的可变特性、命名元组的语法糖）无法被表达式树完全支持。

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