告诉你真实的Common.Lisp的宏

Common Lisp总共有4种被称为“宏”（macro）的东西。

下面分别说说他们的作用(这里仅仅只说编译的事情,而且还很模糊没说是哪种编译器(一个Common Lisp实现必须要实现至少两个不同的编译器，分别对应不同的语义))。
总之,为了不把Common Lisp的复杂给显露出来吓跑人，先将就吧。

• macro

  • 编译器在遇到一个宏调用的时候，把当前的环境(环境在标准里面只是一个玄乎的不明所以的存在,环境访问的API在标准化的过程中被去掉了)和调用时的代码作为参数传给这个函数以调用这个函数， 然后把这个函数返回的结果放到原来宏调用的位置，替换原有内容。 实际上这货就是个“你的代码->Common Lisp代码”的编译器。 说好听这是C宏的“加强版”，因为可以执行复杂的逻辑，实际上它不可能像C的宏那样自由的传入和传出部分代码， 并且Common Lisp基本上不给这个功能提供任何便利， 基本上也只有一个hook接口了（你必须使用非常原始和复杂的方法去实现你的这个小型编译器）。

• reader macro

  • Common Lisp的Reader（或者说是一个lexer也可以 ，反正这货就是读入一段文本，然后返回一个这段文本所表示的对象）的hook。 reader在扫描到reader macro所设置的对应的字符的时候， 就调用这个reader macro（实际上也一样对应个函数），让它去扫描和解析代码，然后返回对应的对象。 Common Lisp不给这种功能提供什么便利，并且要根据reader algorithm来编写，要小心编写以避免各种问题。

• compiler macro

  • 这个宏其实用于前端优化。 在编译的时候，遇到一段代码，如果这段代码对应的定义了相应的compiler macro，那么可以选择将这段代码传给这个对应的compiler macro（懒得说了，同样是函数）， 然后把函数返回的结果替换掉原有的代码。这基本上跟defmacro所定义的宏是一样的，就是对应的是不同的hook，并且这种可以控制是否要替换。 同样的，不要期望Common Lisp为你这个东西提供一堆便利的工具，你只能自己使用最原始的手段来达成。

• symbol macro

  • 这是跟简单的C宏类似的东西。他的功能是，看到一个符号，就将这个符号替换成symbol macro对应的其它东西，就像#define AAA BBB一样。

除了symbol macro，其它几个宏都是Common Lisp编译器的hook。那么既然是编译器（有哪个编译器不是这样？），
输入的数据肯定是代码（code as data，代码作为数据），输出的数据也肯定是代码了（code as data）（就算你恶搞随便乱输出，你输出的东西还是被认为是代码）。

这就是Common Lisp“神秘”的宏，也是那句神秘的“code as data”所说的东西。这些宏基本上都是全局性的，你定义了一个，
你的所有代码都会受影响（除了宏，Common Lisp还有不少的类似的东西，即使是编译器hook还有一些其它的，比方说eval-when），
所以基本上所有的代码（任何语言的代码，因为有了reader macro，你完全可以自己解析各种语言各种形式的源代码；
类似的，因为有了reader macro，即使是注释也没有一种到哪里都能用的必然会被认为是注释的注释）都可以认为是Common Lisp代码，
而基本上所有Common Lisp代码你都无法知道它究竟是什么意思，因为随时背后都有各种乱七八糟的东西来影响你的代码的真正意义。

如果你是被神化了的“宏”、“code as data”忽悠来的，那么这就是真相。接下来该怎么做，我相信你心里已经有答案了。