如何在lisp中求值两次（不使用求值）_Lisp_Common Lisp_Eval

如何在lisp中求值两次（不使用求值）

lisp common-lisp

如何在lisp中求值两次（不使用求值）,lisp,common-lisp,eval,Lisp,Common Lisp,Eval,我如何在保持词汇上下文的同时再次评估某个单词 * (defvar form '(+ 1 2)) form * form (+ 1 2) * (eval form) ;; This loses the lexical scope (not an issue here) 3 例如，需要词法范围的问题 (let ((a 1) (b 2) (form '(+ a b))) (print form) (print (eval form)) ) (+ a b) The variab

我如何在保持词汇上下文的同时再次评估某个单词

* (defvar form '(+ 1 2))
form
* form
(+ 1 2)
* (eval form) ;; This loses the lexical scope (not an issue here)
3

例如，需要词法范围的问题

(let ((a 1) (b 2)
      (form '(+ a b)))
  (print form)
  (print (eval form))  )
(+ a b) 
The variable A is unbound.

我如何在同一词汇范围内两次评估该形式？
如何评估我想要的次数（在同一词汇范围内）

与前面的问题有关

不能使用eval在词法范围内对表单求值。引用评估的HyperSpec页面（重点添加）：

语法：评估格式和右箭头；结果*

参数和值：

形式——形式
结果通过表格评估得出的值

说明：在当前动态环境和空词汇表中计算表单环境

环境支持中的评估实现尽管标准

eval

不允许您指定词法环境，但某些实现可能以实现定义的方式提供此功能。比如说

CLISP的

ext:eval env

函数（外部：EVAL-ENV表单和可选环境）。对窗体求值在给定的词汇环境中，就好像形式是环境来自的程序

不能使用eval在词法范围内对表单进行求值。引用评估的HyperSpec页面（重点添加）：

语法：评估格式和右箭头；结果*

参数和值：

形式——形式
结果通过表格评估得出的值

说明：在当前动态环境和空词汇表中计算表单环境

环境支持中的评估实现尽管标准

eval

不允许您指定词法环境，但某些实现可能以实现定义的方式提供此功能。比如说

CLISP的

ext:eval env

函数（外部：EVAL-ENV表单和可选环境）。对窗体求值在给定的词汇环境中，就好像形式是环境来自的程序

我可能弄错了，但这似乎是个错误。我猜你的例子太简单了，你提出要求的理由已经不存在了。你为什么需要这个

在不了解更多信息的情况下，我认为您可以使用宏解决此问题：

（卸载运行（expr）
（funcall expr:run））
（除src（expr）
（funcall expr:src））
（defmacro expr和车身支撑）
`（let（（run（lambda（），@rest））
（src'，@rest））
（λ（m）
（案例m）
（：运行（funcall运行））
（否则src(()()))）

您将代码输入到

expr

并创建一个对象，而不是引用代码。两个函数

run

和

src

获取这个对象，或者在原始词汇环境中运行它（因为我创建了thunk），或者返回表达式的源代码。你的例子可以写成：

（let*（（a1）
（b 2）
（表格（expr（+AB）））
（打印（src表格））
（打印（运行表单）））

注意，我从

let

更改为

let*

，因为

和

都不适用于

表单

。因此，您得到的词法环境与您运行代码来代替

expr

表单的情况相同

Eval不使用一次或两次。也许

CLOS

也能起到同样好的作用。

我可能弄错了，但这似乎是一个错误。我猜你的例子太简单了，你提出要求的理由已经不存在了。你为什么需要这个