如何使用表达式API创建引用局部变量的FieldExpression替代ConstantExpression

核心原理 #

你看到的exp2中value对应FieldExpression而非常量，是C#编译器对捕获的局部变量做的闭包处理：编译器会自动生成一个隐藏的嵌套闭包类，将被捕获的局部变量转为该类的公开字段，表达式中对局部变量的引用实际是对闭包类实例字段的访问。

代码实现 #

基础实现（仅用表达式API，功能完全等价） #

无需手动定义闭包类，直接用匿名类模拟编译器的闭包逻辑即可：

// 1. 构造Test类的参数表达式和Name属性访问，和exp1逻辑一致
var parameter = Expression.Parameter(typeof(Test), "l");
var nameMember = Expression.PropertyOrField(parameter, "Name");

// 2. 模拟闭包实例，持有要捕获的局部变量value
var closureInstance = new { value = "John" };
// 3. 构造闭包实例的常量表达式
var closureConstantExp = Expression.Constant(closureInstance);
// 4. 访问闭包实例的value字段，得到FieldExpression，对应exp2中的变量引用
var valueFieldExp = Expression.PropertyOrField(closureConstantExp, nameof(closureInstance.value));

// 5. 生成最终的相等比较表达式，结构和原生exp2完全一致
var exp2 = Expression.Equal(nameMember, valueFieldExp);

验证 #

将生成的表达式封装为Lambda打印即可验证结构：

var lambda = Expression.Lambda<Func<Test, bool>>(exp2, parameter);
Console.WriteLine(lambda.ToString());
// 输出：l => (l.Name == value(<>f__AnonymousType0`1[System.String]).value)
// 与原生生成的输出仅闭包类名不同，节点类型、结构完全匹配

完全复刻编译器闭包（配合Roslyn API） #

如果需要和编译器生成的<>c__DisplayClass0_0闭包类完全一致，可以通过Roslyn动态生成同名的私有嵌套类，包含公开的value字段，后续逻辑和上述实现一致，创建该类的实例常量再访问字段即可。

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