为何Common Lisp的shadowing list仅允许添加已存在符号？

一、解决符号冲突的其他方法 #

除了《Practical Common Lisp》提到的先导入再屏蔽的方法，还有几种更直接的方案：

• 直接使用包限定引用：不用修改包配置，每次访问时直接写A:cat或B:cat，通过包前缀明确指定要调用的符号，适合不需要频繁使用的符号。
• 选择性导入符号：定义包时，只use其中一个包，对另一个包用:import-from只导入需要的非冲突符号。比如：

  (defpackage :cl-user
    (:use :cl :a)
    (:import-from :b :dog)) ; 只导入B包的dog，不引入cat
  

• 使用shadowing-import一步操作：这是官方提供的简化手段，执行(shadowing-import 'a:cat)会自动完成“导入A包的cat到当前包”+“将该符号加入shadowing list屏蔽其他同名符号”的两步操作，比手动分两步更高效。
• 重命名导入符号：定义包时用:rename选项把冲突符号改成不同名字，同时保留两个符号的访问权：

  (defpackage :cl-user
    (:use :cl)
    (:import-from :a :cat)
    (:import-from :b (:cat . b-cat))) ; B包的cat被重命名为b-cat
  

二、为什么CL不支持带包名的shadowing list？ #

你提出的“把A:cat直接加入shadowing list”的设计，本质上是想让当前包的cat名字直接绑定到A包的符号，但这种设计不符合Common Lisp包系统的核心逻辑：

1. 符号引用的本质要求：在Common Lisp中，要通过无前缀的名字（比如cat）引用一个符号，这个符号必须存在于当前包的名字映射表中——要么是当前包自己定义的，要么是从其他包导入的。如果不导入A包的cat，当前包的名字表里根本没有这个符号，自然无法通过cat直接引用它。shadowing list的作用只是“屏蔽从use的包继承来的同名符号”，而不是凭空创建符号的名字映射。
2. 设计的简洁性与效率：CL的包系统设计追求简洁，shadowing list只需要记录当前包中要优先使用的符号名字（对应的符号已经在名字表里了），不需要额外存储包信息。如果改成存储（名字+包）的结构，每次符号查找时都要匹配包名，会增加系统复杂度和查找开销，而现有机制已经能通过shadowing-import一步实现相同效果，没必要额外增加设计复杂度。
3. 历史与兼容性考量：CL的包机制是从早期Lisp系统演化而来，“导入符号才能直接引用”是贯穿始终的规则。修改shadowing list的设计会打破现有包系统的逻辑一致性，也会导致大量现有代码无法兼容，因此这种设计不会被采用。

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