lisp初体验-Practical Common Lisp笔记-9.标准宏

最新推荐文章于 2014-03-06 17:51:24 发布

iteye_14316

最新推荐文章于 2014-03-06 17:51:24 发布

阅读量103

点赞数

分类专栏： lisp 文章标签： LISP

lisp 专栏收录该内容

15 篇文章 0 订阅

订阅专栏

一直在拖延，玩Lisp,终究绕不开这道坎啊。既然如此，抖擞下精神，开始了。

作者首先又是抱怨、比较了一番lisp的宏与其他语言的区别。从形式上来讲，其实所谓的标准宏就和c,java之类的类库一样，是事先已经被完成、验证过的东东封装在编译/虚拟环境中供coder使用(省的重复造轮子)。当然，在lisp中，宏可不单单是如此简单，不过～管他呢(拜托，这只是初学者教程！)在这一章节主要给大伙介绍几个常用的宏。

[b]条件宏[/b]
最常见的估计算是"if"了：


(if condition then-form [else-form])

(if (> 2 3) "Yup" "Nope") ==> "Nope"
(if (> 2 3) "Yup")        ==> NIL
(if (> 3 2) "Yup" "Nope") ==> "Yup"

真是简单易懂啊，不过if只支持单行动语句，也就是说，“无论条件是否成立，都只能做一件事，而不能做一组事”。而在真实环境中，自然会大大影响其使用面。为此就引入了特别造作符：PROGN


(if (spam-p current-message)
    (progn
      (file-in-spam-folder current-message)
      (update-spam-database current-message)))

恩，看起来还不错，不过，如果有更简洁的方案呢：


(when (spam-p current-message)
  (file-in-spam-folder current-message)
  (update-spam-database current-message))

when也是一个标准宏，即使不是，定义也不麻烦：


(defmacro when (condition &rest body)
  `(if ,condition (progn ,@body)))

它的共生兄弟unless则是对条件作了逆判断：


(defmacro unless (condition &rest body)
  `(if (not ,condition) (progn ,@body)))

似乎没什么神奇的啊，即没有神秘的魔法也没有晕人的逻辑。对头！或许"大道至简"可以用作解释吧。
如果说when解决了执行条目的问题，那么宏cond则是解决了条件条目的问题：


(cond
  (test-1 form*)
      .
      .
  (test-N form*))

(cond (a (do-x))
      (b (do-y))
      (t (do-z))) '理论上来说最后一条是default

在做条件运算时，通常都会搭配些基本的运算符：and,or,not（not其实算是函数）。


(not nil)             ==> T
(not (= 1 1))         ==> NIL
(and (= 1 2) (= 3 3)) ==> NIL   '遇到第一个nil即返回，没有则t
(or (= 1 2) (= 3 3))  ==> T     '遇到第一个t即返回,没有则nil

[b]循环宏[/b]
最简单的两个循环宏莫过于dolist和dotimes了：


(dolist (var list-form)
  body-form*)

(dolist (x '(1 2 3)) (print x))
1
2
3
NIL

CL-USER> (dolist (x '(1 2 3)) (print x) (if (evenp x) (return)))
1
2
NIL          '通过return截断了循环

-----------------------------
(dotimes (var count-form)
  body-form*)

(dotimes (i 4) (print i))
0
1
2
3
NIL

一个循环列表，一个根据数值递进循环，都算定制型的循环宏。而他们都有一个"父宏"(可以这么叫么)--do,这玩意由于超级灵活(万金油啊)，那么也造成了易用度的降低：


(do (variable-definition*)
    (end-test-form result-form*)
  statement*)

variable-definition-->(var init-form step-form)

简单看来，需要在veriable-definition中定义循环初值，跳步幅度(没有则默认一步)，当达到end-test-form时，执行result-form，他的返回值将作为整个循环的返回值。而statement则是循环体。这里给出了一个例子来证明do的灵活性：


(do ((n 0 (1+ n))
     (cur 0 next)
     (next 1 (+ cur next)))
    ((= 10 n) cur))

其实就是传说中的“斐波纳契数列”。在这个例子中循环体似乎并不重要，重要的是构造本身。正如前面所说，灵活的同时易用性正在丧失，例子中的括弧实在令人印象深刻啊。咱们来看个对比：


(do ((i 0 (1+ i)))
    ((>= i 4))
  (print i))

(dotimes (i 4) (print i))

果然是“红花需要绿叶衬”～
在某些情况下，循环条件都是非必需的：


(do ()   '虽然没有条件，位置还得留着
    ((> (get-universal-time) *some-future-date*))
  (format t "Waiting~%")
  (sleep 60))

接下来要介绍的算是在lisp界颇具争议的"强力"循环宏：loop.
dolist,dotimes虽然简单，覆盖面却不广，而do又过于灵活(=复杂？)，那么看似更趋向于中间的loop便有了出现的理由，纵然有不少人反对他(支持的也不少)。
看起来很简洁：


(loop
  body-form*)

用起来也不赖：


(loop
  (when (> (get-universal-time) *some-future-date*)
    (return))
  (format t "Waiting~%")
  (sleep 60))

与do比较下：


(do ((nums nil) (i 1 (1+ i)))
    ((> i 10) (nreverse nums))
  (push i nums)) ==> (1 2 3 4 5 6 7 8 9 10

(loop for i from 1 to 10 collecting i) ==> (1 2 3 4 5 6 7 8 9 10)

也来实现个“斐波纳契数列”：


(loop for i below 10
      and a = 0 then b
      and b = 1 then (+ b a)
      finally (return  a))

虽然其中用到了类似for,below什么的loop专用符号，但的确看着清爽多了，也更符合自然语言。这是loop簇拥们的理由，也是反对者腹诽的地方"一点都不lisp".个人观点就是，你觉着哪个爽就用哪个呗，正是"条条大路通罗马"～当然，这里的loop使用还只是冰山一角，后面的章节还会详述。

lisp编译器自带的标准宏自然不光这么几个，仅仅是摘出几个常用的，以简单一窥其中奥妙。那么，在接下来的章节中，即将深入介绍--自定义宏。你准备好了么？

(未完待续)