据我所知，Ruby 是唯一同时支持call/cc 和try/catch/finally（写成begin/rescue/ensure/end 块）的主流语言。
我不熟悉 Ruby，但我的直觉告诉我这两者可能存在冲突，因为call/cc 允许任意控制流，ensure 需要一些有保证的控制流（某些代码路径必须在预定义的情况，即离开包含块）。
那么，语言中是否存在任何冲突？如果是这样，在这种情况下，语言的定义行为是什么？特别是，如果在 begin/ensure 块或 ensure/end 块中使用 call/cc 会发生什么？如果在块包含ensure 子句之后调用捕获的call/cc 怎么办？
【问题讨论】：
标签： ruby language-design finally callcc
在 Ruby 中，您有 callcc、throw / catch 和 raise / rescue / ensure。
throw 以 ensure 开始执行终止块：
catch(:done) {
begin
puts "before"
throw :done
puts "after" # will not be called
ensure
puts "ensure"
end
}
产生：
before
ensure
callcc 以 ensure 开始跳过的块终止：
callcc { |cc|
begin
puts "before"
cc.call
puts "after" # will not be called
ensure
puts "ensure" # will not be called
end
}
产生：
before
另一个将Continuation 对象存储在全局变量中的示例：
begin
puts "before"
callcc { |cc| $cc = cc }
puts "after"
ensure
puts "ensure"
end
$cc.call
产生：
before
after
ensure
after
ensure
after
...
【讨论】：
callcc 跳转到begin 块甚至ensure 块呢？
cc.call 总是跳转到callcc { } 块的末尾。
callcc 块放在begin/end 块内，从内部返回一个函数（带有延续变量），然后从外部调用该函数，跳转到内部块？
callcc的优先级高于ensure，ensure只有在没有callcc存在的情况下才能保证执行。