当你把 xx 当做符号使用时 'xx , 这个符号是没有任何函数/变量语义的, 仅仅是一个 符号而已(就像一个string一样)
但你可以对这个string有其他的用法,比如使用它所binding的同名函数、使用它所binding的同名动态变量
(要知道,“代码” 不过是 一串String, 这就是 Macro所做的事)
你把Symbol当成一种可绑定函数、变量的东西就可以了!
可以看到, 上图的 defun inc 和 defmacro inc 的内部实现时一模一样的。 它们其实都是接收 symbols作为参数, 然后基于这些symbols 构建 list-of-symbols (Cons/ Tree) , 而构建的目标是可以eval的 Symbols-tree!即如同正常代码一样的一串符号。
另外,它们的调用方式是不同的: 对于defun inc, 调用时要以 symbol的形式: (inc 'x) ====> '(setq x (1+ x)) ,此时得到的是一个列表, 必须显式写 eval 将其转为 代码,随后才可对之求值。
对于defmacro inc, 调用时直接 (inc x) ----宏展开----> (setq x (1+ x)) , 此时相当于这里写的是这行代码,可以直接对其 C-M-x 求值。
The Common Lisp Cookbook - Macros and Backquote
http://cl-cookbook.sourceforge.net/macros.html
说白了:Macro的作用是 根据提供的几个 symbol去构建完整的 symbols-Tree, 在这过程中对一些 符号可以进行 求值—— 即使用它的实际语义来计算一下。。