闭包

昨天跟几个朋友闲谈时,提到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]

 

posted @ 2008-12-11 12:55  WXWinter(冬)  阅读(5802)  评论(19编辑  收藏