C#温故而知新系列教程之闭包

首先定义一个简单的演算

    λx.λy.x+y

如果x为1 y为2 演算过程则为

  ((λx.λy.x+y)1)2=(λy.1+y)2=(1+2)=3

接下来我们用到高阶函数

   λy . (λx . x + y)

演算过程:

  ((λy . (λx . x + y))1)2=((λx . x + 1))2 = (2+1)=3

可以看到这个演算中外层函数使用的是内层函数，也就是说使用是一个函数作为了计算结果。OK ，我们把内层函数单独拿出来，(λx . x + y)，可以很明显的看到如果脱离的上下文呢，我们的y是没有值的，也就是y是没有绑定的，也可以说y对于我们这个函数是自由的！ 如果在函数式编程中,在外层函数执行完毕之后我们的y变量就应该被销毁，那么如果我们在内层函数中如果还需要用到y的话怎么办呢？ 对于这个问题，设计者则做了其他的处理：如果一个函数返回另一个函数，而被返回函数又需要外层函数的变量时，不会立即释放这个变量，而是允许被返回的函数引用这些变量。支持这种机制的语言称为支持闭包机制，而这个内部函数连同其自由变量就形成了一个闭包(这句话是摘自其他博客，自己难得整理文字。。。)。这就是我们闭包的由来，而我们其他的语言如果有用到函数式编程的思想，并且允许函数来进行传递就会遇到类似的问题，所以各个语言就需要用其自己的方式来实现闭包！

C#中闭包的实现

从上一节我们也就是能总结出闭包其实就是要执行并且包含自由变量的代码块（由于自由变量被包含在代码块中，这些自由变量以及它们引用的对象没有被释放）和为自由变量提供绑定的计算环境的一个结合。

然后进入我们的C#编程时刻了，我们就用简单的例子来实现，并且查看编译器生成的代码 看看C#中是怎么实现闭包，毕竟我们也是有委托的 。。。

首先写一个简单得不能在简单的代码   

using System;

namespace closure
{
 class Program
 {
 static void Main(string[] args)
 {
 Console.WriteLine(test(1)(2));
 Console.ReadKey();
 }

 public static Func<int,int> test(int x)
 {
 //作用域1
 return (y) => 
 {
 //作用域2
 return x + y;
 };
 }
 }
}