macros - 如何通过符号宏定义像 ( 和 ) 一样工作的符号？

Question

我正在尝试以下列方式定义符号 a 和 b

a + 1 1 b
2

我试图通过使用定义符号宏来做到这一点

(define-symbol-macro a '( )
(define-symbol-macro b ') )

但这种方式行不通。

Answer 1

Lisp 用源代码做什么

Common Lisp 是一种非常灵活的语言，部分原因是它的源代码可以使用该语言中使用的相同数据结构轻松表示。最常见的宏展开形式将这些结构转换为其他结构。这些是您可以使用 define-symbol-macro 定义的宏类型。 , define-compiler-macro , defmacro , 和 macrolet .然而，在执行任何此类宏扩展之前，系统首先需要从输入流(通常是文件或交互式提示)中读取源。这是读者的责任。阅读器还可以在遇到某些字符时执行一些特殊操作，例如 (和 ' .如果您想拥有，例如 (read-from-string "a + 1 1 b")，您尝试做的事情可能需要在读者级别发生。返回列表 (+ 1 1) , 如果你想要，这就是你想要的 (eval (read-from-string "a + 1 1 b"))返回 2 .也就是说，您还可以定义一种特殊的自定义语言(如 loop 所做的那样)，其中 a和 b被特殊对待。

使用 set-macro-character ，不是 define-symbol-macro
这不是您可以使用符号宏执行的操作，而是使用宏字符执行的操作。您可以使用恰当命名的 set-macro-character 设置宏字符。 .例如，在下面，我为 % 设置了宏字符。成为读取列表的函数，使用 read-delimited-list 应该由 ^ 终止. (在这里使用字符 a 和 b 会被证明是非常困难的，因为之后你将无法写出像 (set-macro-character ...) 这样的东西；就像写 (set-m(cro-ch(r(cter ...) 一样，这并不好。)

CL-USER> (set-macro-character #\% (lambda (stream ignore)
                                    (declare (ignore ignore))
                                    (read-delimited-list #\^ stream)))
T
CL-USER> % + 1 1 ^
2

相关set-syntax-from-char
这里有一个相关的功能几乎可以满足您的要求， set-syntax-from-char .您可以使用它使一个角色表现得像另一个角色。例如，您可以制作 %表现得像 (

CL-USER> (set-syntax-from-char #\% #\()
T
CL-USER> % + 1 1 )
2

但是，由于与 ( 关联的宏字符不是在寻找与 ) 具有相同语法的字符, 但实际 )字符，你不能简单地替换)与 ^以同样的方式:

CL-USER> (set-syntax-from-char #\^ #\))
T
CL-USER> % + 1 1 ^
; Evaluation aborted on #<SB-INT:SIMPLE-READER-ERROR "unmatched close parenthesis" {1002C66031}>.

set-syntax-from-char当现有角色本身做了一些你想要模仿的事情时，它会更有用。例如，如果您想制作 !额外的引号字符:

CL-USER> (set-syntax-from-char #\! #\')
T
CL-USER> (list !a !(1 2 3))
(A (1 2 3))

或制作 %成为注释字符，就像在 LaTeX 中一样:

CL-USER> (set-syntax-from-char #\% #\;)
T
CL-USER> (list 1 2 % 3 4
               5 6)
(1 2 5 6)

但是考虑一下你为什么要这样做......

现在，即使您可以完成所有这些，但对于遇到它的任何人来说，这似乎都是完全令人惊讶的事情。 (也许您正在参加混淆编码竞赛？;))出于上述原因，使用常用字符(例如 a)来执行此操作。和 b也将使编写更多源代码变得非常困难。最好定义一个全新的 readtable 来执行您想要的操作，甚至编写一个新的解析器。尽管 (Common) Lisp 可以让你重新定义语言，但仍有一些事情可能是有意义的。