常见Lisp反引号/反引号：如何使用？

如何解决常见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 ((,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 ((,row)
           (,y,rule))
       (destructuring-bind (a b c),y
         (eval `(,a (svref,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)
       (,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,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)
       (,value))))

将以第一种形式解决所有呼叫的问题。练习时以第二种形式解决问题。

常见Lisp反引号/反引号：如何使用？

如何解决常见Lisp反引号/反引号：如何使用？

解决方法

相关推荐