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函数可以显示最终展开的表达式。





你可能感兴趣的:(编程,list,文档)