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

Question

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

我在以下位置看到了类似的错误 ​​Lisp：CHAR 既未声明也未绑定 但实际上并没有达成解决方案，除了OP意识到他犯了一个“打字错误”。在 REPL 中我可以使用 setf 函数并且它工作得很好。我还在 emacs 中使用 LispBox。我将不胜感激任何建议！

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

IT-FACT 中的警告： RESULT 既不被声明也不被约束， 它将被视为如同被宣布为特殊的。

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 等不同，在 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))))))

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