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的执行位置，并向下执行接下来的代码。
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。