C#表达式树中参数与变量的工作机制及Lambda构建问题

我完全搞不懂C# Expression tree的语法逻辑，在创建最简单的Lambda表达式时不断报错。

以一个基础功能为例：传入一个数字参数，将其与0相加（虽无实际作用，但我都无法实现）：

public void AddNumber(int number)
{
    var input = Expression.Parameter(typeof(int), "number");
    var result = Expression.Variable(typeof(int), "result");
    
    var addAssign = Expression.AddAssign(result, input);

    int myExpectedResult = Expression.Lambda<Func<int, int>>(addAssign, input).Compile()(number);
}

报错提示变量result已创建但未定义，这合乎逻辑。于是我尝试为其赋值，但代码依旧报错（注：此处代码存在笔误，实际应为添加了赋值操作的版本），我猜测是赋值操作未被实际使用导致，但又无法将赋值变量作为AddAssign的参数，因此没有效果。

后来我尝试用BlockExpression依次执行两个赋值操作，错误消失了，但传入的input始终被设为0：

public void AddNumber(int number)
{
    var input = Expression.Parameter(typeof(int), "number");
    var result = Expression.Variable(typeof(int), "result");

    var blockExpression = Expression.Block(new[] { input, result },
        Expression.Assign(result, Expression.Constant(0)),
        Expression.AddAssign(result, input));

    int myExpectedResult = Expression.Lambda<Func<int, int>>(blockExpression, input).Compile()(number);
}

请问如何正确实现传入参数、创建变量、赋值并返回变量的逻辑？我找不到能清晰说明不同BlockExpressions中参数与变量关联方式的教程。

解决方案 #

你的核心问题有两个：

1. BlockExpression错误包含了参数input：Lambda的输入参数不需要放到Block的变量列表里，Block的变量列表只放你自定义的局部变量（比如result）。把参数加到Block变量列表会导致它被重新定义为局部变量，覆盖传入的参数值，这就是input始终为0的原因。
2. Block表达式需明确返回最终结果：默认情况下Block会返回最后一个表达式的结果，也可以显式指定返回值来确保逻辑清晰。

修正后的代码如下：

public void AddNumber(int number)
{
    var input = Expression.Parameter(typeof(int), "number");
    var result = Expression.Variable(typeof(int), "result");

    // 先给result赋值为0，再加上input，最后返回result
    var blockExpression = Expression.Block(
        new[] { result }, // 仅放自定义局部变量，不要包含参数input
        Expression.Assign(result, Expression.Constant(0)),
        Expression.AddAssign(result, input),
        result // 显式指定返回result，省略的话Block默认返回最后一个表达式结果
    );

    int myExpectedResult = Expression.Lambda<Func<int, int>>(blockExpression, input).Compile()(number);
    // 此时myExpectedResult等于number + 0，即number本身
}

关键知识点梳理 #

• Expression.Parameter：用于定义Lambda的输入参数，属于Lambda的参数列表，无需放入Block的变量集合。
• Expression.Variable：定义局部变量，必须放到Block的变量列表中，且使用前必须完成赋值。
• BlockExpression：
  • 第一个参数是局部变量集合，仅包含自定义Variable，不要包含Parameter。
  • 后续参数是按顺序执行的表达式序列，默认返回最后一个表达式的结果，也可通过重载显式指定返回值。
  • 表达式按顺序执行，前面的赋值操作会直接影响后续表达式的结果。

如果想简化逻辑，其实不需要局部变量，直接返回input + 0的表达式即可，用Block的方式主要是为了体现局部变量的使用逻辑：

// 简化版本，无需局部变量
public void AddNumber(int number)
{
    var input = Expression.Parameter(typeof(int), "number");
    var addExpr = Expression.Add(input, Expression.Constant(0));
    int myExpectedResult = Expression.Lambda<Func<int, int>>(addExpr, input).Compile()(number);
}

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