clisp中的调试展开

最新推荐文章于 2020-11-23 22:38:48 发布

hellBaron

最新推荐文章于 2020-11-23 22:38:48 发布

阅读量538

点赞数

CC 4.0 BY-SA版权

分类专栏： Lisp

本文链接：https://blog.youkuaiyun.com/way88liu/article/details/43227381

Lisp 专栏收录该内容

9 篇文章

订阅专栏

本文通过一个Lisp宏展开的例子介绍了如何使用`trace`来查看宏的具体展开过程。示例中定义了一个`while`宏，并通过`trace`观察其在实际调用中的展开形式。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

看代码：

(defmacro while (test &rest body)
  `(do ()
       ((not ,test))
     ,@body))

(setq x 0)

(trace while)

(while (< x 10)
       (princ x)
       (incf x))

输出为：

;; Loading file lisp.lisp ...
WARNING: TRACE: redefining function WHILE in D:\test\lisp.lisp, was defined in
top-level
;; Tracing macro WHILE.
1. Trace: (WHILE (< X 10) (PRINC X) (INCF X))
1. Trace: WHILE ==> (DO NIL ((NOT (< X 10))) (PRINC X) (INCF X))
0123456789
;; Loaded file lisp.lisp

利用 (trace while)可以把while的宏展开，从上面展开可以看出 (< x 10)替换了test， (princ x) (incr x)替换了body.