Haskell异常处理器编写及ExitFailure值匹配方法咨询

1. 基础异常处理器的编写 #

Haskell里处理异常主要依赖Control.Exception模块的工具，最常用的是catch和try函数，使用前记得导入Control.Exception模块（如果需要明确指定异常类型，可能要开启ScopedTypeVariables扩展）。

举个简单的捕获IOException的例子：

import Control.Exception (catch, IOException)
import System.IO

main :: IO ()
main = do
  result <- catch readFileHandler handleIOException
  putStrLn result
  where
    readFileHandler = readFile "non_existent_file.txt"
    handleIOException :: IOException -> IO String
    handleIOException _ = return "Oops，文件读取失败了！"

如果你想同时处理成功和失败的场景，try函数会更合适——它会把结果包装成Either SomeException a类型：

import Control.Exception (try, SomeException)

main :: IO ()
main = do
  res <- try (readFile "non_existent_file.txt") :: IO (Either SomeException String)
  case res of
    Right content -> putStrLn content
    Left e -> putStrLn $ "捕获到异常: " ++ show e

2. 匹配ExitFailure的不同值（处理SomeException的情况） #

你提到持有SomeException没法直接模式匹配、也没法做相等性检查，这时候fromException函数就是关键！它可以把SomeException转换成具体的异常类型（如果类型匹配，会返回Maybe 目标类型），这样你就能对ExitFailure的退出码做精准匹配了。

先明确：ExitFailure是ExitCode类型的构造函数之一，而ExitCode属于Exception类型类，所以能被fromException识别。

下面是完整的示例代码：

import Control.Exception (catch, SomeException, fromException)
import System.Exit (ExitCode(ExitFailure, ExitSuccess))

handleExitException :: SomeException -> IO ()
handleExitException e =
  case fromException e of
    Just (ExitFailure 1) -> putStrLn "捕获到退出码1的异常：一般错误"
    Just (ExitFailure 2) -> putStrLn "捕获到退出码2的异常：参数错误"
    Just ExitSuccess -> putStrLn "居然捕获到ExitSuccess？这可不常见"
    Nothing -> putStrLn $ "不是ExitCode异常：" ++ show e

main :: IO ()
main = do
  -- 模拟抛出ExitFailure 1的情况
  catch (throwIO $ ExitFailure 1) handleExitException
  -- 模拟抛出其他异常
  catch (error "自定义错误") handleExitException

核心逻辑拆解：

• 用fromException e把SomeException转换成Maybe ExitCode
• 对Maybe值做模式匹配：如果是Just，就进一步匹配ExitFailure的具体退出码；如果是Nothing，说明这个异常不是ExitCode类型，走默认处理逻辑

这样就能精准处理不同的ExitFailure值，同时兼容其他类型的异常啦。

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