c# - 我如何生成带有捕获变量的嵌套 lambda 表达式

Question

我正在尝试生成类似 (Foo foo) => () => foo.Bar() 的表达式，然后运行提供 Foo 实例的外部 lambda , 因此返回值将是一个静态调用 Foo.Bar 的闭包，以避免动态调用引入的隐式异常捕获。

但是，调用外部表达式失败并出现异常“'ConsoleApp2.Foo' 类型的变量 'foo' 从范围 '' 引用，但未定义”。

我是犯了什么错误还是有一些概念上的原因阻止了它？

最小的完整代码:

using System;
using System.Linq.Expressions;

namespace ConsoleApp2 {
    class Program {
        static void Main(string[] args)
        {
            // supposed to be "(Foo foo) => () => foo.Bar()",
            // inspecting `expr` in debugger seems to agree
            var expr = Expression.Lambda(
                Expression.Lambda(
                    Expression.Call(Expression.Variable(typeof(Foo), "foo"), typeof(Foo).GetMethod("Bar"))),
                new[] { Expression.Variable(typeof(Foo), "foo") });

            // here exception "variable 'foo' of type 'ConsoleApp2.Foo' referenced from scope '', but it is not defined" is thrown
            var res = (Action)expr.Compile().DynamicInvoke(new Foo());

            res();
        }
    }

    class Foo
    {
        public void Bar()
        {
            Console.WriteLine("Bar");
        }
    }
}

Answer 1

您需要确保 lambda 表达式中的变量表达式引用相同的实例。

这段代码运行得很好，似乎给出了预期的结果。

void Main()
{
   var var = Expression.Variable(typeof(Foo), "foo");

   var expr = Expression.Lambda(
    Expression.Lambda(
        Expression.Call(var, typeof(Foo).GetMethod("Bar"))), new[] {  var });

    var res = (Action)expr.Compile().DynamicInvoke(new Foo());

    res();
}

class Foo
{
    public void Bar()
    {
        Console.WriteLine("Bar");
    }
}