Tag: 最终

call / cc的语义和Ruby中的“确保”

据我所知，到目前为止，Ruby是唯一支持call/cc和try/catch/finally （编写为begin/rescue/ensure/end块）的主流语言。 我不熟悉Ruby，但我的直觉告诉我这两个可能存在冲突，因为call/cc允许任意控制流并ensure需要一些保证控制流（某些代码路径必须在预定义的情况下执行，即离开含有块）。 那么，语言中是否存在任何冲突？ 如果是这样，在这种情况下语言的定义行为是什么？ 特别是，如果在begin/ensure块或ensure/end块中使用call/cc会发生什么？ 如果在块包含ensure子句后调用捕获的call/cc怎么办？