出口 / Unintern和符号访问

Question

在下面的示例中，我会遇到一个错误：

These symbols are not accessible in the COMMON-LISP-USER package:
  (FOO::BAR)

但是，

LS-USER> (describe 'foo::bar)
FOO::BAR
  [symbol]
; No value

这就是我到达那里的方式：

CL-USER> (make-package "FOO" :use '())
#<PACKAGE "FOO">
CL-USER> (intern "BAR" *)
FOO::BAR
NIL
CL-USER> (export (find-symbol "BAR" (find-package "FOO")))

现在我知道错误的含义，我对此感到好奇是：“此行为正确根据规格？”。我正在使用SBCL。

我明白了为什么无法通过foo：bar（未导出）访问它。但是，由于导出同时给出了符号和软件包，所以为什么它无法访问此符号并导出它？我看到了unintern的类似内容。

仔细阅读说“ 导出使一个或多个可以在 package ...中访问的符号”。它不认为必须在当前软件包中访问（*软件包*）。

在我看来，导出具有执行导出所需的所有信息，但是似乎有效的唯一方法是使用（export'foo :: bar（find-pakeAke bar（find-pake of foo''））> 。也许这是一个指定的区域，这正是SBCL选择的？

Answer 1

这是完全正确的行为：其他任何事情都不合格。 （导出s）将尝试从当前软件包中导出s指定的符号（export的可选第二个参数的默认值），在您的情况下，这是cl-user。为此，这些符号必须在当前软件包中可以访问。 ：

• 如果
  • 它要么将当前软件包作为其家庭包
  • 或已从其他软件包中导入其中，
• 或者由于使用其他软件包的当前软件包而可以通过继承访问。

在最后的情况下，它将首先进口然后导出。

在您的情况下，这些事情都不是正确的。您要指定的符号，即foo :: bar由于符号指定自己，在cl-user包中根本不可访问。

参见 sped