ELisp编程十三:宏一

参考文档：

http://www.gnu.org/software/emacs/manual/html_node/elisp/Macros.html#Macros

http://www.emacswiki.org/emacs/EmacsLispManual_Chinese_Notes#toc54

简单的例子：

文档中少了一行代码，我补上：

(defmacro inc (var)
        (list 'setq var (list '1+ var)))

(setq x 1)
(inc x)

运行结果是2

解释：

inc (var) 是新定义的宏，当用户调用的时候，将会执行(list 'setq var (list '1+ var))) list ' 去掉后，变成(setq var (1+ var)),var又被替换成x

因此调用的实际代码是：(setq x (1+ x))

要证明我的观点可以用函数macroexpand来检查调用展开的代码：

(macroexpand '(inc x))

结果就是(setq x (1+ x))

记住，这里分为两个步骤：对宏的调用，首先返回的是宏展开的表达式，然后再对该表达式求值。

宏的定义里面可以调用自己或者其他宏，对该宏的调用也是分步骤，首先返回第一层展开的表达式，然后再对里面的宏进行展开，最后求值。

macroexpand-all函数可以显示最终展开的表达式。