Lisp警告：xx既沒有聲明也沒有綁定，它將被視爲聲明爲特殊

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： 結果既不申報也沒有約束， 就好像宣佈SPECIAL它將被處理。

Answer 1

您需要綁定變量「結果」 - 用「讓」，例如 - 在開始使用前：

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

對於您可能需要閱讀this進一步瞭解詳情......

Answer 2

在Lisp中，局部變量必須用LET或其他創建局部變量的形式顯式聲明。 與例如Python或JavaScript，其中賦值給變量在當前詞法範圍中創建變量。

你的例子可以寫成這樣：

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

閒談評論：有是把右括號放在單獨的行毫無意義。

Answer 3

有幾件事情是不是錯了好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