使用当前函数的命名空间进行评估

Question

以下racket函数产生错误：

reference to undefined identifier: val

这是因为eval函数查看全局命名空间，而不是本地函数的命名空间。如何欺骗 eval 使用本地函数的命名空间？

(define some-eval!
  (lambda (val row col)
    (eval (list 'define 'ttboard '(list-builder val row col))) (current-namespace) ))

Answer 1

你的问题是针对 Racket 的。一般来说，不同的Scheme实现有不同的方法来解决这个问题，但在几乎所有情况下，你都不会像你试图做的那样让eval来处理本地绑定。但具体到 Racket 案例，您应该阅读评估部分在 Racket 指南中——它解释了为什么事情没有像你希望的那样工作，并且它展示了如何让模块范围工作。

作为一个快速总结 - 本地绑定对 eval 不可见的原因是，这意味着 (lambda (x) x) 和 (lambda (y ) y) 无法编译为相同的函数，因为名称可能有所不同。您可能会争辩说，编译可能取决于函数内部是否使用了 eval - 但这是无法在编译时确定的。例如：

(define (foo f) (let ([x 1]) (f 'x)))
(foo eval)

在这种情况下，编译器无法判断将使用 eval 调用 foo。

最后，其他尝试解决 eval 的语言也存在类似的困难。例如，在 JS 中，eval 是一个神奇的东西，可以影响函数的编译方式，因此类似：

function foo(x) { alert("x = " + eval("x")); }

实际上会起作用 - 但它需要 eval物理上存在于函数体中。如果不这样做，事情就会破裂。例如，这段代码：

function foo(x,f) { alert("x = " + f("x")); }
foo(123,eval);

在 Fx 中对我有效，但在 Chrome 中失败，提示 x 未定义。如果这还不足以证明混乱，请考虑以下内容：

function foo(x,f) { alert("x = " + f("x")); }
var x = 456;
foo(123,eval);

在 Chrome 中显示 456，在 Fx 中显示 456。

Answer 2

你可以提前定义ttboard，然后set!它：

(define ttboard #f)
(define create-board
  (lambda (val row col)
    (set! ttboard (list-builder val row col))))

这样，你就可以清楚地知道ttboard是一个全局变量，而不是其定义在 eval'd 子句中变得模糊。

Answer 3

我认为，对于你想做的事情，在表达式中设置 val、row 和 col 的值可能就足够了-组合时间，而不是让解释器获取 val 等的值。在评估时（在 Racket 中不可能）。

(define some-eval!
  (lambda (val row col)
    (eval (list 'define 'ttboard `(list-builder ,val ,row ,col)))
          (current-namespace)))

请注意，几乎可以肯定有一种更好、更简洁的方法可以在不使用 eval 的情况下完成您想要完成的任务，当然，除非您这样做是为了练习使用 eval。

Answer 4

一般来说，正如 Eli 指出的那样，无法使用 eval 访问词法环境。但是，我相信此解决方法将满足您的要求：

#lang racket/load

(define some-eval!
  (lambda (val row col)
    (namespace-set-variable-value! 'val val)
    (namespace-set-variable-value! 'row row)
    (namespace-set-variable-value! 'col col)
    (eval (list 'define 'ttboard '(list-builder val row col)) 
          (current-namespace))))
(define list-builder list)
(some-eval! 1 2 3)
(display ttboard)