对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的执行位置,并向下执行接下来的代码。
上面代码中的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的执行位置,并向下执行接下来的代码。