3

我尝试编写一个宏并按如下方式执行它。但它未能执行。

(defmacro times_two (var) (* 2 var))
(times_two '(+ 1 2))

在我的想象中，我认为扩展将是 (* 2 (+ 1 2))。执行后，结果为6。但是失败了。

我不知道为什么。我阅读了 Emacs lisp 手册，但我仍然无法理解它们。我想知道构建扩展的确切步骤是什么。口译员做了什么？

4

2 回答 2

7

当我在 Emacs 中评估这些表单时，我在评估第二个表单时收到以下错误消息：

Debugger entered--Lisp error: (wrong-type-argument number-or-marker-p (quote (+ 1 2)))
  *(2 (quote (+ 1 2)))
  (lambda (var) (* 2 var))((quote (+ 1 2)))
  (times_two (quote (+ 1 2)))
  eval((times_two (quote (+ 1 2))))
  eval-last-sexp-1(nil)
  eval-last-sexp(nil)
  call-interactively(eval-last-sexp nil nil)

这向您展示了它是如何扩展宏的，它应该告诉您出了什么问题。（最后的扩展在顶部。）

带引号的表达式'(+ 1 2)被传递给 times_two 宏，但带引号的列表不是*函数的有效参数。

你真正想要的是：

(defmacro times_two (var) `(* 2 ,var))
(times_two (+ 1 2))

请记住，通常宏的结果将是新的 Lisp 代码，而不是最终值。您编写宏的目标是构建能够为您提供所需结果的表单。因此，大多数情况下，您的宏最终会使用准引号 (`) 语法。

于 2012-08-28T02:35:33.993 回答
1

我怀疑您混淆了编译时和运行时。宏在编译时运行，生成要在运行时执行的代码。一般来说，很难保持这些直截了当，这使得编写宏变得困难。

无论如何，当我将它放入 ielm 时，我得到：

    ELISP> (defmacro times_two (var) 
       (* 2 var))
    times_two
    ELISP> (times_two '(+ 1 2))
    *** Eval error ***  Wrong type argument: number-or-marker-p, (quote (+ 1 2))
    ELISP>

至少部分问题是'（+ 1 2），但是当我删除引号时，以下内容并没有更好：

    ELISP> (times_two (+ 1 2))
    *** Eval error ***  Wrong type argument: number-or-marker-p, (+ 1 2)
    ELISP>

似乎 elisp 正在我们放置 '(+ 1 2) 和 (+ 1 2) 的地方寻找数字或标记。让我们尝试使用一个数字：

    ELISP> (times_two 3)
    6

这样可行。

有趣的是，它的宏观扩展给出了：

    ELISP> (macroexpand '(times_two 3))
    6

这可能不是我们真正想要的。

当我们编写宏时，我们希望返回要在运行时评估的表达式。所以我们可以试试这个，而不是返回一个数字：

    ELISP> (defmacro times_two (var) 
           `(* 2 ,var))

反引号（准引号）是一种创建列表的方式，但也允许使用逗号进行插值。以这种方式定义 times_two 给出：

    ELISP> (times_two (+ 1 2))
    6

并扩展：

    ELISP> (macroexpand '(times_two (+ 1 2)))
    (* 2
       (+ 1 2))

这正是你想象的那样。

于 2012-08-28T18:48:44.727 回答