Ruby中的Continuation

原创 2005年08月09日 22:59:00

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


版权声明:本文为博主原创文章,未经博主允许不得转载。

Continuation-passing Style介绍及应用

Continuation-passing Style介绍及应用 分类: javascript functional programming2012-08-05 14:50 2183人阅读...
  • zdy0_2004
  • zdy0_2004
  • 2014年10月26日 00:48
  • 1405

Continuation 异步化机制

Jetty 的 Continuation 机制 讨论 Jetty 的 Continuation 机制,首先需要提到 Ajax 技术,Ajax 技术是当前开发 Web 应用的非常热门的技术,也是 Web...
  • kobejayandy
  • kobejayandy
  • 2014年01月05日 16:27
  • 2904

异步servlet之continuation

一、背景为什么要使用异步servlet?异步servlet顾名思义就是异步处理,简单来说就是客户端发起一个http请求之后,服务器端可以将这个请求挂起,那么就腾出了保持客户端可服务器连接的线程(假设为...
  • u013755987
  • u013755987
  • 2017年03月12日 23:51
  • 451

函数式编程魅力:Continuation-Passing Style,说为何 C#、C++ 引入 Lambda 意义重大及 C++ 和 C# 的缺憾

文 / 李博(光宇广贞)       CPS,Continuation-Passing Style,后继传递格式。       顾名思义,该格式就是向后接力传递一个东西,传什么呢?引述维基百科对 CP...
  • hikaliv
  • hikaliv
  • 2009年09月13日 17:03
  • 8050

Python3.3 continuation line under-indented for visual indent 与 multiple spaces after ,

比较直观的先上两张图:
  • yageeart
  • yageeart
  • 2014年07月20日 13:29
  • 7038

Jetty Continuation机制

Continuation机制 Continuation机制是Jetty用于更好的支持异步Servlet的机制。 首先简要介绍一下技术应用的背景。异步请求是指当客户端发送一个请求到服务器的时候,客户端...
  • kobejayandy
  • kobejayandy
  • 2013年10月01日 17:01
  • 3008

<<Python基础教程>>学习笔记 | 第01章 | 基础知识

本学习笔记主要用要记录下学习过程中的一些Key Point,或自己没怎么搞明白的内容,可能有点杂乱,但比较实用,查找起来也方便。 第01章:基础知识 ------ Jython: Pyth...
  • Jerry_1126
  • Jerry_1126
  • 2014年09月13日 09:25
  • 4870

Ruby——双引号引用里面反斜线转义表

这是截图一本书上的,先存着以便日后方便查看。
  • chiuan
  • chiuan
  • 2011年11月21日 10:12
  • 4115

Ruby中关于单引号和双引号的转义

单引号转义 双引号
  • u014749470
  • u014749470
  • 2014年04月17日 11:22
  • 3478

Ruby中的关键字nil

1.python中的关键字nil     Ruby中的nil和python中的None类似。    nil是一个特殊的值,表示对象不存在。像在正则表达式中表示无法匹配成功一样,方法不能返回有意义的值时...
  • wangjianno2
  • wangjianno2
  • 2016年06月18日 03:05
  • 609
内容举报
返回顶部
收藏助手
不良信息举报
您举报文章:Ruby中的Continuation
举报原因:
原因补充:

(最多只允许输入30个字)