区分绑定变量和未绑定变量

Question

我正在尝试编写一个名为 different 的宏来测试两个用户提供的参数是否临时为 eq，其中参数可能是绑定的或未绑定的。但我迷失在可能性（也许还有逻辑）中。以下似乎可行，但需要增强（包括避免变量捕获和多重评估）：

(defmacro different (item1 item2)
  `(not (eq (if (boundp ',item1) ,item1 ',item1)
            (if (boundp ',item2) ,item2 ',item2))))

基本思想是寻找任何未绑定的变量，引用它，然后查看它是否是eq 对另一个变量的值。 （目标是让最终用户不必决定何时引用参数，因为绑定变量会被标记。）

那么现在：

if x is unbound and y is bound to 'x, or
   y is unbound and x is bound to 'y
(different x y) => NIL 

if x is unbound and y is bound to 'z, or
   y is unbound and x is bound to 'z
(different x y) => T

主要问题是 item1 或 item2 可以是任意 lisp 对象的指示符（在这种情况下，equalp 将替换为eq）。例如：

(defparameter x 3)
(different x 3) => NIL (since they are equalp)

(defparameter x '(a b c))
(different x (c b a)) => T  (where (c b a) gets quoted)

这是否可以纳入宏中，是否可以将 if 语句放在反引号之外？

Answer 1

只有六种情况需要处理

这里是要做的事情的映射：

For b ≡ bound symbol
For u ≡ unbound symbol
For e ≡ any other value
b b -> eq
b u -> equalp
u u -> equalp
e e -> equalp
e u -> ERROR (makes no sense)
e b -> equalp

希望这可以帮助您组织分支逻辑。当我遇到这样的爆炸时，我喜欢拉一些纸并通过分支工作。通常可以使用谓词演算来减少它，或者提出另一种分支更少的表示。