了解无限延续

Question

假设我有以下代码（类似 C 的语法）：

void foo(int arg) { ... }

int bar() {
...
// call with continuation 
...
}

foo ( bar() )
// after foo invocation

1) 函数 foo 调用函数 bar，该函数一直运行，直到到达带有 call 的行继续。

2) 在这一行创建了一个延续函数。它代表 bar 和 foo 的其余部分。 continuation 函数作为参数传递给call with continuation 函数。

3) call with continuation 函数对参数执行任何它想要的操作（例如，它可能只存储在全局变量中）并返回。

4) 一旦 call with continuation 返回，我们立即跳转到“after foo incall”的行，而 bar 和 foo 的其余部分则不会被执行。

5) 为了继续执行 bar 和 foo 我们应该显式调用 continuation 函数（在 (2) 中创建并可能存储在 ( 3））。一旦调用了 Contination 函数，执行就会在调用 Continue 后立即继续。

正确吗？我是否遗漏了有关无限延续的内容？

Answer 1

不会。通常，当您调用 continuation 时，而不是当您调用 call/cc 时，不定界延续（例如使用Scheme 的call/cc 创建）会跳转。 （又名call-with-current-continuation）。

因此，充实您的示例：

continuation savedk;

void foo(int arg) { ... }

int bar() {
  ...
  call/cc(handler)
  // after call/cc
  println "after call/cc"
  ...
}

void handler(continuation k) {
  savedk = k
}

foo ( bar() )
// after foo invocation

1. 执行开始。我们输入 bar （我们还没有输入 foo；当我们完成 bar 时我们会输入）。

2. 当我们在 bar 中调用 call/cc 时，“程序上下文”会变成一个称为 Continuation 的对象。此时，程序上下文包含“完成执行 bar，然后对结果调用 foo，然后执行 foo 之后的操作”调用”。延续被传递给作为 call/cc 参数给出的函数，在上面的示例中它是 handler。

3. handler 对延续执行一些操作。我们假设它将其存储在全局变量中。然后它返回到 call/cc 调用之后的位置，仍然在 bar 内部。

4. 假设我们此时打印一些内容。然后 bar 完成，我们调用 foo，它就完成了。

5. 如果我们现在在 savedk 中应用延续，控制会跳回 bar 并将程序上下文恢复为“完成执行 bar”，然后对结果调用 foo，然后执行 foo 调用之后的操作”。所以我们打印了另一行。事实上，如果我们不清除 savedk 变量或测试其他状态，如果调用“执行 foo 调用后发生的任何事情”，我们可能会遇到无限循环再次 savedk！