Ruby中的Continuation

下午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还有一定差距。