C# 3.0 中匿名方法的闭包

Question

为什么匿名方法存在闭包？ 为什么不直接将状态传递到方法中，而不需要通过复制闭包变量来生成新类的开销？ 这难道不是“让一切全球化”的倒退吗？

有人批评我，我觉得我在这里错过了一些东西......

Answer 1

有些方法需要特定的签名。 例如：

public void set_name_on_click(string name)
{
    button.Click += (s,e) => { button.Text = name; };
}

完全关闭可以非常巧妙地解决这个问题。 您真的不想弄乱匿名方法签名。

Answer 2

因为 CLR 会处理它，所以“将状态传递到方法中”的最简单方法是自动生成一个封装该状态的类。

Answer 3

纯粹是为了方便......您不知道在定义时需要多少状态，例如，一个 Predicate - 考虑：

List<int> data = new List<int> {1,2,3,4,5,6,7,8,9,10};
int min = int.Parse(Console.ReadLine()), max = int.Parse(Console.ReadLine());
List<int> filtered = data.FindAll(i => i >= min && i <= max);

这里我们传递了两个额外的状态位到 Predicate （min 和 max） - 但我们无法定义 List.FindAll(Predicate<;) T>) 了解这一点，因为这是呼叫者详细信息。

另一种方法是自己编写类，但这很困难，即使我们很懒：

class Finder {
    public int min, max;
    public bool CheckItem(int i) { return i >= min && i <= max;}
}
...
Finder finder = new Finder();
finder.min = int.Parse(Console.ReadLine());
finder.max = int.Parse(Console.ReadLine());
List<int> filtered = data.FindAll(finder.CheckItem);

我不了解你，但我更喜欢带有闭包的版本......特别是当你考虑到当你有多个上下文级别。 我希望编译器担心它。

还要考虑一下您使用此类构造的频率，尤其是对于 LINQ 之类的东西：您不想以任何其他方式执行此操作...

Answer 4

创建新类的开销可能不需要担心。 这只是 CLR 使绑定变量（由闭包捕获的变量）在堆上可用的便捷方法。 它们仍然只能在闭包范围内访问，因此它们根本不是传统意义上的“全局”。

我相信它们存在的原因主要是为了程序员的方便。 事实上，就我而言，这纯粹是这样。 在 C# 中存在之前，您可以很好地模拟闭包的行为，但您无法获得 C# 3.0 提供的任何简单性和语法糖。 关于闭包的全部要点是，您不需要将父作用域中的变量传递给函数，因为它们是自动绑定的。 实际上，如果您认为替代方案是真正的全局变量，那么程序员使用它会更容易、更清晰。

Answer 5

至少有一种想法是闭包存在于其他语言中，例如 javascript。 因此，它们可能包含闭包，以符合人们之前使用匿名方法的经验。

Answer 6

因为你写这个：

var divsor = [...]
for(int x = 0; x < 10000000; x++){
     source[x] = source[x] / divsor         
}

并且很容易把它变成这个

var divsor = [...]
Parallel.For(int x = 0; x < 10000000; x++, ()=> {
     source[x] = source[x] / divsor         
})