Scheme中call/cc捕获的continuation为何作用域仅限首个顶层define表达式？

The continuation represents an entire (default) future for the computation".
（译文：continuation即续延，代表计算过程完整的默认未来执行路径）

你的推导偏差来自两个对Scheme续延语义的常见误解：

• 误将顶层表达式的序列执行逻辑当成了被调用栈维护的计算流程，认为call/cc会捕获后续所有顶层表达式的执行路径
• 混淆了续延的捕获边界：续延只会保存捕获瞬间调用栈上尚未完成的计算步骤，不会保存栈外的全局状态、顶层求值器的待执行队列等内容

R5RS的描述没有问题，其中提到的「完整默认未来执行路径」，特指触发call/cc的时间点，已经存在于调用栈上的待执行逻辑，不会包含还未进入栈的代码。
你在第一个顶层表达式(define x (call/cc (lambda (c) c)))中调用call/cc时，后续的display、(x 4)、(display x)都还没有被压入调用栈：

• 交互式REPL是逐表达式读取、求值、打印的迭代循环，每次只会把当前正在求值的单个表达式压入栈，后续表达式在当前表达式求值完成前根本不会被读入，更不会进入栈
• 即使是脚本批量加载模式，待执行的表达式列表也是由顶层求值器作为全局状态维护的，不在调用栈范围内，自然不属于「当前计算的未来」
  这个call/cc捕获到的续延，实际只有一个动作：接收一个入参，将其绑定到顶层变量x，然后结束当前表达式的求值，把控制权交回给顶层求值器，没有任何其他逻辑。

你观察到的输出完全符合标准语义，执行步骤如下：

1. 顶层求值器处理第一个define表达式：call/cc把捕获到的赋值续延打包为过程返回，x被绑定为这个续延过程，第一个表达式执行完毕，控制权回到顶层求值器。
2. 顶层求值器依次执行后续两个display表达式，分别输出hello和world，每执行完一个就回到顶层求值器。
3. 顶层求值器执行(x 4)：调用之前捕获的续延，传入4。此时当前(x 4)的调用栈会被直接丢弃，跳回最开始call/cc的返回点，执行续延内的逻辑：把x重新绑定为数值4，结束求值，将返回值4交回给顶层求值器。
4. 你看到的最后一行输出4，是REPL环境默认打印顶层表达式返回值的行为。这时候最后一行(display x)不会被执行：因为跨顶层表达式边界的续延跳转不会回滚顶层求值器的待执行队列状态，当续延执行完成返回顶层时，求值器认为一次完整的顶层求值流程已经结束，不会再继续执行被丢弃栈帧对应的后续表达式，也不会回溯重跑之前已经执行过的带副作用的display逻辑——毕竟控制台输出这类副作用是全局状态，续延不会撤销已经发生的副作用。

如果你想看到你原本推导的「跳转后重跑后续代码、最终因为x是数值不可调用报错」的效果，只需要把所有代码包裹在同一个连续的表达式内部（比如begin块，或者放在一个函数体内），让后续代码在call/cc触发时就已经存在于调用栈上即可：

(begin
  (define x (call/cc (lambda (c) c)))
  (display "hello\n")
  (display "world\n")
  (x 4)
  (display x))

这时候运行代码，call/cc捕获的续延会包含begin块内后续所有表达式的执行逻辑，就会出现你预期的循环跳转、最终报错的行为。

内容的提问来源于stack exchange，提问作者Robert_Liu