c# – 为什么lambda表达式在方法终止后保留封闭范围变量值？

当编译器尝试使用匿名方法编译方法时会发生什么,它会在某种程度上重写该方法.

基本上,会生成一个新类,并将匿名方法提升到此类中.它给出了一个名称,虽然是一个内部名称,因此对于编译器来说,它有点从匿名方法转换为命名方法.但是,您不必知道或处理该名称.

此方法所需的任何变量,除了匿名方法之外声明的变量,但在使用/声明匿名方法的同一方法中,也将被取消,然后重写这些变量的所有用法.

这里涉及到几种方法,所以很难阅读上面的文字,所以让我们做一个例子：

public Func<int,int> Test1()
{
    int a = 42;
    return value => a + value;
}

此方法被重写为以下内容：

public Func<int,int> Test1()
{
    var dummy = new <>c__DisplayClass1();
    dummy.a = 42;
    return dummy.<Test1>b__0;
}

internal class <>c__DisplayClass1
{
    public int a;
    public int <Test1>b__0(int value)
    {
        return a + value;
    }
}

编译器可以处理所有这些时髦的名称(是的,它们确实以所有括号命名),因为它引用具有id和对象引用的东西,名称不再是编译器的问题.但是,您永远不能声明具有这些名称的类或方法,因此编译器不会生成恰好已经存在的类的风险.

这是一个LINQPad示例,它显示了我声明的类,虽然名称中的括号较少,但看起来与编译器生成的类相同：

void Main()
{
    var f1 = Test1();
    f1(10).Dump();
    f1.Dump();

    var f2 = Test2();
    f2(10).Dump();
    f2.Dump();
}

public Func<int,int> Test1()
{
    int a = 42;
    return value => a + value;
}

public Func<int,int> Test2()
{
    var dummy = new __c__DisplayClass1();
    dummy.a = 42;
    return dummy._Test2_b__0;
}

public class __c__DisplayClass1
{
    public int a;
    public int _Test2_b__0(int value)
    {
        return a + value;
    }
}

输出：

如果你看一下上面的截图,你会发现每个委托变量,一个Method属性和一个Target属性有两件事.

在调用方法时,使用引用Target对象的this引用调用它.因此,委托捕获两件事：调用哪种方法,以及调用它的对象.

基本上,该生成类的对象作为委托的一部分存活,因为它是该方法的目标.

考虑到所有这些,让我们看看你的问题：

为什么lambda表达式在方法终止后保留封闭范围变量值？

答：如果lambda存活下来,所有捕获的变量都会存活,因为它们不再是声明它们的方法的局部变量.相反,它们被提升到一个也具有lambda方法的新对象,因此“跟随” lambda到处都是.