Elisp：加载时使用未定义变量的 eval 进行宏扩展

Question

这里是 Lisp 菜鸟。

我的目标是定义一个宏，使点列表的键可用作变量来访问相应的值，因此名称为»let-dotted-alist«。 所以我想要的是：

(setq foo '((a . "aa") (b . "bb")))

(let-dotted-alist foo
(message (concat a b)))
                           ==> "aabb"

这是迄今为止我能想到的最好的方法：

(defmacro let-dotted-alist (alist &rest body)
"binds the car of each element of dotted ALIST to the corresponding cdr and makes them available  as variables in BODY."
  `(let ,(nreverse 
      (mapcar    
       (lambda (p) (list (car p) (cdr p))) 
       (eval alist)))
     ,@body))

这里的问题是eval 。 我需要它以便能够将 alist 作为变量 ( foo ) 而不是文字传递，这是定义函数时的主要用例。 为了让宏计算出代码，这个变量需要已经绑定。 仍然到处都是我读到的 eval 的使用往往表明代码中的缺陷？ 有办法解决吗？

如果 Emacs 24 没有引入想要在加载时扩展宏的急切宏扩展，当应该提供 alist 的变量（以下示例中的dotlist ）仍然无效时，这将是一个有点学术问题：

(defun concat-my-cdrs (dotlist)
  (let-dotted-alist dotlist
            (print (concat a b))))

根据我如何评估这一点，我要么得到 »mapcar: Symbol's value as variable is void: dotlist« 或 »Eager macro-expansion failure: (void-variable dotlist)«。 这当然是有道理的，因为变量 dotlist 在加载时确实是无效的。

现在，在我尝试按照（本地）禁用急切宏扩展的方式找到解决方法之前，有没有办法改进宏定义以完全避免eval ？

Answer 1

首先，我要提一下，eager-macroexpansion 不会引入一个新问题：如果您尝试对文件进行字节编译，同样的问题会出现在早期的 Emacsen 中。

至于避免eval ，您可以通过使用其他使用eval东西，例如cl-progv ：

(defmacro let-dotted-alist (alist &rest body)
  (macroexp-let2 nil alist alist
    `(cl-progv (mapcar #'car ,alist)
               (mapcar #'cdr ,alist)
       ,@body)))

但请注意，语义有点不同：变量只能是动态范围的，而不是词法范围的，因为变量列表只能在运行时知道。

Answer 2

我不相信你可以避免eval ，问题的陈述方式：macroexpand let -bindings 取决于变量。 不使用eval的唯一方法是将变量计算推迟到 macroexpand 之后，但这与扩展let绑定的要求相矛盾。 我想我在说一些对你来说很明显的事情。

因此，问题显然是您的要求是否可以更改以消除对eval的需要。 这意味着要么避免let绑定，要么在宏参数中明确绑定。 是否可以接受由您决定，但我个人的看法是 - eval还没有破坏您的用例。 我会在那里继续eval 。 （我最近在 Clojure 中做了基本相同的事情，我需要将相同的局部符号绑定到不同的值，模拟 OCaml 函子。这是一个题外话来解释为什么我可能偏向于保持你这样做的方式。）

我可能不知道一些特定于 elisp 的技巧——尽管即使如此，我可能更喜欢eval而不是迄今为止我从未遇到过的一些技巧。