Scheme中call/cc与可变环境存储的机制疑问

问题代码与输出 #

我有如下Scheme程序：

(define sg-pair (let ()
                  (define x #f)
                  (cons
                   (call/cc (lambda (c)
                              (set! x c)))
                   x)))

(display sg-pair)
(display "\n")

(if (eq? (car sg-pair) (void))
    (let ()
      ((cdr sg-pair) "first")))

(if (string? (car sg-pair))
    (let ()
      ((cdr sg-pair) 2)))

该程序输出如下内容：

(#!void . #<procedure #2>)
(first . #<procedure #2>)
(2 . #<procedure #2>)

我的理解与困惑 #

我当前对该序对构造过程的理解如下：

• 调用call/cc时创建延续（c），此时x的值为#f，且尚未作为cons的第二个参数被求值。
• 在传给call/cc的lambda执行期间，x被设置为非假值（延续）。
• call/cc正常返回，返回值为空（#!void），此时x取之前被设置的值。
• 后续通过cdr获取并调用该延续时，我原本预期会恢复延续创建时x -> #f的映射，且由于call/cc的lambda体不会再次执行，x会保持为假。
• call/cc之后x会被求值，此时值为#f，会导致第二次display的cdr不同，且第二次调用cdr会失败。

但实际情况是，重新进入延续时会保留x之前的值。请问这是为什么？具体是如何实现的？Scheme实际采用什么机制来保存环境？

解答：延续与环境的绑定逻辑 #

核心误区：延续保存的是"执行点"而非"环境快照" #

你之前的错误在于认为延续会保存创建时的环境快照，但实际上延续捕获的是当前的执行上下文（即接下来要执行的代码流程），而环境（变量绑定）是共享的、可变的状态，不会被延续复制。

具体到你的代码：

1. 当call/cc创建延续c时，这个延续对应的执行点是：从call/cc返回后，将返回值作为cons的第一个参数，然后求值x作为cons的第二个参数，最终完成cons的构造并赋值给sg-pair。
2. 这里的x是同一个环境中的变量，不是副本。当你在lambda里执行(set! x c)时，已经直接修改了这个环境中x的绑定值为延续c。
3. 第一次call/cc正常返回#!void，此时cons完成构造，sg-pair的car是#!void，cdr是延续c——因为此时x已经被set!修改过了。
4. 当你调用(cdr sg-pair)（也就是调用延续c）并传入"first"时，相当于让程序回到call/cc的返回点，只不过这次call/cc的返回值变成了"first"。此时环境中的x仍然是之前设置的延续c（没有被重置），所以cons构造出来的sg-pair的car是"first"，cdr还是c。
5. 第二次调用延续时同理，返回值变成2，x依然保持为延续c，所以输出(2 . #<procedure #2>)。

Scheme的环境保存机制 #

Scheme的环境是由**帧（frame）**组成的链式结构，每个帧保存着当前作用域的变量绑定。当创建延续时，延续会引用当前的环境链，但不会复制环境——也就是说，延续和当前执行流程共享同一个环境状态。

变量的修改（比如set!）是直接在环境帧中修改绑定的值，所有引用这个环境的代码（包括延续）都会看到最新的绑定值。延续本质上是一个闭包，它捕获了执行点和当前的环境链，而不是环境的快照。

简单总结：延续是"回到某个执行步骤继续跑"，而不是"回到某个时间点的状态重新跑"，所以环境里的变量修改会被保留。

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