scope - 普通 Lisp : check if lexical variable exists?

Question

如何检测词法变量是否绑定(bind)在范围内？我基本上想要boundp对于词法变量。

具体来说，说我有:

(defvar *dynamic* 1)
(defconstant +constant+ 2)

(let ((lexical 3))
  (when (boundp '*dynamic*)  ; t
    (print "*dynamic* bound."))
  (when (boundp '+constant+) ; t
    (print "+constant+ bound."))
  (when (boundp 'lexical)    ; nil
    (print "lexical bound.")))

所以 boundp正确检查动态变量(和常量)和 as the hyperspec says , 不包括词法绑定(bind)。

但我找不到任何等效的 boundp用于词法绑定(bind)。那么我该如何检查它们呢？ (如果没有任何可移植的东西，那么 SBCL 的实现特定代码就可以了。)

Answer 1

在 ANSI Common Lisp 中没有类似的东西。无法访问词汇环境。

你只能这样检查:

CL-USER 8 > (let ((lexical 3))
              (when (ignore-errors lexical) 
                (print "lexical bound."))
              (values))

"lexical bound." 

CL-USER 9 > (let ((lexical 3))
              (when (ignore-errors lexxxical) 
                (print "lexical bound."))
              (values))
<nothing>

没有办法取一个名字，看看它是否在词法上是完全绑定(bind)的。 CL 有一个扩展，其中函数 variable-information会提供一些信息，但即使在这种情况下它也可能不起作用:

* (require "sb-cltl2")

("SB-CLTL2")
* (apropos "variable-information")

VARIABLE-INFORMATION
SB-CLTL2:VARIABLE-INFORMATION (fbound)
* (let ((lexical 3))
     (sb-cltl2:variable-information 'lexical))
; in: LET ((LEXICAL 3))
;     (LET ((LEXICAL 3))
;       (SB-CLTL2:VARIABLE-INFORMATION 'LEXICAL))
; 
; caught STYLE-WARNING:
;   The variable LEXICAL is defined but never used.
; 
; compilation unit finished
;   caught 1 STYLE-WARNING condition

NIL
NIL
NIL