common-lisp 包中的阴影（重新定义）符号最终出现错误

Question

我发现我的包在从common-lisp package 映射delete 时出现问题。我尝试了各种类型的shadowing，但没有一个对我有用。我想我用错了，但仍然无法正常工作。

我已经缩短了代码只是为了显示问题部分

此解决方案抛出 错误：重新定义宏 DELETE 从包 COMMON-LISP 可见。

 (in-package "CL-USER")

 (defpackage :simple-db
  (:use :common-lisp)
  (:shadow :delete)
  (:export :delete))

另一种解决方案抛出错误：“SIMPLE-DB”defpackage 中的重复符号：“DELETE”。

 (in-package "CL-USER")

 (defpackage :simple-db
  (:use :common-lisp)
  (:shadow :delete)
  (:export :delete)
  (:shadowing-import-from :simple-db :delete))

Answer 1

你遇到的问题可能不在你的包定义中（第一个很好），它在想要使用你的包的包中，也使用CL。这些包最终都引用了CL:DELETE 和 SIMPLE-DB:DELETE。鉴于您的定义：

(defpackage :simple-db
  (:use :common-lisp)
  (:shadow :delete)
  (:export :delete))

然后任何想要使用 both SIMPLE-DB 和 CL 的包都会出错。

(defpackage :simple-db-user
  ;; this is an error
  (:use :common-lisp :simple-db))

如果你简单地说(use-package :simple-db)，你也会在任何包中看到这个（例如CL-USER）。

解决此错误的传统方法是使用SHADOWING-IMPORT 选择您想要的符号：

(defpackage :simple-db-user
  (:use :common-lisp :simple-db)
  (:shadowing-import-from :simple-db :delete))

或者，在现有包中：

(shadowing-import '(:delete) :simple-db)

（我认为）有更好的解决方案，其中涉及定义“类似”CL 的包，但重新定义了一些符号，然后您将其视为突变的CL 包，但这些解决方案需要宏观来制作它们易于使用，我不会在这里给出。

Answer 2

我没有发现问题：

* (cl:defpackage :simple-db
    (:use :common-lisp)
    (:shadow :delete)
    (:export :delete))

#<PACKAGE "SIMPLE-DB">
* (defun simple-db:delete (foo) foo)

SIMPLE-DB:DELETE

* (describe 'simple-db:delete)

SIMPLE-DB:DELETE
  [symbol]

DELETE names a compiled function:
  Lambda-list: (FOO)
  Derived type: (FUNCTION (T) (VALUES T &OPTIONAL))
  Source form:
    (SB-INT:NAMED-LAMBDA SIMPLE-DB:DELETE
        (FOO)
      (BLOCK SIMPLE-DB:DELETE FOO))