3

我正在尝试编写我的第一个照应宏并且遇到了问题。我正在使用 sblc 和粘液。

当照应宏在另一个包中展开时，它的符号以它在其中定义的包为前缀（即它们变成tjb-utilities::value而不是只是value。发生了什么？

PE> (macroexpand-1 '(act-if-key :pcram (get-node) (print value)))
(IF (HAS-KEY? :PCRAM (GET-NODE))
    (LET ((TJB-UTILITIES::KEY :PCRAM)
          (TJB-UTILITIES::VALUE (GETHASH :PCRAM (GET-NODE))))
      (PRINT VALUE)))

这是宏定义：

(defmacro act-if-key (key hashtable &body body)
  `(if (has-key? ,key ,hashtable) 
       (let ((key ,key) (value (gethash ,key ,hashtable)))
     ,@body)))

如果我为该值添加前缀，它确实可以正常工作：

(act-if-key :pcram (get-node) (print tjb-utilities::value))
; in: ACT-IF-KEY :PCRAM
;     (LET ((TJB-UTILITIES::KEY :PCRAM)
;           (TJB-UTILITIES::VALUE
;            (GETHASH :PCRAM (PHILOSOPHY-EXPERIENCE::GET-NODE))))
;       (PRINT TJB-UTILITIES::VALUE))
; 
; caught STYLE-WARNING:
;   The variable TJB-UTILITIES::KEY is defined but never used.
; 
; compilation unit finished
;   caught 1 STYLE-WARNING condition

"hello" 
"hello"

包定义如下：

(defpackage #:tjb-utilities
  (:nicknames :tjb)
  (:use #:cl)
  (:export "HAS-KEY?" "KEY-VALUE-PAIRS" "ACT-IF-KEY" "TJB-MAKE-HASH-TABLE"))

(defpackage #:my-package
  (:nicknames :pe)
  (:use #:cl #:clsql #:tjb-utilities))

更新：将 lambda 列表中的键更改为 key_in 无效

(defmacro act-if-key (key_in hashtable &body body)
  `(if (has-key? ,key_in ,hashtable) 
       (let ((key ,key_in) (value (gethash ,key_in,hashtable)))
     ,@body)))
4

2 回答 2

3

您可以只导出 'key 和 'value 符号。Anaphora就是这样做的：

(defpackage :anaphora
7     (:use :cl)
8     (:export
9      #:it
10     #:alet
11     #:slet
12     #:aif
13     #:aand
14     #:sor
15     #:awhen
16     #:aprog1
17     #:acase
18     #:aecase
...etc.

注意'它导出。

照应宏的要点是有意捕获宏主体中未由宏调用者明确定义的某些符号（我理解这是对定义的极端立场）。因此，任何使用照应宏的人都需要知道将哪些符号引入该宏的环境（主体）中。这意味着当这些符号名称添加到环境中时，他们不应该感到惊讶。所以我认为出口照应没有问题。

于 2012-11-04T05:41:54.857 回答
2 
CL-USER> (in-package #:tjb)
#<PACKAGE "TJB-UTILITIES">
TJB> (defmacro act-if-key (key hashtable &body body)
       (let ((value (intern "VALUE")))
         `(if (has-key? ,key ,hashtable) 
              (let ((key ,key) (,value (gethash ,key ,hashtable)))
                ,@body))))
ACT-IF-KEY
TJB> (macroexpand-1 '(tjb:act-if-key :pcram (get-node) (print value)))
(IF (HAS-KEY? :PCRAM (GET-NODE))
    (LET ((KEY :PCRAM) (VALUE (GETHASH :PCRAM (GET-NODE))))
      (PRINT VALUE)))
T
TJB> (in-package #:cl-user)
#<PACKAGE "COMMON-LISP-USER">
CL-USER> (macroexpand-1 '(tjb:act-if-key :pcram (get-node) (print value)))
(IF (TJB-UTILITIES::HAS-KEY? :PCRAM (GET-NODE))
    (LET ((TJB-UTILITIES::KEY :PCRAM) (VALUE (GETHASH :PCRAM (GET-NODE))))
      (PRINT VALUE)))
T
CL-USER>

不确定我是否复制了您需要的所有内容，而且我对您打算如何使用“密钥”有点模糊，所以我这样做只是为了value在包中创建它的方式，其中宏用来。无论您是否需要相同的东西，您都会自己弄清楚key。

value以上将当前包中的符号绑定到gethash将返回的任何内容。在您的原始版本中，您key由宏的用户提供，所以我决定您不希望key宏内有符号，只是它的值。

但是等一下，也许会有更好的答案，也许你可以只是make-symbol它而不是实习，然后以某种方式绑定它。我不知道。

于 2012-11-03T16:43:27.170 回答