闭包

昨天跟几个朋友闲谈时,提到C++的函数指针与C#的方法对象,其中讨论了一个在学习C#中很少提到的概念"闭包"

闭包

闭包是将一些执行封装，将它像对象一样传递，

在传递时,执行依然能够访问到原上下文。

访问原来上下文,是闭包的重要特征

 

例:

由于只声明了一个i变量 所以所有的Action捕获的都是同一个i变量。结果就是每一行都输出数字10	static void Main(string[] args) { List<Action> ls = new List<Action>();   for (int i = 0; i < 10; i++) {   ls.Add(() => Console.WriteLine(i)); }     foreach (Action action in ls) { action(); }     System.Console.Read(); }
以下方式实现了输出0到9   与上例代码的唯一不是是在循环体中使用了一个局部变量tp,这种写法在通常看来不通是多用了一个中转变量,对程的执行不会有什么影响,但事实上tp这个变量在被每个Action独立保存.   这样，每次循环体在执行的时候，都会取得一个全新的tp，而且tp不会因为所在声名体的完成而出栈	static void Main(string[] args) { List<Action> ls = new List<Action>();   for (int i = 0; i < 10; i++) { int tp = i; ls.Add(() => Console.WriteLine(tp)); }     foreach (Action action in ls) { action(); }     System.Console.Read(); }

 

若匿名方法中的变量:

若匿名方法中如果引用了某个变量，则该局部变量将被提升为实例变量，并储存于一个叫做闭包（closure）的对象中。

提升之后，即使创建该变量的方法执行完毕该变量仍不会消亡。

当指向该匿名函数的所有引用都消失后，该闭包变量即可正常地被垃圾回收器回收

 

说明

class Program

{

delegate int wxd(int i);

delegate wxd lzm(int ii);

 

static void Main(string[] args)

{

lzm obj = delegate(int ii)

{

return

delegate(int i)

{

return i + ii;

};

};

wxd w1 = obj(1);

wxd w2 = obj(2);

 

System.Console.WriteLine(w1(3));

System.Console.WriteLine(w2(3));

 

System.Console.Read();

}

}

输出的结果是4和5

[obj]函数接受一个参数，返回新的函数[w1,w2]。新的函数[w1,w2]将[obj]的参数与自己的参数相加，返回结果

 

函数[w1,w2]在接受相同的参数的时候，产生了不同的结果。

 

实际上[obj]返回的内部函数已经把[obj]的参数[ii]记录了

 

在这里,方法已不仅仅是一个函数指针了

 

[obj]的参数[ii]是如何记录的:

 

通常理解，函数的参数是放在栈中的。

如果闭包也将参数放在栈中，那么[ii]在[obj]运行结束的时候就会消失掉，这个时候[w1,w2]再通过栈去搜索[ii]显然就是不可能的。

所以闭包中参数或内部变量不能放在栈中.而是放在程序执行过程之中的一张全局表里.

[[obj]在返回内部函数的时候，将全局表,自己的结构表,内部函数的指针一起传递给变量[w1,w2].

这时内部函数可以访问[ii]，外部却无法访问[ii]