`onException` 的行为方式

finally and onException是模块中的两个函数Control.Exception，它们具有相同的签名但行为不同。Here https://downloads.haskell.org/~ghc/latest/docs/html/libraries/base-4.11.1.0/Control-Exception.html#v:onException是文档。 为了finally， 它说：

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

，同时对于onException， 它说：

Like finally，但仅在存在时才执行最终操作 计算引发的异常。

所以我做了以下测试：

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

其行为符合预期。

然而，onException才不是：

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

如上所述，onException仅在引发异常时执行最终操作，但上面的示例表明onException不执行最终操作，即putStrLn "Oops!"当发生异常时。

检查后源代码 https://downloads.haskell.org/~ghc/latest/docs/html/libraries/base-4.11.1.0/src/Control.Exception.Base.html#onException for onException，我尝试如下测试：

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确实抛出异常，但是why onException (return $ div 4 0) (putStrLn "Oops!")不执行最后的动作putStrLn "Oops!"？我缺少什么？以及异常是如何执行的？

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

你已经被懒惰的评价所困扰了。

的关键保证之一throwIO是它保证when例外情况将在执行其他IO行动。从文档 https://hackage.haskell.org/package/base-4.11.1.0/docs/Control-Exception.html#v:throwIO:

虽然throwIO具有一个类型，该类型是以下类型的实例throw，这两个函数略有不同：

throw e   `seq` x  ===> throw e
throwIO e `seq` x  ===> x

第一个例子会导致异常e会被提出，而第二个则不会。实际上，throwIO仅当在以下范围内使用时才会引发异常IO单子。这throwIO应该优先使用变体来引发异常IOmonad 因为它保证相对于其他的排序IO操作，而throw才不是。

这意味着，当throwIO e动作被执行（不仅仅是评估！）作为执行所产生的动作的一部分onException，保证确实会引发异常。由于异常是在异常处理程序执行的动态范围内引发的，因此会检测到异常并执行处理程序函数。

然而，当你写return e，它产生的动作确实not评价e执行时为 WHNF，并且e仅当/当操作的结果本身被评估时才被评估。到时候div 4 0表达是由 GHCi 强制的show在执行动作的结果时，控制已经离开了执行的动态范围onException，并且它安装的处理程序不再位于堆栈中。异常已引发，但引发得太晚了。

为了获得您想要的行为，确保您进行评估至关重要div 4 0作为行动执行的一部分，而不是之前或之后的一刻。这是什么the evaluate函数来自Control.Exception https://hackage.haskell.org/package/base-4.11.1.0/docs/Control-Exception.html#v:evaluate是为了.它评估 WHNF 的参数作为执行的一部分IO操作本身，保证作为该评估的一部分引发的任何异常都将被周围的异常处理程序检测到：

ghci> onException (evaluate $ div 4 0) (putStrLn "Oops!")
Oops!
*** Exception: divide by zero

道德：在 Haskell 中处理异常时，要非常小心评估事物的时间，以确保异常是在异常处理程序的动态范围内引发的，并且不会由于延迟评估而被推迟。