Haskell开发待办CLI时遇withFile资源占用错误求助

你遇到的文件锁定问题确实是Haskell惰性求值导致的——readFile读取文件后不会立刻把全部内容加载到内存，而是返回一个惰性字符串。这意味着文件句柄会保持打开状态，直到你实际用到解析后的[Task]值。而程序在main加载完任务后就进入循环，后续执行saveTasks时，原文件可能还被之前的readFile句柄占用，自然触发了资源忙的错误。

下面是两种直接有效的解决办法：

方法一：强制严格求值解析后的任务列表 #

导入Control.Exception里的evaluate函数，在返回解析结果前强制计算整个任务列表，确保文件句柄及时关闭：

import Control.Exception (evaluate)
import System.Directory (doesFileExist)

loadTasks :: IO [Task]
loadTasks = do
    fileExists <- doesFileExist "tasks.txt"
    if fileExists
        then do
            content <- readFile "tasks.txt"
            let parsedTasks = read content :: [Task]
            evaluate parsedTasks  -- 强制计算所有任务，释放文件句柄
            return parsedTasks
        else return []

如果你的Task是自定义类型，且实现了NFData类型类，也可以用Control.DeepSeq里的deepseq做深度求值，效果更彻底：

import Control.DeepSeq (deepseq)
import System.Directory (doesFileExist)

loadTasks :: IO [Task]
loadTasks = do
    fileExists <- doesFileExist "tasks.txt"
    if fileExists
        then do
            content <- readFile "tasks.txt"
            let parsedTasks = read content :: [Task]
            parsedTasks `deepseq` return parsedTasks  -- 深度强制求值
        else return []

方法二：手动管理文件句柄 #

用withFile显式控制文件的打开和关闭，避免惰性求值带来的句柄泄漏：

import System.IO (withFile, IOMode(ReadMode), hGetContents)
import System.Directory (doesFileExist)

loadTasks :: IO [Task]
loadTasks = do
    fileExists <- doesFileExist "tasks.txt"
    if fileExists
        then withFile "tasks.txt" ReadMode $ \handle -> do
            content <- hGetContents handle
            let parsedTasks = read content :: [Task]
            evaluate parsedTasks
            return parsedTasks
        else return []

withFile会保证回调函数执行完毕后自动关闭文件句柄，结合evaluate强制求值内容，彻底避免文件被长期占用的情况。

选其中一种方法修改loadTasks函数，就能解决文件锁定问题了。

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