Lisp 警告：xx 既未声明也未绑定，将被视为已声明为 SPECIAL

Question

我是 lisp 的新手，正在编写一些简单的程序来熟悉它。我正在做的一件事是编写阶乘方法的递归和迭代版本。但是，我遇到了一个问题，似乎无法解决。

我在 Lisp: CHAR is neither declared nor bound 但实际上并没有找到解决方案，除了 OP 意识到他犯了一个“打字错误”。在 REPL 中，我可以使用 setf 函数，它工作正常。我也在使用带有 emacs 的 LispBox。如有任何建议，我将不胜感激！

(defun it-fact(num)
  (setf result 1)
  (dotimes (i num)
    (setf result (* result (+ i 1)))
  )
)

IT-FACT 中的警告： RESULT 既没有声明也没有约束， 它将被视为已声明为 SPECIAL。

Answer 1

Lisp 风格存在一些问题或不太好的地方：

(defun it-fact(num)                      ; style: use a space before (
  (setf result 1)                        ; bad: variable RESULT is not introduced
  (dotimes (i num)
    (setf result (* result (+ i 1)))     ; bad: extra addition in each iteration
  )                                      ; style: parentheses on a single line
)                                        ; bad: no useful return value

一个可能的版本：

(defun it-fact (num)
  (let ((result 1))                      ; local variable introduced with LET
    (loop for i from 1 upto num          ; I starts with 1, no extra addition
      do (setf result (* result i)))
    result))                             ; result gets returned from the LET

Answer 2

在 Lisp 中，局部变量必须用 LET 或其他创建局部变量的形式显式声明。 这不同于例如在 Python 或 JavaScript 中，对变量的赋值会在当前词法范围内创建变量。

你的例子可以改写成这样：

(defun it-fact(num)
  (let ((result 1))
    (dotimes (i num)
      (setf result (* result (+ i 1))))))

题外话：将右括号放在单独的行上是没有意义的。

Answer 3

在开始使用之前，您需要绑定变量“result”——例如使用“let”：

(defun it-fact(num)
  (let ((result 1))
    (dotimes (i num)
      (setf result (* result (+ i 1))))))

有关更多详细信息，您可能需要阅读this ...