第 17 章读取宏（read-macro）

2018-02-24 15:54 更新

第 17 章读取宏（read-macro）

在 Lisp 表达式的一生中，有三个最重要的时刻，分别是读取期（read-time），编译期（compile-time）和运行期（runtime）。运行期由函数左右。宏给了我们在编译期对程序做转换的机会。本章讨论读取宏（read-macro），它们在读取期发挥作用。

17.1 宏字符

按照 Lisp 的一般哲学，你可以在很大程度上控制 reader 。它的行为是由那些可随时改变的属性和变量控制的。Reader 可以在几个层面上编程。若要改变其行为，最简单的方式就是定义新的宏字符。

宏字符（macro character）是一种被 Lisp reader 特殊对待的字符。举个例子，小写字母 a 的处理方式和小写字母 b 是一样的，它们都由常规的处理方式处理。但左括号就有些不同：它告诉 Lisp 开始读取一个列表。

每个这样的字符都有一个与之关联的函数，告诉 Lisp reader 当遇到该字符的时候做什么。你可以改变一个已有的宏字符的关联函数，或者定义你自己的新的宏字符。

内置函数 set-macro-character 提供了一种定义读取宏的方式。它接受一个字符和一个函数，以后当 read 遇到这个字符时，它就返回调用该函数的结果。

[示例代码 17.1] '(引号)的可能定义

(set-macro-character #\'
  #'(lambda (stream char)
    (declare (ignore char))
    (list 'quote (read stream t nil t))))

Lisp 中最古老的读取宏之一是单引号 ' ，即引用。你也可以不用 '，而总是将 'a 写成 (quote a)，但这将会非常烦人, 而且会降低代码的可读性。引用读取宏使 (quote a) 可以简写成 'a。我们可以用 [示例代码 17.1] 中的方法实现它。当 read 在一个普通的上下文中（例如，不在 "a'b"或 |a'b| 中）遇到 ' 时，它将返回在当前流和字符上调用这个函数的结果。（该函数忽略了它的第二个形参，因为它总是那个引用字符。）所以当 read 看到 'a 时，它将返回 (quote a)。

read 的最后三个参数分别控制：是否在碰到 end-of-file 时报错，如果不报错的话返回什么值，以及这个 read 调用是否是发生在 read 调用中的（译者注：关于 read 的最后一个参数（recursive-p），详见 CLTL 中对 read 的解释。) 。在几乎所有的读取宏里，第二和第四个参数都应该是 t ，所以第三个参数也就无关紧要了。

读取宏和常规宏一样，其实质都是函数。和生成宏展开的函数一样，和宏字符相关的函数，除了作用于它读取的流以外，不应该再有其他副作用。Common Lisp 明确声明：一个与宏字符相关联的函数何时被执行，或者被执行几次 Common Lisp 对其将不给予保证。（见 CLTL2 的 543 页。）

宏和读取宏在不同的阶段分析和观察你的程序。宏在程序中发生作用时，它已经被 reader 解析成了 Lisp 对象，而读取宏在程序还是文本的阶段时，就对它施加影响了。尽管如此，通过在这些文本上调用 read ，一个读取宏，如果它愿意的话，同样可以得到解析后的 Lisp 对象。这样说来，读取宏至少和常规宏一样强有力。

事实上，读取宏至少在两方面比常规宏更为强大。读取宏可以影响 Lisp 读取的每一样东西，而宏只是在代码里被展开。并且，由于读取宏通常递归地调用 read，一个类似：

''a

的表达式将变成：

(quote (quote a))

而如果我们试图用一个普通的宏来为 quote 定义缩略语的话：

(defmacro q (obj)
  '(quote ,obj))

它在某些情况下可以正常工作：

> (eq 'a (q a))
T

但在被嵌套使用时就不行了。例如：

(q (q a))

将展开成：

(quote (q a))

译者注：解决这个问题的正确方法是定义一个编译器宏（compiler-macro）。Common Lisp 内置的 define-compiler-macro 用于定义编译器宏，详见 CLTL 中关于此操作符的说明。

17.2 `dispatching` 宏字符

#' 和其他 # 开头的读取宏一样，是一种称为 dispatching 读取宏的实例。这些读取宏以两个字符出现，其中第一个字符称为 dispatch 字符。这类宏的目的，简单说就是尽可能地充分利用  字符集；如果只有单字符读取宏的话，那么读取宏的数量就会受限于字符集的大小。

你可以（通过使用 make-dispatch-macro-character）来定义你自己的 dispatching 宏字符，但由于 # 已经定义了，所以你也可以直接用它。一些 # 打头的组合就是特意为你保留的；其他的那些，如果 Common Lisp 还没有给它们赋予含义的话，也可以拿来用。完整的列表可见 CLTL2 的第 531 页。

[示例代码17.2] 一个用于常数函数的读取宏

(set-dispatch-macro-character #\# #\?
  #'(lambda (stream char1 char2)
    (declare (ignore char1 char2))
    '#'(lambda (&rest ,(gensym))
      ,(read stream t nil t))))

新的 dispatching 宏字符组合可以通过调用 set-dispatch-macro-character 函数定义，除了接受两个字符参数以外和 set-macro-character 的用法差不多。一个预留给程序员的组合是 #? 。[示例代码 17.2] 显示了如何将这个组合定义成一个用于常数函数的读取宏。现在 #?2 将被读取为一个函数，其接受任意数量的参数，并且返回 2。例如：

> (mapcar #?2 '(a b c))
(2 2 2)

这个例子里定义的新操作符看起来相当无聊，但在使用了很多函数型参数的程序里，常常会用到常数函数。

事实上，有些方言提供了一个名叫 always 的内置函数，专门用来定义它们。

注意到在这个宏字符的定义中使用宏字符是完全没有问题的：和任何 Lisp 表达式一样，当这个定义被读取以后这些宏字符就都消失了。在 #? 的后面使用宏字符也是可以的。因为 #? 的定义调用了read ，所以诸如 ' 和 #' 此类宏字符也可以正常使用：

> (eq (funcall #?'a) 'a)
T
> (eq (funcall #?#'oddp) (symbol-function 'oddp))
T

17.3 定界符

[示例代码 17.3] 一个定义定界符的读取宏

(set-macro-character #\] (get-macro-character #\)))
  (set-dispatch-macro-character #\# #\[
   #'(lambda (stream char1 char2)
     (declare (ignore char1 char2))
     (let ((accum nil)
        (pair (read-delimited-list #\] stream t)))
      (do ((i (ceiling (car pair)) (1+ i)))
        ((> i (floor (cadr pair)))
           (list 'quote (nreverse accum)))
          (push i accum)))))

除了简单的宏字符，定义得最多的宏字符要算列表定界符了。另一个为用户预留的组合字符是 #[ 。[示例代码 17.3] 给出的例子，显示了把这个字符定义成一个更复杂的左括号的方法。它定义形如 #[x y] 的表达式，使得这样的表达式被读取为在 x 到 y 的闭区间上所有整数的列表：

> #[2 7]
(2 3 4 5 6 7)

这个读取宏里，唯一的新东西是对 read-delimited-list 的调用，这个函数是一个完全为这种情况度身定制的内置函数。它的第一个参数是那个被当作列表结尾的字符。有其名才能行其实，为了把] 识别成定界符，程序在开始的地方调用了 set-macro-character。

[示例代码17.4] 一个用于定义定界符读取宏的宏

(defmacro defdelim (left right parms &body body)
  '(ddfn ,left ,right #'(lambda ,parms ,@body)))

(let ((rpar (get-macro-character #\))))
(defun ddfn (left right fn)
  (set-macro-character right rpar)
  (set-dispatch-macro-character #\# left
    #'(lambda (stream char1 char2)
      (declare (ignore char1 char2))
      (apply fn
        (read-delimited-list right stream t))))))

多数潜在的定界符读取宏都将在很大程度上重复 [示例代码 17.3] 中的代码。或许可以写个宏，让它从这些机制中提炼出更抽象的接口，以简化代码。[ 示例代码 17.4] 就是一个实现，我们可以像它那样定义一个实用工具，用其定义定界符读取宏。宏 defdelim 接受两个字符，一个参数列表，以及一个代码主体。参数列表和代码主体隐式地定义了一个函数。一个对 defdelim 的调用将首个字符定义为 dispatching 读取宏，它读取到第二个字符为止，然后将这个函数应用到它读到的东西，并返回其结果。

无独有偶，[示例代码 17.3] 中的函数体也迫切需要一个实用工具，事实上，这个实用工具已经定义过了：见 4.5 节的 mapa-b 。使用 defdelim 和 mapa-b ，[示例代码 17.3] 中定义的读取宏现在只需写成：

(defdelim #\[ #\] (x y)
  (list 'quote (mapa-b #'identity (ceiling x) (floor y))))

定界符读取宏也可以用来做函数复合。第5.4 节定义了一个用于函数复合的操作符：

> (let ((f1 (compose #'list #'1+))
    (f2 #'(lambda (x) (list (1+ x)))))
  (equal (funcall f1 7) (funcall f2 7)))
T

当我们复合像 list 和 1+ 这样的内置函数时，没有理由等到运行期才去对 compose 的调用求值。第 5.7 节建议一个替代方案；通过给一个 compose 表达式前缀 sharp-dot 读取宏:

#.(compose  #'list  #'1+)

我们可以令其在读取期就被求值。

[示例代码 17.5]：一个用于函数型复合的读取宏

(defdelim  #\{ #\}  (&rest args)
  '(fn  (compose  ,@args)))

这里我们给出一个与之类似但更清晰的解决方案。[示例代码 17.5] 中定义的读取宏定义了一个 #{ }形式的表达式，这个表达式将被读取成的复合。这样：

> (funcall #{list 1+} 7)
(8)

它生成一个对 fn （15.1 节）的调用，该调用在编译期创建函数。

17.4 这些发生于何时

最后，澄清一个可能造成困惑的问题应该会有所帮助。如果读取宏是在常规宏之前作用的话，那么宏是怎样展开成含有读取宏的表达式的呢？例如，这个宏：

(defmacro quotable ()
  '(list 'able))

会生成一个带有引用的展开式。还是说它没有生成？事实上，真相是：这个宏定义中的两个引用在这个 defmacro 表达式被读取时，就都被展开了，展开结果如下

(defmacro quotable ()
  (quote (list (quote able))))

通常，在宏展开式里包含读取宏是没有什么问题的。因为一个读取宏的定义在读取期和编译期之间将不会（或者说不应该）发生变化。

以上内容是否对您有帮助：

第 17 章 读取宏（read-macro）