从 s 表达式创建 lambda

Question

我有一个 s 表达式绑定到 Common Lisp 中的变量：

(defvar x '(+ a 2))

现在我想创建一个函数，当调用该函数时，它会在定义它的范围内计算该表达式。 我已经尝试过：

(let ((a 4))
  (lambda () (eval x)))

并且

(let ((a 4))
  (eval `(lambda () ,x)))

但这两个都会产生一个问题：EVAL 将在顶层评估代码，因此我无法捕获表达式中包含的变量。 请注意，我不能将 LET 形式放入 EVAL 中。 有什么解决办法吗？

编辑：那么如果 EVAL 问题没有解决方案，还能怎么做呢？

编辑：有人问我到底想做什么。 我正在写一个编译器。 我想接受一个 s 表达式，其变量在定义该表达式的词法环境中关闭。 把它写成宏确实可能更好。

Answer 1

您需要创建具有必要绑定的代码。 用 LET 包裹您的代码并绑定您想要在代码中可用的每个变量：

(defvar *x* '(+ a 2))

(let ((a 4))
  (eval `(let ((a ,a))
           ,*x*)))

Answer 2

CLISP 实现了一个扩展来评估词法环境中的形式。 由于它是一个扩展，我怀疑您无法以符合标准的方式做到这一点。

(ext:eval-env x (ext:the-environment))

请参阅http://clisp.cons.org/impnotes.html#eval-environ。

Answer 3

您想要解决的实际问题是什么？ 最有可能的是，你试图以错误的方式解决这个问题。 词法绑定适用于词汇上出现在其范围内的事物，而不是您从外部获得的随机事物。

也许你想要一个动态关闭？ 这样的事情在 Common Lisp 中并不存在，尽管它在某些 Lisp 方言中存在（比如 Pico Lisp，据我所知）。

请注意，您可以执行以下类似操作：

(defvar *a*)
(defvar *x* '(+ *a* 2))  ;'

(let ((a 10))
  ;; ...
  (let ((*a* a))
    (eval *x*)))

不过，我建议您认真考虑一下您是否真的想要这样做。

Answer 4

在 Common Lisp 中，你可以定义 *evalhook* ，它允许您将环境传递给 (eval ...)。 *evalhook* 与平台无关。

Answer 5

可以使用COMPILE将表达式编译成函数，然后在动态设置变量的环境中使用PROGV对编译后的函数进行FUNCALL。 或者，更好的是，使用 COMPILE 将表达式编译为接受变量的函数。

编译接受函数定义作为列表并将其转换为函数。 在 SBCL 的情况下，该函数被编译为机器代码并且将有效执行。

第一个选项（使用编译和 progv）：

(defvar *fn* (compile nil '(lambda () (+ a 2)))
(progv '(a) '(4) (funcall *fn*))
=>
6

第二个选项：

(defvar *fn* (compile nil '(lambda (a) (+ a 2))))
(funcall *fn* 4)
=>
6