五：控制流.pdfVIP

第五章：控制流 2.2 节介绍过 Common Lisp 的求值规则，现在你应该很熟悉了。本章的操作符都有⼀ 个共同 ，就是它们都违反了求值规则。这些操作符让你决定在程序当中何时要求 值。如果普通的函数调⽤是 Lisp 程序的树叶的话，那这些操作符就是连结树叶的树 枝。 5.1 区块 (Blocks) 5.2 语境 (Context) 5.3 条件 (Conditionals) 5.4 迭代 (Iteration) 5.5 多值 (Multiple Values) 5. 中⽌ (Aborts) 5.7 ⽰例：⽇期运算 (Example: Date Arithmetic) Chapter 5 总结 (Summary) Chapter 5 练习 (Exercises) 5.1 区块 (Blocks) Common Lisp 有三个构造区块 （block ）的基本操作符： progn 、 block 以 及 tagbody 。我们已经看过 progn 了。在 progn 主体中的表达式会依序求值，并 返回最后⼀个表达式的值： (progn (format t a) (format t b) (+ 11 12)) ab 23 由于只返回最后⼀个表达式的值，代表著使⽤ progn （或任何区块）涵盖了副作 ⽤。 ⼀个 block 像是带有名字及紧急出⼜的 progn 。第⼀个实参应为符号。这成为了区 块的名字。在主体中的任何地⽅，可以停⽌求值，并通过使⽤ return-from 指定区 块的名字，来⽴即返回数值： (block head (format t Here we go.) (return-from head idea) (format t We ll never see this.)) Here we go. IDEA 调⽤ return-from 允许你的程序，从代码的任何地⽅，突然但优雅地退出。第⼆个 传给 return-from 的实参，⽤来作为以第⼀个实参为名的区块的返回值。 在 return-from 之后的表达式不会被求值。 也有⼀个 return 宏，它把传⼊的参数当做封闭区块 nil 的返回值： (block nil (return 27)) 27 许多接受⼀个表达式主体的 Common Lisp 操作符，皆隐含在⼀个叫做 nil 的区块 ⾥。⽐如，所有由 do 构造的迭代函数： (dolist (x (a b c d e)) (format t ~A x) (if (eql x c) (return done))) A B C DONE 使⽤ defun 定义的函数主体，都隐含在⼀个与函数同名的区块，所以你可以： (defun foo () (return-from foo 27)) 在⼀个显式或隐式的 block 外，不论是 return-from 或 return 都不会⼯作。 使⽤ return-from ，我们可以写出⼀个更好的 read-integer 版本： (defun read-integer (str) (let ((accum 0)) (dotimes (pos (length str)) (let ((i (digit-char-p (char str pos)))) (if i (setf accum (+ (* accum 10) i)) (return-from read-integer nil)))) accum)) 8 页的版本在构造整数之前，需检查所有的字符。现在两个步骤可以结合，因为如果 遇到⾮数字的字符时，我们可以舍弃计算结果。出现在主体的原⼦ （atom ）被解读为 标签 （labels) ；把这样的标签传给 go ，会把控制权交给标签后的表达式。以下是⼀ 个⾮常丑的程序⽚段，⽤来印出⼀⾄⼗的数字： (tagbody (setf x 0) top (setf x (+ x 1)) (format t ~A x)