第十章：宏.pdfVIP

第⼗章：宏 Lisp 代码是由 Lisp 对象的列表来表⽰。2.3 节宣称这让 Lisp 可以写出可⾃⼰写程序的 程序。本章将⽰范如何跨越表达式 代码的界线。 10 .1 求值 (Eval) 10 .2 宏 (Macros) 10 .3 反引号 (Backquote) 10 .4 ⽰例：快速排序法(Example: Quicksort) 10 . 设计宏 (Macro Design) 10 .6 通⽤化引⽤ (Generalized Reference) 10 .7 ⽰例：实⽤的宏函数 (Example: Macro Utilities) 10 .8 源⾃ Lisp (On Lisp) Chapter 10 总结 (Summary) Chapter 10 练习 (Exercises) 10.1 求值 (Eval) 如何产⽣表达式是很直观的：调⽤ list 即可。我们没有考虑到的是，如何使 Lisp 将 列表视为代码。这之间缺少的⼀环是函数 eval，它接受⼀个表达式，将其求值，然 后返回它的值: (eval (+ 1 2 3)) 6 (eval (format t Hello)) Hello NIL 如果这看起很熟悉的话，这是应该的。这就是我们⼀直交谈的那个 eval 。下⾯这个 函数实现了 顶层⾮常相似的东西: (defun our-toplevel () (do () (nil) (format t % ) (print (eval (read))))) 也是因为这个原因，顶层也称为读取─求值─打印循环 (read-eval-print loop , REPL) 。 调⽤ eval 是跨越代码 列表界线的⼀种⽅法。但它不是⼀个好⽅法: 1. 它的效率低下： eval 处理的是原始列表 (raw list) ，或者当下编译它，或者⽤ 直译器求值。两种⽅法都⽐执⾏编译过的代码来得慢许多。 2. 表达式在没有词法语境 (lexical context)的情况下被求值。举例来说，如果你在 ⼀个 let ⾥调⽤ eval ，传给 eval 的表达式将⽆法引⽤由 let 所设置的变 量。 有许多更好的⽅法 (下⼀节叙述)来利⽤产⽣代码的这个可能性。当然 eval 也是有⽤ 的，唯⼀合法的⽤途像是在顶层循环使⽤它。 对于程序员来说， eval 的主要价值⼤概是作为 Lisp 的概念模型。我们可以想像 Lisp 是由⼀个长的 cond 表达式定义⽽成: (defun eval (expr env) (cond ... ((eql (car expr) quote) (cdr expr)) ... (t (apply (symbol-function (car expr)) (mapcar #(lambda (x) (eval x env)) (cdr expr)))))) 许多表达式由预设⼦句 (default clause)来处理，预设⼦句获得 car 所引⽤的函数， 将 cdr 所有的参数求值，并返回将前者应⽤⾄后者的结果。 [1] 但是像 (quote x) 那样的句⼦就不能⽤这样的⽅式来处理，因为 quote 就是为了 防⽌它的参数被求值⽽存在的。所以我们需要给quote 写⼀个特别的⼦句。这也是为 什么本质上将其称为特殊操作符 (special operator): ⼀个需要被实现为 eval 的⼀个特 殊情况的操作符。 函数 coerce compile 提供了⼀个类似的桥梁，让你把列表转成代码。你可 以 coerce ⼀个 lambda 表达式，使其成为函数， (coerce (lambda (x) x) function) #Interpreted-Function BF9D96 ⽽如果你将 nil 作为第⼀个参数传给 compile ，它会编译作为第⼆个参数传⼊的 lambda 表达式。 (compile nil (lambda (x) (+ x 2))) #Compil