当前位置：文江博客话题详情

规避 SCHEME 中的 EVAL

发布于 2024-07-25 16:08:00 字数 237 浏览 5 评论 0原文

彼得·诺维格 (Peter Norvig) 在 PAIP 中说道：

在现代 lisps 中...eval 很少被使用（事实上，在Scheme 中有根本没有评估）。如果您发现自己使用 eval，那么您可能是做错事

有哪些方法可以避免在方案中使用 eval ？是否存在绝对需要 eval 的情况？

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

∞梦里开花 2024-08-01 16:08:00

在某些情况下，eval 是必要的，但它们总是涉及高级程序，例如动态加载某些代码（例如，Web 服务器中的 servlet）。至于“规避”使用它的方法 - 这取决于您要解决的实际问题，没有什么神奇的解决方案可以避免 eval 除了... eval代码>.

（顺便说一句，我的猜测是 PAIP 是很久以前写的，在 eval 添加到方案报告之前。）

回复收藏 0 原文

Hello爱情风 2024-08-01 16:08:00

他错了。当然Scheme中有eval。

回复收藏 0 原文

上课铃就是安魂曲 2024-08-01 16:08:00

在某些非常罕见的情况下，您将需要eval。首先想到的情况是当您用程序构建程序然后执行它时。例如，这主要发生在遗传算法中。在这种情况下，您将构建许多需要执行的随机程序。将 eval 与作为数据的代码结合起来，使 Lisp 成为执行遗传算法的最简单的编程语言。

拥有这些属性需要付出巨大的代价（就程序的速度和大小而言），因为您将消除对将要评估的代码进行编译时优化的所有可能性，并且必须将完整的解释器保留在生成的二进制文件中。

因此，在可以避免的情况下使用 eval 被认为是糟糕的设计。

回复收藏 0 原文

雄赳赳气昂昂 2024-08-01 16:08:00

至少对于最新版本的Scheme 标准（R5RS 及更高版本）来说，Scheme 没有eval 的说法是不准确的。通常，您需要的是一个宏，它将在编译时生成代码。

确实应该避免eval。对于初学者来说，我从未见过关于它应该如何表现的令人满意的定义，例如：

当没有传递环境时应该评估什么环境表达式？
当你确实经过一个环境时，它们是如何工作的？例如，标准没有指定您可以在该环境对象中预先绑定值的方式。

也就是说，我使用过一个Scheme 应用程序，该应用程序使用eval 在运行时动态生成代码，以应对在编译时无法知道计算结构的情况。出于性能原因，其目的是让Scheme 系统在运行时编译代码，困难在于没有标准方法告诉Scheme 系统“编译此代码”。

不言而喻，eval 可能会带来巨大的安全风险。您永远不应该评估任何与用户输入没有巨大隔离墙的东西。基本上，如果您想安全地使用eval，您应该在解析一些输入（使用全面定义的语法！）。

回复收藏 0 原文

谜泪 2024-08-01 16:08:00

首先，PAIP是为Common Lisp而不是Scheme编写的，所以我不知道他会说同样的话。 CL 宏与 eval 执行的操作大致相同，不过是在编译时而不是运行时执行，并且您还可以执行其他操作。如果您向我展示一个在 Common Lisp 中使用 eval 的示例，我可以尝试想出其他方法来完成同样的事情。

我不是一名计划程序员。我只能从 Norvig 作为一名 Common Lisp 程序员的角度来谈谈。我认为他不是在谈论Scheme，也不知道他是否了解或者特别了解Scheme。

其次，诺维格说“你可能做错了事”，而不是“你正在做错事”。这意味着，据他所知，有时 eval 是正确的使用方法。在像 C 这样的语言中，我会对 goto 说同样的话，尽管它们在某些受限情况下非常有用，但大多数 goto 使用的是那些不使用 goto 的人不知道有什么更好的。

回复收藏 0 原文

时光匆匆的小流年 2024-08-01 16:08:00

我在脚本环境中看到“eval”的一种用途是使用运行时值参数化某些代码。例如，在伪-C 中：

param = read_integer();
fn = eval("int lambda(int x) { 
            int param = " + to_string(param) + "; 
            return param*x; }");

我希望你觉得它真的很难看。字符串粘贴以在运行时创建代码？恶心。在Scheme和其他词法作用域的Lisp中，您可以在不使用eval的情况下创建参数化函数。

(define make-my-fn
  (lambda (param)
    (lambda (x)  (* param x)))

(let* ([ param  (read-integer) ]
       [ fn     (make-my-fn param ])
  ;; etc.
 )

就像前面提到的，动态代码加载等仍然需要 eval，但是参数化代码和代码组合可以使用一流函数生成。

One use I've seen for 'eval' in scripting environments is to parameterize some code with runtime values. for instance, in psuedo-C:

param = read_integer();
fn = eval("int lambda(int x) { 
            int param = " + to_string(param) + "; 
            return param*x; }");

I hope you find that really ugly. String pasting to create code at runtime? Ick. In Scheme and other lexically scoped Lisps, you can make parameterized functions without using eval.

(define make-my-fn
  (lambda (param)
    (lambda (x)  (* param x)))

(let* ([ param  (read-integer) ]
       [ fn     (make-my-fn param ])
  ;; etc.
 )

Like was mentioned, dynamic code loading and such still need eval, but parameterized code and code composition can be produced with first class functions.

回复收藏 0 原文