Question

我尝试在Lisp中做一个非常简单的事情 - 找到一种方法来打开一个全局有价值的nodebug t然后一些调试格式形式将是沉默。为此，我发现我无法理解以下内容的区别：

(defparameter *nodebug* t)
(setf x 1)

;;; the basic function 

(format t "x is ~a" x) ;;; generate -> x is 1


;;; try to use function not macro

(defun formatdf (stream string &rest allparm) ;;; later add (if ...
(format stream string allparm))

(formatdf t "x is ~a" x)  ;;; generate -> x is (1)


;;; try to use macro

(defmacro formatdm (stream string &rest allparm) ;;; later add (if ...
(format stream string allparm))

(formatdm t "x is ~a" x)  ;;; generate -> x is (X)

生成的代码（或函数1）似乎与原始格式形式不同。我的下一步应该是什么？

Answer 1

(defmacro formatdm (stream string &rest allparm) ;;; later add (if ...
  (format stream string allparm))

宏应返回源代码，而不是执行。这里只看到allparm在宏扩展时的值是有用的。它是源代码的一部分：(x)。

您需要返回一个包含必要说明的列表 - 这里是调用格式的代码。

这是一本关于Lisp的非常好的书，它也应该解释宏的基础知识：http://www.cs.cmu.edu/~dst/LispBook/

Answer 2

“功能一”的问题在于您将&rest参数原样传递给format功能。将x传递给formatdf会导致创建一个包含一个参数的列表，该列表绑定到allparm。因此，如果您只想打印第一个参数，您应该写：

 (formatdf t "x is ~a" (car x))

或以下一种方式在format内修复formatdf：

(apply #'format stream string allparm)

Answer 3

（defparameter nodebug t）（setf x 1）（格式t＆＃34; x是~a＆＃34; x）;;;生成 - ＆gt; x是1

;;;要生成相同的并准备nodebug版本，需要以下内容：

;;;使用defmacro

（defmacro formatdmadv（stream string＆amp; rest allparm） `（格式，流，字符串，@ allparm））

（formatdmadv t＆＃34; formatdmadv x is~a＆＃34; x）;;;生成 - ＆gt; x是1＆lt; - 宏正确

;;;或建议使用defun

（formatdf_car t＆＃34; formatdf_car x is~a＆＃34; x）;;;生成 - ＆gt; x是1＆lt; - fun correct

（defun formatdf（stream string＆amp; rest allparm）（应用＃＆＃39;格式（list * stream string allparm）））

（formatdf t＆＃34; formatdf using apply x is~a＆＃34; x）;;;生成 - ＆gt; x是1＆lt; - fun correct

;;; ----以下是不正确的

（defun formatdf_err（stream string＆amp; rest allparm）（格式化流字符串allparm））

（formatdf_err t＆＃34; formatdf_err：x is~a＆＃34; x）;;;生成 - ＆gt; x是（1）

（defun formatdf_car（stream string＆amp; rest allparm）（格式化流字符串（car allparm）））

（defmacro formatdm（stream string＆amp; rest allparm）（格式化流字符串allparm））

（formatdm t＆＃34; formatdm x是~a＆＃34; x）;;;生成 - ＆gt; x是（X）

;;; -----测试确认结果

（pprint（macroexpand-1＆＃39;（formatdm t＆＃34; formatdm x is~a＆＃34; x）））

（pex（macroexpand＆＃39;（formatdm t＆＃34; formatdm x is~a＆＃34; x）））

（pprint（macroexpand-1＆＃39;（formatdm t＆＃34; formatdm b＆＃34; c）））

;;; ---错误的一个，甚至不生成源代码

（pprint（macroexpand-1＆＃39;（formatdmadv t＆＃34; formatdmadv x is~a＆＃34; x）））

（pprint（macroexpand＆＃39;（formatdmadv t＆＃34; formatdmadv x is~a＆＃34; x）））

（pprint（macroexpand-1＆＃39;（formatdmadv t＆＃34; formatdmadv b＆＃34; c）））

Lisp宏的基本思想

3 个答案: