缓存方案中过程的先前返回值

Question

在《老练的策划者》第16章中，作者定义了一个递归过程“深度”，它返回'嵌套在n个列表中的披萨，例如（深度3）是（（（披萨）））。然后他们将其改进为“深度M”，它使用 set! 缓存其返回值。在列表 Ns 和 Rs 中，它们一起形成一个查找表，因此如果达到以前见过的返回值，则不必一直向下递归。例如，如果我已经计算了（深度M 8），当我稍后计算（深度M 9）时，我只需查找（深度M 8）的返回值并将其cons为null，而不是一直递归到（深度M 0） 。

但随后他们将 N 和 R 移动到过程中，并使用“let”将它们初始化为 null。为什么这没有完全破坏缓存返回值的意义呢？从一些实验来看，每次调用“深度M”时，Ns 和 Rs 都会被重新初始化。

我是否误解了他们的观点？

我想我的问题实际上是这样的：Scheme 中有没有一种方法可以让词法范围的变量在调用过程之间保留它们的值，就像在 Perl 5.10 中使用“状态”变量所做的那样？

Answer 1

呃。没有读过《经验丰富的策划者》，我无法评论记忆问题，除非您在这里提供一些源代码。然而，关于是否有一种方法可以让词法范围的变量在函数调用之间保持其状态的问题......这是Scheme 语言的一个称为“闭包”的功能。考虑以下示例：

(define counter 
  (let ((number 0))
    (lambda () 
      (let ((result number))
        (set! number (+ number 1))
        result)))

这段代码定义了一个名为 counter 的函数，它使用词法变量 (number) 来跟踪其状态。每次调用该函数时，您都会得到不同的数字作为返回：

> (counter)
0
> (counter)
1

依此类推。这里重要的一点是，执行 lambda 表达式生成的函数“封闭”封闭范围中的所有词法可见变量（在本例中只有 number）。这意味着，这些变量仍然是读取值或写入新值的有效位置。