由于只返回最后一个表达式的值,代表着使用 progn (或任何区块)涵盖了副作用。

    一个 block 像是带有名字及紧急出口的 progn 。第一个实参应为符号。这成为了区块的名字。在主体中的任何地方,可以停止求值,并通过使用 return-from 指定区块的名字,来立即返回数值:

    1. > (block head
    2. (format t "Here we go.")
    3. (return-from head 'idea)
    4. (format t "We'll never see this."))
    5. Here we go.
    6. IDEA

    调用 return-from 允许你的程序,从代码的任何地方,突然但优雅地退出。第二个传给 的实参,用来作为以第一个实参为名的区块的返回值。在 return-from 之后的表达式不会被求值。

    许多接受一个表达式主体的 Common Lisp 操作符,皆隐含在一个叫做 nil 的区块里。比如,所有由 do 构造的迭代函数:

    1. (format t "~A " x)
    2. (if (eql x 'c)
    3. (return 'done)))
    4. A B C
    5. DONE

    使用 defun 定义的函数主体,都隐含在一个与函数同名的区块,所以你可以:

    在一个显式或隐式的 block 外,不论是 return-fromreturn 都不会工作。

    1. (defun read-integer (str)
    2. (dotimes (pos (length str))
    3. (let ((i (digit-char-p (char str pos))))
    4. (if i
    5. (setf accum (+ (* accum 10) i))
    6. (return-from read-integer nil))))
    7. accum))

    68 页的版本在构造整数之前,需检查所有的字符。现在两个步骤可以结合,因为如果遇到非数字的字符时,我们可以舍弃计算结果。出现在主体的原子(atom)被解读为标签(labels);把这样的标签传给 go ,会把控制权交给标签后的表达式。以下是一个非常丑的程序片段,用来印出一至十的数字:

    这个操作符主要用来实现其它的操作符,不是一般会用到的操作符。大多数迭代操作符都隐含在一个 tagbody ,所以是可能可以在主体里(虽然很少想要)使用标签及 go

    如何决定要使用哪一种区块建构子呢(block construct)?几乎任何时候,你会使用 progn 。如果你想要突然退出的话,使用 block 来取代。多数程序员永远不会显式地使用 tagbody