如何基于自定义结构S构建含运行时类型的LambdaExpression表达式树？

这个问题我之前也碰到过，核心是要理清表达式树中委托类型变量和LambdaExpression的关系，下面给你一步步拆解解决方案：

我们的目标是在表达式树中创建一个变量来存储运行时确定的委托实例，而非LambdaExpression本身（它只是表达式树的节点表示），然后通过非泛型Expression.Lambda(...)方法完成整个表达式树的构建。关键在于让变量类型与目标委托类型严格匹配，再动态生成对应逻辑的Lambda表达式赋值给它。

假设我们的自定义结构S已经提供了两个关键信息：

• 目标委托类型（比如Func<int, int>、Func<bool, string, int>这类Type对象）
• Lambda的参数列表和主体逻辑描述

1. 提取委托类型并创建对应变量 #

首先从S中拿到委托类型，然后用Expression.Variable创建存储委托的变量——注意变量类型必须是委托类型，而非LambdaExpression：

// 模拟从S中获取的委托类型（这里以Func<int, int>为例）
Type delegateType = typeof(Func<int, int>);
// 创建存储委托的变量，类型与委托类型一致
ParameterExpression lambdaVar = Expression.Variable(delegateType, "myLambda");

2. 构建Lambda的参数与主体表达式 #

根据S指定的签名和逻辑，生成Lambda所需的参数表达式和主体表达式：

// 从委托类型中提取参数类型，生成ParameterExpression数组
ParameterExpression[] lambdaParams = delegateType.GetGenericArguments()
    .Take(delegateType.GetGenericArguments().Length - 1) // 排除返回值类型
    .Select((type, idx) => Expression.Parameter(type, $"param{idx}"))
    .ToArray();

// 模拟从S中获取的逻辑：输入参数乘以2
Expression lambdaBody = Expression.Multiply(lambdaParams[0], Expression.Constant(2));

3. 用非泛型方法创建LambdaExpression #

使用非泛型Expression.Lambda，传入委托类型、主体和参数列表，生成对应委托类型的LambdaExpression：

LambdaExpression targetLambda = Expression.Lambda(delegateType, lambdaBody, lambdaParams);

4. 构建完整的表达式树块 #

将变量声明、赋值、以及后续对委托的调用逻辑封装到BlockExpression中：

// 赋值表达式：把生成的Lambda赋值给变量
Expression assignExpr = Expression.Assign(lambdaVar, targetLambda);
// 调用委托变量，传入测试值5
Expression invokeExpr = Expression.Invoke(lambdaVar, Expression.Constant(5));
// 块表达式：包含变量声明、赋值、调用逻辑
BlockExpression block = Expression.Block(new[] { lambdaVar }, assignExpr, invokeExpr);

5. 生成最终表达式并编译执行 #

最后用非泛型Expression.Lambda构建最终的表达式树，编译后即可执行：

LambdaExpression finalExpr = Expression.Lambda(block);
// 编译为可执行的委托（这里是Func<int>，因为块的返回值是调用结果）
var executableFunc = (Func<int>)finalExpr.Compile();
Console.WriteLine(executableFunc()); // 输出：10

• 变量类型必须匹配委托类型：不要用LambdaExpression作为变量类型，我们需要存储的是可执行的委托实例，而非表达式树节点。
• 非泛型方法的参数匹配：必须确保delegateType的参数数量、类型与lambdaParams数组完全一致，否则会抛出参数不匹配的异常。
• 运行时类型适配：所有类型信息都通过Type对象传递，完全支持从S结构中动态获取类型，不需要编译时确定泛型参数。
• 作用域管理：变量必须在BlockExpression的变量列表中声明，否则表达式树无法识别其作用域。

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