Question

为什么对以下内容进行字节编译会产生警告？

(defmacro foomacro (shiftcode)
  `(defun foo (&optional arg)
     (interactive ,(concat shiftcode "p"))
     (message "arg is %i" arg))
  `(defun bar (&optional arg)
     (interactive ,(concat shiftcode "Nenter a number: "))
     (message "arg is %i" arg)))
;; provide backward compatibility for Emacs 22
(if (fboundp 'handle-shift-selection)
    (foomacro "^")
  (foomacro ""))

这是我得到的警告：

$ emacs -Q --batch --eval '(byte-compile-file "foo.el")'

In foomacro:
foo.el:1:21:Warning: value returned from (concat shiftcode "p") is unused

如果我摆脱bar，警告就会消失：

(defmacro foomacro (shiftcode)
  `(defun foo (&optional arg)
     (interactive ,(concat shiftcode "p"))
     (message "arg is %i" arg)))
;; provide backward compatibility for Emacs 22
(if (fboundp 'handle-shift-selection)
    (foomacro "^")
  (foomacro ""))

我正在使用GNU Emacs 24.2.1。

Answer 1

那是因为你忘了将宏体包裹在预测中：

(defmacro foomacro (shiftcode)
  `(progn
     (defun foo (&optional arg)
       (interactive ,(concat shiftcode "p"))
       (message "arg is %i" arg))
     (defun bar (&optional arg)
       (interactive ,(concat shiftcode "Nenter a number: "))
       (message "arg is %i" arg))))

考虑宏是如何工作的。当您致电(foomacro "...")时，lisp引擎会识别出foomacro是一个宏而扩展它，即在提供的参数上调用它。宏的返回值是，按预期，第二 defun形式;而第一个 defun表格被丢弃。然后，lisp引擎评估返回值（第二 defun形式）。因此，在progn - 更少版本中，只定义了bar，而不是foo。

要理解这个过程，你需要意识到宏只是“代码转换”工具;他们什么都没做。因此，编译器（或解释器）只能看到它们的返回值。

字节编译宏时，“返回的值未使用”警告

1 个答案: