孟岩

Salute Julian Assange

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


阅读更多
版权声明:本文为博主原创文章,未经博主允许不得转载。 https://blog.csdn.net/myan/article/details/449477
想对作者说点什么? 我来说一句

没有更多推荐了,返回首页

加入CSDN,享受更精准的内容推荐,与500万程序员共同成长!
关闭
关闭