Elisp：bounds in let

Question

如何检查变量是否在let构造之前定义？

(let (((if (boundp 'a) 
      'a 
     'dummy) t)) 
    (message "I made this work")) 

我所试图做的是检查是否如果它已经，将其绑定到本地t是a前界。否则根本不在乎a。

Answer 1

的代码失败：(wrong-type-argument symbolp (if (boundp (quote a)) (quote a) (quote dummy)))，表明let特殊形式*不计算这样的说法（尽管该列表将评估为一个符号，列表本身不是一个符号）。

这是一个简单但有缺陷的替代方法，它为a创建一个本地绑定，但是如果它本来是未绑定的，则将其解除绑定到本地范围。

(let ((a (if (boundp 'a) t nil))) 
    (or a (makunbound 'a)) 
    ;; do things 
) 

的缺陷是，如果a最初是未绑定的，你想的是本地范围内的分配a活得比局部范围，它不会使用这种方法。

起初，我想你需要放弃let完全避开这个问题，只是用这样的：

(when (boundp 'a) 
    (setq a-backup a 
     a t)) 
;; do things 
(when (boundp 'a-backup) 
    (setq a a-backup) 
    (makunbound 'a-backup)) 

后来我才意识到，由于有这么多的东西，宏是回答：

(defmacro let-if-bound (var value &rest body) 
    "Bind variable VAR to VALUE only if VAR is already bound." 
    (declare (indent 2)) 
    `(if (boundp ',var) 
     (let ((,var ,value)) 
     ,@body) 
    (progn ,@body))) 

(let-if-bound a t 
    ;; do things 
) 

（*）A “特殊形式” 是特殊标记，以便其 参数不评估所有原始功能。大多数特殊形式定义了控制 结构或执行变量绑定 - 功能不能 做的事情。

每个特殊形式都有其自己的规则，其参数评估为 ，并且在没有评估的情况下使用哪些参数。评估的特定参数是否为 可能取决于评估其他参数的结果。

Answer 2

我认为，“规范”的方式来做到这将是

(let ((bound (boundp 'a)) 
     (a t)) 
    (unless bound (makunbound 'a)) 
    ...blabla...)