ANSI Common Lisp译本笔记8

宏

求值

eval：接收一个表达式，将其求值并返回。


eval缺点：
1.效率低，eval处理的是原始列表，要不当下编译它，或用直译器求值。这两种方法都比执行编译过来的代码慢。
2.表达式在没有词法语境的情况下被求值。如：在let中调用eval，传给eval的表达式无法参照由let设置的变量。

eval主要的作用是作为lisp的概念模型。

函数coerce和compile可将列表转成代码。
如：传给coerce一个lamda表达式，将其成为函数。

宏

宏是通过转换而实现的操作符。
通过说明一个调用应该要翻译成什么，来定义一个宏，这种翻译称为宏展开。宏展开是编译器自动完成的。

defmacro：定义一个宏
格式：defmacro 宏名称 应用到展开式的参数列表 宏主体(展开式)
如：(defmacro nil! (x)

(list 'setf x nil))

macroexpand：用于展开宏，返回一个宏展开式

反引号

反引号读取宏，使从模板构建列表成为可能。
反引号为键盘1的左边的键位 ` 。且为半角输入，即英文输入状态。

单引号可保护其参数不被求值。
反引号的优点：在一个反引号表达式中，可用逗号(,)和@来重启求值。即：在一个反引号表达式中，在一个符号前加逗号的话，则此符号会被求值。@和逗号类似，若在符号前加，且此符号为列表时，则会将列表展开
如：逗号例子：
(setf a 1 b 2)
`(a is ,a and b is ,b)→(A IS 1 AND B IS 2)

@例子：
(setf lst '(a b c))
`(lst is ,lst)→(LST IS (A B C))

`(lst's elements are ,@lst)→(LST'S ELEMENTS ARE A B C)

一般，一个宏一般用剩余参数表示代码主体的宏。
如：
(defmacro while (test &rest body)
  `(do ()

((not ,test))