Haskell 中使用read解析文件时的自定义格式错误处理

原代码直接使用read系列函数做格式解析，read在内容和预期结构不匹配时，会直接抛出携带系统默认报错信息的运行时异常，无法直接拦截返回自定义提示。要满足需求，需要把全流程中所有可能触发异常的操作（文件打开、内容读取、逐行解析）都纳入统一的异常捕获范围，只要流程中出现任意格式或读取问题，直接返回固定的自定义提示，不向外透传系统报错。

核心实现要点 #

• 借助Control.Exception模块的异常捕获能力，统一拦截全流程中抛出的异常，覆盖文件打开失败、内容为空、行结构不匹配、类型解析错误等所有不符合格式要求的场景
• 替换原代码中懒加载的文件读取逻辑，强制一次性读完全部文件内容后再执行解析，避免懒求值触发的延迟异常导致捕获失效
• 所有被捕获的异常统一映射为固定提示"some error"，仅当全流程解析无异常时，才进入后续业务逻辑分支

参考实现代码 #

首先需要导入依赖模块：

import Control.Exception (try, SomeException)
import System.IO

调整后的函数实现：

someFunction :: String -> IO String
someFunction fileName = do
  -- 全流程包裹异常捕获，覆盖所有解析、IO类异常
  parseResult <- try (readAndParseFile fileName) 
    :: IO (Either SomeException 
            ( ([String], [(Int, Int)], [(Int, Int)], Int)
            , [((Int, Int), (Int, Int), String)]
            )
          )
  case parseResult of
    -- 任意异常触发，直接返回自定义提示
    Left _ -> return "some error"
    -- 解析完全通过后，在这里实现后续业务逻辑
    Right (firstLine, restLines) -> do
      -- 原有业务逻辑占位
      return "业务处理完成的返回结果"

-- 独立的读文件+解析逻辑，任意一步出错都会抛出异常供外层捕获
readAndParseFile :: String 
                -> IO ( ([String], [(Int, Int)], [(Int, Int)], Int)
                      , [((Int, Int), (Int, Int), String)]
                      )
readAndParseFile fileName = do
  handle <- openFile fileName ReadMode
  -- 一次性严格读取所有行内容，避免懒加载问题
  allLines <- lines <$> hGetContents handle
  hClose handle
  -- 校验文件非空
  case allLines of
    [] -> fail "文件无内容"
    (firstLineStr : restLineStrs) -> do
      -- 解析首行，格式不匹配时会触发read异常
      let firstLine = read firstLineStr :: ([String], [(Int, Int)], [(Int, Int)], Int)
      -- 逐行解析剩余内容，任意行格式不匹配都会触发异常
      restLines <- mapM (\lineStr -> read lineStr :: IO ((Int, Int), (Int, Int), String)) restLineStrs
      return (firstLine, restLines)

注意事项 #

• 该实现的异常捕获范围完全覆盖需求提到的异常场景：文件内容缺失、结构不匹配、类型不对应、文件读取权限不足等，所有场景都会统一返回"some error"，不会将系统默认的解析报错暴露给调用方
• 原代码中直接使用hGetContents的懒加载写法存在隐患：解析操作不会在打开文件时立即执行，可能导致异常在异常捕获范围之外触发，甚至出现读取时句柄已关闭的问题。实现中一次性读完所有内容后再关闭句柄的写法，可以彻底避免这类懒加载导致的解析失效问题
• 如果需要缩小异常捕获范围，只拦截解析类错误、保留文件IO类错误的默认提示，可以将捕获的异常类型从宽泛的SomeException替换为更具体的解析异常类型即可

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