Question

我注意到Common Lisp中的以下行为（至少使用SBCL），我能够将其减少到以下内容：

假设我有以下宏：

(defpackage "MY-TEST"
  (:use "COMMON-LISP")
  (:export :appended
       :not-appended))

(in-package :MY-TEST)

(defmacro not-appended ()
  `(list ':type 'array))

(defmacro appended ()
  `(list ':type 'something-else))

以下是输出：

* (my-test:not-appended) 
(:TYPE ARRAY)


* (my-test:appended) 
(:TYPE MY-TEST::SOMETHING-ELSE)

请注意，在第二个宏中，命名空间位于＆＃34; SOMETHING-ELSE＆＃34;之前。

问题：

为什么他们不同？老实说，我期待＆＃34;没有附加＆＃34;的行为。宏。是因为＆＃34;阵列＆＃34; Common Lisp以某种方式知道吗？
如果是，那么我在哪里可以找到其他已知关键字？

Answer 1

请注意，这与宏完全无关，是包，符号和符号打印方式的影响：

包'MY-TEST'：

CL-USER 2 > (defpackage "MY-TEST"
              (:use "COMMON-LISP")
              (:export :appended
               :not-appended))
#<The MY-TEST package, 0/16 internal, 2/16 external>

通过调用in-package：

使包成为当前包

CL-USER 3 > (in-package :MY-TEST)
#<The MY-TEST package, 0/16 internal, 2/16 external>

让我们计算一下符号array和foo的列表。查看REPL如何将其打印为(ARRAY FOO)，因为这两个符号都可以在包MY-TEST中访问。

MY-TEST 4 > (list 'array 'foo)
(ARRAY FOO)

使CL-USER成为当前包：

MY-TEST 5 > (in-package :cl-user)
#<The COMMON-LISP-USER package, 151/256 internal, 0/4 external>

现在让我们得到倒数第二个值，看看REPL如何打印它：

CL-USER 6 > **
(ARRAY MY-TEST::FOO)

打印

ARRAY时没有包前缀，因为它与包COMMON-LISP中的符号相同（在包MY-TEST中使用）。 FOO打印时带有包前缀MY-TEST，因为它是该包中的内部符号 - 它是在那里实现的，因为当前包是MY-TEST。有两个冒号，因为符号FOO未从包MY-TEST导出，也未导入包CL-USER。

包“CL”和“CL-USER”包含编程语言Common Lisp中的所有符号 - 因此将“CL”导入到您自己的包中也会使该包中的所有符号都可用。

CL-USER 7 > (let ((l '()))
              (do-symbols (sym (find-package "CL") l)
                (pushnew sym l)))
(MAKE-ARRAY INVOKE-DEBUGGER STRING-TRIM WILD-PATHNAME-P UNREAD-CHAR RESTART-BIND ...

Common Lisp将包名附加到宏中的引用键

1 个答案: