下午gigix给我大致讲了一点continuation的东西，说实话我还没有很好的理解。也
许透彻理解需要熟悉Lisp。不过我记得Ruby里有continuation。Ruby我略知一二，
所以查了查相关资料。
Ruby中的Continuation是通过callcc/call函数以及Continuation类实现的。这里举一
个比较有说服力的程序例子（来自Programming Ruby 2/e）
def strange
callcc { |cont| return cont }
print "Back in method, "
end
print "Before method. "
c = strange()
print "After method. "
c.call if c
这个例子的输出是：
Before method. After method. Back in method, After method.
让我来解释一下。callcc是Ruby里的“伪全局函数”（实际上属于Kernel类, Kernel类
在所有的Ruby程序里缺省地被require & include）。callcc的意思是“call with
current continuation”。这其中的continuation是什么意思呢？其实就是指一个这
样的对象，它创建时存储了必要且充分的当前程序运行状态信息，有了这些信息
，程序可以在之后的某一个时刻完全回到continuation对象创建时的状态。
上面的函数strange中，首先调用了callcc函数。这个函数在内部产生了一
个continuation对象，并且把这个对象作为实际参数传给其后由花括号括起的这个
block：
{ |cont| return cont }
在这个block里，形参cont实际上就是callcc内部产生的那个continuation对象。这
个block很简单地将continuation返回。注意此时返回的这个continuation对象中包
含了当前程序执行状态的全部信息。
在程序正文中，strange返回的contiuation对象被保存在c对象中。程序正为最后一
句调用c.call if c时，由于c并不是nil，所以c.call得到执行。这一执行就使得整个程
序回到了strange函数生成continuation对象（即callcc调用）时，于是紧跟着执行
后面的print语句。
C语言比较熟的人一定会联想起setjmp/longjmp。不过据说这只是实现了一种叫做escape continuation的功能，距离continuation还有一定差距。
发表于 @ 2005年08月09日 22:59:00|评论(loading...)|编辑