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...)