Lisp.中止(Aborts)

你可以使用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可能就是你需要的。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值