Racket中call/cc调用栈绘制及核心机制疑问

先明确我们讨论的Racket示例代码（匹配你的疑问场景）：

(define saved-cont #f)

(define (test-cont)
  (let ([x 0])
    (call/cc
     (lambda (k)
       (set! saved-cont k)
       (displayln x))) ; 打印0
    (set! x (+ x 1))
    (displayln x))) ; 打印1

; 顶层执行
(test-cont)
(saved-cont)

1. 示例代码执行各阶段的调用栈具体状态如何？ #

调用栈的核心是当前正在执行的函数帧，结合Racket的词法作用域，还要包含当前的环境（变量绑定）：

• 阶段1：执行(test-cont)

  1. 顶层环境调用test-cont，栈顶压入test-cont的函数帧，进入let绑定，环境中新增x=0。
  2. 执行call/cc，此时系统会创建一个继续对象k，这个对象保存了当前的调用栈（栈中是test-cont的帧）、当前的词法环境（包含x=0），以及call/cc表达式执行完成后的下一步指令：执行(set! x (+x 1))和后续的(displayln x)。
  3. 调用call/cc的参数lambda，栈顶压入lambda的函数帧，参数是继续k。
  4. 执行(set! saved-cont k)，将全局变量saved-cont指向这个继续对象；然后执行(displayln x)打印0，lambda函数返回，栈弹出lambda帧。
  5. call/cc表达式完成，继续执行后续代码：(set! x (+x 1))将x改为1，(displayln x)打印1，test-cont返回，栈弹出test-cont帧，回到顶层环境。

• 阶段2：执行(saved-cont)

  1. 顶层环境调用saved-cont（也就是之前保存的继续k），此时系统会恢复k保存的调用栈和词法环境：栈重新压入test-cont的帧，环境中x的值恢复为0（因为k保存的是call/cc执行时的环境）。
  2. 从call/cc表达式完成后的下一步开始执行：(set! x (+x 1))将x改为1，(displayln x)打印1，test-cont返回，栈弹出test-cont帧，回到顶层环境。

2. 顶层调用(test-cont)、(saved-cont)是否类似main函数？为何调用(saved-cont)不会进入循环？ #

• 顶层调用的(test-cont)和(saved-cont)本质是在REPL的顶层环境中执行的独立表达式，和main函数的区别是：main函数是程序的唯一入口，而这里是交互式环境中依次执行的两个无关联的执行单元。
• 调用saved-cont不会循环的原因：继续k保存的是test-cont执行到call/cc时的后续执行流程，当调用k时，只会重新执行call/cc之后的代码直到test-cont返回，不会再次进入call/cc内部的lambda（也就不会重新设置saved-cont或触发新的继续保存逻辑）。执行完test-cont返回后，就回到顶层环境，不会自动再次调用saved-cont，自然不会形成循环。

3. call/cc实际在哪个时机保存栈？ #

call/cc在准备调用它的参数过程（即传入的lambda）之前保存当前的继续（包含调用栈和环境）。具体流程：
当执行到call/cc表达式时，系统首先捕获当前的调用栈状态（所有未返回的函数帧）、当前的词法环境，以及call/cc表达式执行完成后需要执行的下一条指令，把这些打包成一个继续对象k，然后才调用参数过程，并把k作为参数传给这个过程。

4. 初始call/cc处x为0，为何调用(saved-cont)时x为1？ #

这里要区分两个阶段的x值逻辑：

• 初始call/cc内部打印的x=0，是call/cc保存继续时的环境中的x值。
• 调用saved-cont后，会从call/cc完成后的下一步开始执行，也就是先执行(set! x (+x 1))，把环境中的x从0改成1，之后打印的x就是1。
  简单说：saved-cont触发的是call/cc之后的代码流程，而非重新执行call/cc内部的lambda，所以x会被递增后再打印。

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