`
bryanzk
  • 浏览: 57733 次
文章分类
社区版块
存档分类
最新评论

对Ruby中Kernel的callcc方法的研究

阅读更多
    Kernel中的callcc方法,经过调用后,会产生一个Continuation对象,其中包含返回地址和执行上下文,允许从程序的任何地方返回callcc block的结尾处。

    上面代码中的strange()的定义中,调用了callcc方法,因此将当前的执行上下文置为了cont这个对象实例,而且一个返回地址也在其中;并且strange将cont作为自己的返回值。在接下来的代码中,顺序执行第5行、第6行、第7行代码。在执行第6行代码的时候,strange中的<print “Back in method, “>这一句,也就是第3行代码并未被执行,因为在上面的callcc的block中,return语句把生成的Continuation这个class的实例cont返回了,同时cont对象已经保存了当前的堆栈返回地址与当前的执行上下文。当执行到第8行代码中的cont.call的时候,从strange中的callcc所带的block的末尾开始执行,也就是说,接下来执行的是print “Back in method, “这一句。然后根据cont对象中保存的堆栈位置,继续执行第7行代码,这样就完成了这段代码的运行。
实际的语句调用顺序是:

最后的输出结果为:


不妨把对callcc的调用想为设定了一个堆栈调用指针到cont上,当在程序中调用cont.call的时候,堆栈调用回指到callcc所在位置的下一个位置上,执行完成后,再根据cont中保存的上下文返回到cont.call的执行位置,并向下执行接下来的代码。


小熊bryan 2007-08-07 13:10 发表评论
分享到:
评论
1 楼 bom_d_van 2010-12-03  
这个方法有点晦涩难懂,感谢共享。

相关推荐

Global site tag (gtag.js) - Google Analytics