Windows系统下Haskell中readFile抛出的异常无法捕获问题咨询

这个问题我太熟悉了！核心原因是GHC的惰性IO特性加上Windows 7系统默认编码与文件编码不匹配的双重作用，才导致异常“溜”出了catch的范围。

问题根源拆解 #

1. 惰性IO的隐形坑：readFile底层依赖hGetContents实现，而hGetContents是惰性读取——它不会立刻把文件内容加载进内存，而是等你实际使用这个字符串的时候才会去读取文件。这就意味着，你写的catch只包裹了“打开文件”这个操作，而实际触发编码错误的“读取内容”操作，是在catch的作用域结束之后才执行的，自然捕获不到异常。

2. Windows编码 mismatch：Windows 7的默认文件编码是跟随系统区域设置的（比如中文系统是GBK，日文系统可能是Shift-JIS），而你的test.txt是UTF-8编码。当GHC用系统默认编码去解码UTF-8文件时，遇到无法识别的字节序列就会抛出invalid byte sequence异常，但因为惰性IO的延迟触发，这个异常已经不在catch的覆盖范围内了。

解决方法 #

方法1：显式处理编码+强制读取（推荐）

绕过readFile，手动打开文件并指定编码，同时确保在catch作用域内完成全部读取操作：

import Control.Exception
import System.IO

main = do
  result <- (do
               -- 打开文件时显式指定UTF-8编码
               handle <- openFile "test.txt" ReadMode
               hSetEncoding handle utf8
               -- 读取内容
               contents <- hGetContents handle
               -- 强制立刻读取全部内容，避免惰性导致异常延后
               length contents `seq` return contents)
           `catch` (const $ return "exception caught!" :: SomeException -> IO String)
  putStrLn result

这里的length contents seq return contents是关键——它强制GHC马上读取完整文件内容，确保异常在catch的作用域内触发。

方法2：修改GHC默认编码

如果不想修改代码，可以在启动stack ghci时直接指定默认编码为UTF-8：

stack ghci --ghc-options "-fencoding=utf8"

或者在ghci会话里临时设置：

:set encoding utf8

这样readFile会用UTF-8解码文件，只要文件是合法的UTF-8就不会报错；如果文件真的有编码问题，异常也会因为你立刻使用内容（比如在ghci里直接打印）而被catch捕获。

额外提示 #

在Windows平台处理文件编码时，尽量显式指定编码，不要依赖系统默认设置——不同区域的系统默认编码差异很大，很容易踩坑。如果需要处理多种编码的文件，推荐用text库的Data.Text.Encoding模块手动处理字节流，比默认的String更可靠。

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