Basic Lisp Macro Question

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

Ubuntu Linux

Заранее спасибо

Answer 1

Это легко и одной из наиболее распространенных макро вопросов.

(add-test g) 

Сейчас на макроподстановкам, макрос ADD-TEST вызывается с параметром VAR получать значение G, символ.

Затем вы попробуете операцию с списком. Выражение кавычки

`(+ ,@var) 

Значение VAR является G, и вы пытаетесь склеить, что в список (+ ...). Теперь возвращаемое выражение равно (+ . G).

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

(+ . G) не является действительной формой Лиспа. Это недопустимый исходный код.

Помните, что параметры макроса - это необоснованные исходные выражения.

Сравните это со следующим:

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

Вы сказали: "Можете ли вы объяснить, почему это не работает, когда переменная передается в функцию?

Помните, ADD-TEST НЕ является функцией, это макрос. Макрос передается исходный код и возвращает новую форму - эта форма затем оценивается.