在这个具体案例中，＆＃34; trace＆＃34;应该在Racket工作？

Question

我正在使用着名的书籍SICP。在练习1.18中，发生了一件奇怪的事情。

我写了这段代码：

OutOfMemory

我正在使用＆＃34; trace＆＃34;功能

(define (double n) (* 2 n)) 
(define (halve n) (/ n 2))
(define (fast-mult a b)
    (fast-mult-iter a b 0))
(define (fast-mult-iter a b counter)
    (cond ((= b 0) counter)
          ((even? b) (fast-mult-iter (double a) (halve b) counter))
          (else (fast-mult-iter a (- b 1) (+ a counter)))))

我认为这是＆＃34;追踪＆＃34;会告诉我函数遵循的所有步骤，直到最终输出。因此，我在调用之后想到了

（fast-mult 4 3）

我会得到：

 (require racket/trace)
 (trace fast-mult)

然而，发生的事情是我得到以下内容：

>  (fast-mult-iter 4 3 0)
>  (fast-mult-iter 4 2 4)
>  (fast-mult-iter 8 1 4)
>  (fast-mult-iter 8 0 12)
< 12

为什么会这样？我是否误解了Racket中跟踪的工作原理？

Answer 1

你非常接近。 trace没有给出您期望的结果的原因是因为您只跟踪了fast-mult，而不是fast-mult-iter。如果您将跟踪线修改为：

(trace fast-mult fast-mult-iter)

然后你得到的结果是：

>(fast-mult 4 3)
>(fast-mult-iter 4 3 0)
>(fast-mult-iter 4 2 4)
>(fast-mult-iter 8 1 4)
>(fast-mult-iter 8 0 12)
<12

您期望的答案是什么。