Control.Monad.Throw中使用非SomeException类型Handler的编译疑问

我太懂这种困惑了！当初刚上手exceptions包的时候，我也对着类型签名挠头半天——明明throwM说支持任何Exception实例，为啥捕获ExitCode的时候就卡壳了？咱们一步步把这个问题掰明白。

先搞清楚你遇到的编译失败根源 #

你应该是写了类似这样的代码，结果编译报错：

import Control.Monad.Throw
import System.Exit (ExitCode(ExitFailure))

test :: IO ()
test = do
  throwM (ExitFailure 1) `catch` handler
  where
    handler :: ExitCode -> IO ()
    handler ec = putStrLn $ "Caught exit code: " ++ show ec

问题出在catch的第二个参数类型上：catch要求传入的是Handler m a类型，而默认的Handler构造器（大写H）只能接受SomeException -> m a的函数。你直接传了ExitCode -> IO ()，类型自然不匹配。

但别慌，exceptions包早就为我们准备好了更方便的工具——小写的handler函数（来自Control.Monad.Catch模块），专门用来创建针对特定异常类型的Handler。

正确捕获特定异常的写法 #

方式一：用catch配合handler包装处理函数

这是最常用的方式，handler会帮你自动处理SomeException到具体类型的转换：

import Control.Monad.Catch (MonadCatch, catch, handler)
import System.Exit (ExitCode(ExitFailure))

test :: IO ()
test = do
  throwM (ExitFailure 1) `catch` handler handleExitCode
  where
    handleExitCode :: ExitCode -> IO ()
    handleExitCode ec = putStrLn $ "Caught exit code: " ++ show ec

方式二：用catches组合多个不同类型的Handler

如果需要同时捕获多种异常，catches可以让你按顺序匹配不同的异常处理逻辑：

import Control.Monad.Catch (catches, handler)
import System.Exit (ExitCode(ExitFailure))
import Control.Exception (SomeException)

test :: IO ()
test = do
  throwM (ExitFailure 2) `catches` 
    [ handler handleExitCode
    , handler handleGenericException
    ]
  where
    handleExitCode :: ExitCode -> IO ()
    handleExitCode ec = putStrLn $ "Caught exit code: " ++ show ec
    handleGenericException :: SomeException -> IO ()
    handleGenericException se = putStrLn $ "Caught other exception: " ++ show se

背后的原理：Exception类型类的转换逻辑 #

所有异常在传播时都会被包装成SomeException（这是Exception类型类的根类型），但Exception提供了两个核心方法：

• toException :: Exception e => e -> SomeException：把具体异常转成通用类型
• fromException :: Exception e => SomeException -> Maybe e：尝试把通用异常转回具体类型

小写的handler函数就是帮你做了这个模式匹配的工作：它接收一个e -> m a的处理函数，然后生成一个Handler m a，内部会尝试用fromException转换SomeException，成功就调用你的处理函数，失败就把异常继续抛出。

如果你想手动实现这个逻辑，也可以直接构造Handler：

handleExitCodeHandler :: Handler IO ()
handleExitCodeHandler = Handler $ \se ->
  case fromException se of
    Just ec -> putStrLn $ "Caught exit code: " ++ show ec
    Nothing -> throwM se  -- 还原未匹配的异常，继续传播

最后再划个重点 #

• 你的理解没错：throwM确实支持抛出任何Exception实例（比如ExitCode），问题从来不在抛出端
• 捕获特定异常时，记得用handler函数把你的类型专属处理函数转换成Handler类型，或者手动用fromException做类型转换
• 用catches可以灵活组合多种异常的处理逻辑，按顺序匹配

内容的提问来源于stack exchange，提问作者hgiesel