小编Wil*_*ark的帖子

我有一个 Common Lisp 阅读器宏来解析“或”关系的惰性/延迟声明，使用由管道符（“|”）分隔的中缀语法以及标准列表括号和关键字文字。考虑形式 (:a :b|:c) - 它表示一个 2 部分元组，其中第一个元素肯定是 :a，第二个元素是 :b 或 :c。例如，可以推断整个元组的有效形式是 (:a :b) 或 (:a :c)。

我已经有函数封装的逻辑来解构 read 宏之后的这些元组列表形式。但在阅读时，我需要解析像 :a|:b|:c 这样的形式，并用移除的管道标记它，比如 (:lazy-or :a :b :c)。中缀语法的使用纯粹是为了面向读者的形式；中缀形式是短暂的，会在阅读阶段立即被丢弃，取而代之的是用 :lazy-or 标记的等效合法 lisp 形式。

所以我制作了一个几乎可以正常工作的 read 宏，但目前需要在第一个 or-form 关键字元素之前使用一个额外的管道作为一种读者标志（我希望这不是必需的完全），并且它目前无法使用嵌套括号或拼接符号推断类似形式作为等效（如在算术中，2+(3*4)具有相同的运算顺序，等效形式，如2+3*4）。

宏（源自此处的“斜线阅读器”：http : //www.lispworks.com/documentation/HyperSpec/Body/f_rd_rd.htm）：

 (defun pipe-reader (stream char)                                                                   
   (declare (ignore char))                                                                          
   `(:lazy-or .  ,(loop for dir = (read stream t nil t)                       
                   then (progn (read-char stream t nil t)                                           
                               (read stream t nil t))                         
                   collect dir                                                                      
                   while (eql …