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不给这种功能提供什