NET中如何实现匿名方法中的捕获值

Question

我对实际的.NET实现及其背后的决定感到好奇。

例如，在Java中，匿名类中使用的所有捕获值都必须是最终值。NET中似乎已删除了此要求。

此外，与参考类型相反，值类型的捕获值的实现方式是否有所不同？

谢谢

Answer 1

找出实现方式的最简单方法就是尝试一下。编写一些代码，使用捕获的变量，对其进行编译，然后在Reflector中对其进行查看。请注意，捕获的是 变量 ，而不是 value
。这是Java和C＃在此方面的最大区别之一。

基本思想是，包含至少一个捕获变量的范围的每个级别都会导致一个新类，其中包含已捕获变量的字段。如果存在多个级别，则内部作用域还具有用于下一个作用域的字段，依此类推。堆栈上真正的局部变量最终将引用自动生成类的实例。

这是一个例子：

using System;
using System.Collections.Generic;

class Program
{
    static void Main()
    {
        List<Action> actions = new List<Action>();

        for (int i=0; i < 5; i++)
        {
            int copyOfI = i;

            for (int j=0; j < 5; j++)
            {
                int copyOfJ = j;

                actions.Add(delegate
                {
                    Console.WriteLine("{0} {1}", copyOfI, copyOfJ);
                });
            }
        }

        foreach (Action action in actions)
        {
            action();
        }        
    }
}

（如果不学习课程，您将得到不同的结果-实验！）这将编译为如下代码：

using System;
using System.Collections.Generic;

class Program
{
    static void Main()
    {
        List<Action> actions = new List<Action>();

        for (int i=0; i < 5; i++)
        {
            OuterScope outer = new OuterScope();
            outer.copyOfI = i;

            for (int j=0; j < 5; j++)
            {
                InnerScope inner = new InnerScope();
                inner.outer = outer;
                inner.copyOfJ = j;

                actions.Add(inner.Action);
            }
        }

        foreach (Action action in actions)
        {
            action();
        }        
    }

    class OuterScope
    {
        public int copyOfI;
    }

    class InnerScope
    {
        public int copyOfJ;
        public OuterScope outer;

        public void Action()
        {
            Console.WriteLine("{0} {1}", outer.copyOfI, copyOfJ);
        }
    }
}

对捕获变量的每个引用最终都要经过所生成类的实例，因此它不仅仅是一次性复制。（好的，在这种情况下，代码中没有其他任何东西使用捕获的变量，但是您可以很容易地想象得到。）请注意，对于外循环的任何一次迭代，五个
新实例都共享一个的实例OuterScope。您可能想尝试在委托中使用额外的代码，以查看其如何影响事物-如果
委托更改copyofI，则将在下一个委托中看到更改；不会看到对的更改，copyOfJ因为下一个委托将使用的单独实例InnerScope。