将局部变量传递给.net中的另一个线程

Question

在下面的代码中，为什么我们没有得到 NullReference 异常并且 var2 的值是 56 虽然 TestMethod 肯定在 'Messagebox' 行之前完成了？ 我阅读了来自 Eric Lippert 的 this 的精彩回答和 this 的博文，但我仍然不明白。

void TestMethod()
{
    int var1 = 10;
    List<long> list1 = new List<long>();
    for (int i = 0; i < 5; i++)
        list1.Add(i);

    ThreadPool.QueueUserWorkItem(delegate
    {
        int var2 = var1;
        Thread.Sleep(1000);
        list1.Clear();
        MessageBox.Show(var2.ToString());
    });
    var1 = 56;
}

Answer 1

我认为这是因为delegate 已经围绕变量var1 形成了闭包。可能看看闭包在内部是如何工作的会对你有所帮助。可以参考解释here

编译器（相对于运行时）创建另一个类/类型。 带有您的闭包的函数和您关闭的任何变量 over/hoisted/captured 在你的代码中被重写为成员 那个班的。 .Net 中的闭包被实现为 这个隐藏的类。

有了这个，我相信编译器生成的代码大致如下：

void TestMethod()
{
    UnspeackableClosureClass closure = new UnspeackableClosureClass(10);
    List<long> list1 = new List<long>();
    for (int i = 0; i < 5; i++)
        list1.Add(i);

    ThreadPool.QueueUserWorkItem(closure.AutoGeneratedMethod);
    closure.closureVar = 56;
}

public class UnspeackableClosureClass
{
   public int closureVar;
   public UnspeackableClosureClass(int val){closureVar=val}

   public void AutoGeneratedMethod(){
     int var2 = closureVar;
     Thread.Sleep(1000);
     list1.Clear();
     MessageBox.Show(var2.ToString());
  }
}

Answer 2

我认为您的意思是当TestMethod() 退出时，您希望var1 被释放。毕竟，局部变量存储在堆栈中，当方法退出时，堆栈指针必须恢复到调用之前的位置，这意味着所有局部变量都被释放。如果这真的发生了，var1 可能根本不会设置为 null；它可能包含垃圾，或其他一些局部变量的位，这些位是稍后在堆栈指针再次移动时创建的。是这个意思吗？

让我大开眼界的是异步思维根本不是基于堆栈的理解。堆栈不起作用——因为调用的顺序不会形成堆栈。相反，代码位与保存在 heap 上的上下文对象相关联。它们可以按任何顺序执行，甚至可以同时执行。

您的委托需要var1，因此编译器将其从堆栈中保存的变量提升为这些对象之一中保存的变量，与委托的行为相关联。这就是所谓的“闭包”或“封闭变量”。对于委托人来说，它看起来就像一个局部变量，因为它——只是不再在堆栈上。只要该对象需要存在，它就会存在，即使在 TestMethod() 退出之后也是如此。