SBCL中奇怪的宏扩展错误

[请注意,coredump的回答解释了宏的错误:我关注的是函数的错误以及解决问题的更好方法。]

我不知道你为什么认为你需要 EVAL 此处或宏:您可以使用 LAMBDA 。以下是您的代码版本,可以使用:

(defvar *fibs* (make-hash-table))

(defun get-value (idx &optional (default nil))
  ;; return the value and whether it was there.  If it's a function,
  ;; call it and stash the result
  (multiple-value-bind (got presentp)
      (gethash idx *fibs* default)
    (values
     (typecase got
       (function (setf (gethash idx *fibs*)
                       (funcall got)))
       (t got))
     presentp)))

(defun fib (n)
  (loop for i from 0 below n
        if (< i 2) do (setf (gethash i *fibs*) 1)
        else do (setf (gethash i *fibs*)
                      (let ((i i))
                        ;; rebind I as we don't want to depend on whatever
                        ;; LOOP does, which probably is mutate a single
                        ;; binding of I
                        (lambda () (+ (get-value (- i 2))
                                      (get-value (- i 1)))))))
  ;; just return the first value as we know the second will be T, and
  ;; it's not interesting
  (values (get-value (- n 1))))

但这是一种相当糟糕的方法。相反,您可以只使用显式记忆函数,如下所示:

(defun fibonacci (n)
  ;; an explicitly-memoized version of the Fibonacci function
  (let ((memo (make-hash-table :test #'eql)))
    (labels ((fib (m)
               (cond
                ((< m 1)
                 (error "defined on naturals (excluding 0)"))
                ((< m 3)
                 1)
                (t
                 (multiple-value-bind (v p) (gethash m memo)
                   (if p
                       v
                     (setf (gethash m memo) (+ (fib (- m 1))
                                                (fib (- m 2))))))))))
      (fib n))))

更好的是,定义一个宏,它可以让你记忆任何函数:有一些软件包可以让你这样做,尽管我不确定它们是什么(一个是我的,但我不确定没有更好的,或者实际上是现在找到我的一个的正确位置!)

宏失败的原因

这是什么 code-for 查看:

(code-for i)

第一个参数是符号 i 。但是,您试图在宏扩展期间使用此符号执行算术运算。这失败了。

现在,我不想在fib中调用eval,所以我介绍了宏

这通常是宏的错误用法。所有宏操作都是代码,无法知道 运行时 值将等于。

也不 eval 也不需要宏

您可以轻松构建闭包:

(lambda () (+ (get-value (- i 2))
              (get-value (- i 1))))

这里唯一的问题是 我 lambda关闭的,正在被循环变异。当您最终调用闭包时,其值将不同。您必须建立新的绑定:

(let ((i i)) (lambda ...))