基本Lisp宏問題

Question

請幫忙。我正在嘗試創建這個Lisp宏，它將一個（數字）列表作爲輸入並返回這些數字的總和。代碼

(setf g (list 1 2 3 4)) 



(defmacro add-test(var) 

    `(+ ,@var)) 

（附加測試克）給出該錯誤

*****的值G型LIST的不。 *****

[類型TYPE-ERROR的條件]在同一時間（附加試驗（1 2 3 4））給出正確的結果是10。

可以請你解釋，爲什麼變量傳遞給函數時不工作？

其他細節 -

Lispbox - SBCL

提前

Answer 1

這很容易和最常見的宏觀經濟問題一個Ubuntu Linux操作系統

感謝。

(add-test g) 

現在的宏擴展，宏ADD-TEST被調用時所獲得的價值G，符號參數VAR。

然後你嘗試一個列表操作。反引號表達

`(+ ,@var) 

的VAR值爲G，並嘗試該拼接到列表(+ ...)。現在返回的表達式是(+ . G)。

CL-USER 12 > (macroexpand '(add-test g)) 
(+ . G) 
T 

(+ . G)不是有效的Lisp表單。這不是有效的源代碼。

請記住，宏的參數是未經評估的源表達式。

相比之下，與以下內容：

CL-USER 13 > (macroexpand '(add-test (1 2 3 4))) 
(+ 1 2 3 4) 
T 

你說：「能否請您解釋一下，爲什麼當變量的函數傳遞它不工作？」請注意，ADD-TEST不是一個函數，它是一個宏。一個宏獲得源代碼傳遞並返回一個新的表單 - 然後對該表單進行評估。