【翻译】Lisp.中止（Aborts）

[panfei]

你可以使用return从一个block中的任何一点退出。有事我们想要做更极端的事情，并且在几个函数调用之间转移控制。我们通过catch和throw来完成这样的事情。一个catch表达式接收一个标签（tag），这个标签可以是任意的种类的对象，之后跟着一个表达式的主体（body）。

【译注】：不由想到了“现代”编程语言中的try...catch...

[plain] view plaincopy

1. (defun super ()  
2.   (catch 'abort  
3.     (sub)  
4.     (format t "We'll never see this.")))  
5.   
6. (defun sub ()  
7.   (throw 'abort 99))  

这些表达式都是按照顺序来求值的，就像一个progn做的那样。在这个代码或者它调用的代码中的任何一点，一个带有对应标签的throw将会使catch表达式立即返回：

[plain] view plaincopy

1. [47]> (super)   
2. 99  

带有某个标签的throw将按照顺序传递控制给带有其它标签的catches，最后找到相匹配的那个。如果没有对应的标签，那么throw将会引发一个错误。

调用error也可以中断执行，但是它不会把控制转移到调用树的高层，而是将控制转移给Lisp的错误句柄（handler）。通常，这样的结果会触发一个中断循环。下面是在一个假定的Lisp实现中可能发生的事情：

[plain] view plaincopy

1. [48]> (progn  
2.   (error "Oops!")  
3.   (format t "After the error."))  
4.   
5. *** - Oops!  
6. The following restarts are available:  
7. ABORT          :R1      Abort main loop  

有时，你希望你的代码能够防止诸如throws和errors产生的中断。通过使用unwind-protect，你可以保证这样的中断不会把你的程序置于不一致状态。一个unwind-protect接收任意数量的参数，返回第一个的值。然而，如果第一个的求值被中断了，那么剩下的表达式将会被求值。

【译注】：这不是finally吗？

[plain] view plaincopy

1. [1]> (setf x 1)  
2. 1  
3. [2]> (catch 'abort  
4.   (unwind-protect  
5.     (throw 'abort 99)  
6.     (setf x 2)))  
7. 99  
8. [3]> x  
9. 2  

这里，尽管throw发送控制给等待的catch，unwind-protect保证了第二个表达式的求值。在任何时候，某些操作之后必须被清理或重置，那么unwind-protect可能就是你需要的。

--
不学习，不知道