你可以使用return从一个block中的任何一点退出。有事我们想要做更极端的事情,并且在几个函数调用之间转移控制。我们通过catch和throw来完成这样的事情。一个catch表达式接收一个标签(tag),这个标签可以是任意的种类的对象,之后跟着一个表达式的主体(body)。
【译注】:不由想到了“现代”编程语言中的try...catch...
(defun super ()
(catch 'abort
(sub)
(format t "We'll never see this.")))
(defun sub ()
(throw 'abort 99))
这些表达式都是按照顺序来求值的,就像一个progn做的那样。在这个代码或者它调用的代码中的任何一点,一个带有对应标签的throw将会使catch表达式立即返回:
[47]> (super)
99
带有某个标签的throw将按照顺序传递控制给带有其它标签的catches,最后找到相匹配的那个。如果没有对应的标签,那么throw将会引发一个错误。
调用error也可以中断执行,但是它不会把控制转移到调用树的高层,而是将控制转移给Lisp的错误句柄(handler)。通常,这样的结果会触发一个中断循环。下面是在一个假定的Lisp实现中可能发生的事情:
[48]> (progn
(error "Oops!")
(format t "After the error."))
*** - Oops!
The following restarts are available:
ABORT :R1 Abort main loop
有时,你希望你的代码能够防止诸如throws和errors产生的中断。通过使用unwind-protect,你可以保证这样的中断不会把你的程序置于不一致状态。一个unwind-protect接收任意数量的参数,返回第一个的值。然而,如果第一个的求值被中断了,那么剩下的表达式将会被求值。
【译注】:这不是finally吗?
[1]> (setf x 1)
1
[2]> (catch 'abort
(unwind-protect
(throw 'abort 99)
(setf x 2)))
99
[3]> x
2
这里,尽管throw发送控制给等待的catch,unwind-protect保证了第二个表达式的求值。在任何时候,某些操作之后 必须被清理或重置,那么unwind-protect可能就是你需要的。