常见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))))))
此外，将非常感谢您提供一种干净利落的方式来获取宏，以使宏生成代码以在运行时正确评估参数。     
2020-02-26 4 条评论
分享

没有找到相关结果

    已邀请:

    姬第柔炒

            首先，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风格。     
    2020-02-26 0 0
    分享

    才改隘瘁

            要了解的一件事是，反引号功能与宏完全无关。它可以用于列表创建。由于源代码通常由列表组成，因此在宏中可能很方便。 
    CL-USER 4 > `((+ 1 2) ,(+ 2 3))
((+ 1 2) 5)
    反引号引入一个带引号的列表。逗号取消引用：逗号后的表达式被求值并插入结果。逗号属于反引号：逗号仅在反引号表达式内有效。 还要注意，这严格来说是Lisp阅读器的功能。 上面基本上类似于： 
    CL-USER 5 > (list \'(+ 1 2) (+ 2 3))
((+ 1 2) 5)
    这将创建一个新列表，其中包含第一个表达式（未报价，因为已引用）和第二个表达式的结果。 Lisp为什么提供反引号表示法？ 因为当要创建列表时，它提供了一种简单的模板机制，该列表中的大多数元素均未评估，而少数元素未评估。另外，反引号列表看起来与结果列表相似。     
    2020-02-26 0 0
    分享

    坝硷操

    您不需要嵌套的反引号即可解决此问题。此外，当它是宏时，您不必引用参数。因此，
    (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))))
    将以第一种形式解决所有呼叫的问题。练习时以第二种形式解决问题。     
    2020-02-26 0 0
    分享
    为什么被折叠? 0 个回复被折叠

    要回复问题请先登录或注册

    或代码 OrCode.com 备案号：粤ICP备15020848号-1
    Escape time: 0.081249952316284