“onException”的行为

finally 和 onException Control.Exception ,具有相同的签名,但行为不同。 Here 是文档。 最后

finally 
:: IO a  -- computation to run first
-> IO b  -- computation to run afterward (even if an exception was raised)
-> IO a

,而 一个例外 ,上面写着:

最后 ,但仅当存在 计算引发的异常。

ghci> finally (return $ div 4 2) (putStrLn "Oops!")
Oops!
2
ghci> finally (return $ div 4 0) (putStrLn "Oops!")
Oops!
*** Exception: divide by zero

一切如期而至。

然而, 一个例外 不会:

ghci> onException (return $ div 4 2) (putStrLn "Oops!")
2
ghci> onException (return $ div 4 0) (putStrLn "Oops!")  -- does not act as expected
*** Exception: divide by zero

如上所述, 仅在引发异常时执行最终操作,但上面的示例显示 不执行最终操作,即。 putStrLn "Oops!" 当出现异常时。

source code 对于 ,我尝试以下测试:

ghci> throwIO (SomeException DivideByZero) `catch` \e -> do {_ <- putStrLn "Oops!"; throwIO (e :: SomeException)}
Oops!
*** Exception: divide by zero
ghci> onException (throwIO (SomeException DivideByZero)) (putStrLn "Oops!")
Oops!
*** Exception: divide by zero

可以看出,当显式引发异常时,执行了最后的操作。

所以问题是 return $ div 4 0 确实抛出了一个异常,但是 onException (return $ div 4 0) (putStrLn "Oops!") 不执行最终操作

ghci> throwIO (SomeException DivideByZero)
*** Exception: divide by zero
ghci> (return $ div 4 0) :: IO Int
*** Exception: divide by zero