关于PROGV绑定未提供值符号与CLHS描述不符的技术问询

结论：你没有误解CLHS，SBCL的行为不符合标准要求 #

CLHS的明确规则 #

1. PROGV的绑定逻辑：CLHS规定，当progv提供的值数量少于符号列表中的符号数量时，剩余符号会被建立动态绑定，并设置为无值状态（bound to no value）。
2. BOUNDP的判断逻辑：boundp用于判断符号是否在当前动态环境中存在值绑定——只要存在绑定（即使绑定没有值），就返回T；只有当符号完全没有绑定的时候，才返回NIL。

按照上述规则，(progv '(a b) '(1) (boundp 'b))应该返回T：b被建立了动态绑定，只是该绑定没有值。

SBCL的实际行为 #

在SBCL 2.2.10中，执行上述代码返回NIL，且直接引用b会触发“未绑定变量”错误。这说明SBCL并没有为b建立动态绑定，而是让它保持完全未绑定的状态——这与CLHS的要求不符，属于非标准实现。

这种差异通常不会影响常规业务代码，但如果你的逻辑需要区分“完全未绑定”和“绑定但无值”两种状态，就需要注意这个实现细节。

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