常见Lisp反引号/反引号:如何使用?

| 我在使用Lisp的反引号读取宏时遇到麻烦。每当我尝试编写一个似乎需要使用嵌入式反引号的宏时(例如Paul Graham的ANSI Common Lisp,第399页中的
``(w ,x ,,y)
),我都无法弄清楚如何以编译的方式编写代码。通常,我的代码会收到一连串的错误,并带有“逗号不在反引号内”的开头。有人可以提供一些准则来指导我如何编写可以正确评估的代码吗? 例如,我当前需要一个宏,该宏采用一种形式来描述“ 1”形式的规则,并生成谓词lambda主体以确定用于特定行的由“ 2”索引的元素是否满足该规则。如果我使用规则
\'(< 1 2)
调用此宏,则希望生成一个如下所示的lambda主体:
(lambda (row)
  (< (svref row 1) 2))
我可以做的最好的刺法如下:
(defmacro row-satisfies-rule (rule)
  (let ((x (gensym)))
    `(let ((,x ,rule))
       (lambda (row)
         (`,(car ,x) (svref row `,(cadr ,x)) `,(caddr ,x))))))
经过评估,SBCL会生成以下错误报告:
; in: ROW-SATISFIES-RULE \'(< 1 2)
;     ((CAR #:G1121) (SVREF ROW (CADR #:G1121)) (CADDR #:G1121))
; 
; caught ERROR:
;   illegal function call

;     (LAMBDA (ROW) ((CAR #:G1121) (SVREF ROW (CADR #:G1121)) (CADDR #:G1121)))
; ==>
;   #\'(LAMBDA (ROW) ((CAR #:G1121) (SVREF ROW (CADR #:G1121)) (CADDR #:G1121)))
; 
; caught STYLE-WARNING:
;   The variable ROW is defined but never used.

;     (LET ((#:G1121 \'(< 1 2)))
;       (LAMBDA (ROW) ((CAR #:G1121) (SVREF ROW (CADR #:G1121)) (CADDR #:G1121))))
; 
; caught STYLE-WARNING:
;   The variable #:G1121 is defined but never used.
; 
; compilation unit finished
;   caught 1 ERROR condition
;   caught 2 STYLE-WARNING conditions
#<FUNCTION (LAMBDA (ROW)) {2497F245}>
如何编写宏以生成所需的代码,特别是如何实现
row-satisfies-rule
? 利用Ivijay和弟子的想法,我修改了宏,以便它可以编译和工作,甚至允许将形式作为参数传递。它的运行方式与我最初计划的宏有些不同,因为我确定包括
row
作为使代码更平滑的参数。然而,这是丑陋的罪。有谁知道如何清理它,而无需调用
eval
就能达到相同的效果?
(defmacro row-satisfies-rule-p (row rule)
  (let ((x (gensym))
        (y (gensym)))
    `(let ((,x ,row)
           (,y ,rule))
       (destructuring-bind (a b c) ,y
         (eval `(,a (svref ,,x ,b) ,c))))))
此外,将非常感谢您提供一种干净利落的方式来获取宏,以使宏生成代码以在运行时正确评估参数。     
已邀请:
        首先,Lisp宏具有\“ destructuring \\”参数列表。这是一个很好的功能,这意味着您可以简单地使参数列表
((function-name column-index value))
,而不是使用参数列表
(rule)
然后将其与
(car rule) (cadr rule) (caddr rule)
分开。这样,宏将期望包含三个元素的列表作为参数,然后将列表中的每个元素绑定到争论列表中的相应符号。您可以使用此功能,也可以不使用,但是通常更方便。 接下来,ѭ14实际上并没有执行任何操作,因为反引号告诉Lisp不要对以下表达式求值,而逗号告诉它毕竟要对其求值。我认为您的意思是
,(car x)
(car x)
。无论如何,如果您使用解构参数,这都不是问题。 而且由于您没有在宏扩展中引入任何新变量,因此我认为在这种情况下不需要使用“ 17”。 因此我们可以这样重写宏:
(defmacro row-satisfies-rule ((function-name column-index value))
  `(lambda (row)
     (,function-name (svref row ,column-index) ,value)))
这扩展了您想要的方式:
(macroexpand-1 \'(row-satisfies-rule (< 1 2)))
=> (LAMBDA (ROW) (< (SVREF ROW 1) 2))
希望这可以帮助! 如果您需要对参数进行求值以获得规则集,那么这是一种不错的方法:
(defmacro row-satisfies-rule (rule)
  (destructuring-bind (function-name column-index value) (eval rule)
    `(lambda (row)
       (,function-name (svref row ,column-index) ,value))))
这是一个例子:
(let ((rules \'((< 1 2) (> 3 4))))
  (macroexpand-1 \'(row-satisfies-rule (car rules))))
=> (LAMBDA (ROW) (< (SVREF ROW 1) 2))
就像以前那样。 如果要在宏中包含
row
并让其直接给出答案而不是使函数不这样做,请尝试以下操作:
(defmacro row-satisfies-rule-p (row rule)
  (destructuring-bind (function-name column-index value) rule
    `(,function-name (svref ,row ,column-index) ,value)))
或者,如果您需要评估
rule
参数(例如,传递
\'(< 1 2)
(car rules)
而不是
(< 1 2)
),则只需使用
(destructuring-bind (function-name column-index value) (eval rule)
实际上,对于您要执行的操作,函数似乎比宏更合适。只是
(defun row-satisfies-rule-p (row rule)
  (destructuring-bind (function-name column-index value) rule
    (funcall function-name (svref row column-index) value)))
与宏的工作方式相同,并且整洁得多,而不必担心所有用引号引起的混乱。 通常,使用宏来完成可以通过函数完成的事情是不好的Lisp风格。     
        要了解的一件事是,反引号功能与宏完全无关。它可以用于列表创建。由于源代码通常由列表组成,因此在宏中可能很方便。
CL-USER 4 > `((+ 1 2) ,(+ 2 3))
((+ 1 2) 5)
反引号引入一个带引号的列表。逗号取消引用:逗号后的表达式被求值并插入结果。逗号属于反引号:逗号仅在反引号表达式内有效。 还要注意,这严格来说是Lisp阅读器的功能。 上面基本上类似于:
CL-USER 5 > (list \'(+ 1 2) (+ 2 3))
((+ 1 2) 5)
这将创建一个新列表,其中包含第一个表达式(未报价,因为已引用)和第二个表达式的结果。 Lisp为什么提供反引号表示法? 因为当要创建列表时,它提供了一种简单的模板机制,该列表中的大多数元素均未评估,而少数元素未评估。另外,反引号列表看起来与结果列表相似。     
您不需要嵌套的反引号即可解决此问题。此外,当它是宏时,您不必引用参数。因此,
(row-satisfies-rule (< 1 2))
(row-satisfies-rule \'(< 1 2))
轻。
(defmacro row-satisfies-rule (rule)
  (destructuring-bind (function-name column-index value) rule
    `(lambda (row)
       (,function-name (svref row ,column-index) ,value))))
将以第一种形式解决所有呼叫的问题。练习时以第二种形式解决问题。     

要回复问题请先登录注册