主页 / user-4580217

Aly's questions

Martin Hope
Aly
Asked: 2024-12-05 05:37:37 +0800 CST
  • 6

我有以下 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>)

我目前对于如何构建这一对的理解是：

  1. 延续 ( c) 在调用 时创建call/cc。此时，x是#f，并且尚未被评估为 的第二个参数cons。
  2. lambda在传递给的的执行期间call/cc，x被设置为非 false（继续）值。
  3. call/cc自然返回，并且不返回任何内容（#!void），并且x从之前的 set 调用中检索到。
  4. 当后续调用通过 检索的延续时cdr，我期望在创建延续时已知的 的映射x -> #f被恢复。然后，由于lambda的主体call/cc不会再次运行，因此x将保持为 false。
  5. x将在 之后进行评估call/cc，这次是#f，导致第二display个cdr不同，并且第二次调用cdr失败。

x然而，实际发生的情况是，当重新进入延续时，会记住先前的值。为什么？怎么做？Scheme 实际上使用什么机制来记住环境？

scheme