Common Lisp包中遮蔽DELETE符号报错，求正确实现方法

我之前也踩过这个Common Lisp包符号遮蔽的坑，你遇到的「Redefining macro DELETE visible from package COMMON-LISP」报错，核心原因是CL标准库的delete不只是个普通序列函数——很多实现里它同时是编译器优化用的扩展宏。当你想遮蔽并重新导出这个符号时，必须明确你要定义的是函数还是宏，不然就会和CL包里的宏定义撞车。

一步步修正你的代码 #

1. 先把包声明的基础打牢
   你最初的defpackage写法本身没毛病，但关键是切换到目标包后，必须给delete一个明确的绑定，不能只遮蔽不定义。来看修正后的完整代码：

   (in-package "CL-USER")
   ;; 声明包，遮蔽CL的delete符号
   (defpackage :simple-db
     (:use :common-lisp)
     (:shadow :delete)
     (:export :delete))
   
   ;; 切到simple-db包，定义自己的delete函数
   (in-package :simple-db)
   
   ;; 明确用defun定义函数（这是最常见的场景）
   (defun delete (target db)
     ;; 这里替换成你的实际删除逻辑
     (format t "Deleting ~a from the database~%" target))
   

2. 如果要定义宏版本的delete怎么办？
   要是你真的需要把delete做成宏，就得先确保完全屏蔽CL包里的宏绑定，不然肯定冲突。可以这么写：

   (in-package :simple-db)
   ;; 强制把本地的delete符号设为优先，覆盖CL的宏绑定
   (shadowing-import 'cl:delete)
   ;; 现在可以安全定义自己的宏了
   (defmacro delete (args)
     `(format t "Macro-style delete triggered with ~a~%" ,args))
   

3. 验证遮蔽是否生效
   写完代码后，可以用这两行命令确认符号绑定是否正确：

   (in-package :cl-user)
   ;; 检查simple-db的delete属于哪个包，应该返回#<PACKAGE "SIMPLE-DB">
   (symbol-package 'simple-db:delete)
   ;; 确认这个符号有实际绑定，返回T就没问题
   (fboundp 'simple-db:delete)
   

容易踩的两个误区 #

• 以为shadow会自动帮你定义符号：shadow只是告诉包“遇到同名符号时用本地的”，你必须自己在包里给这个符号加函数/宏绑定，不然运行时会报未定义错误。
• 忽略CL中delete的双重身份：像SBCL这类实现会把delete做成带优化的宏，要是你直接用defmacro定义，肯定会触发冲突。优先用defun定义函数，这是最稳妥的方案。

内容的提问来源于stack exchange，提问作者dyouteotyi