Haskell CLI工具参数解析问题：非穷举模式错误求助

问题原因 #

你的parse函数未覆盖所有可能的命令行参数组合，当传入的参数列表无法匹配现有模式时（比如参数数量为3及以上、非-o开头的双参数等），就会抛出Non-exhaustive patterns in function parse错误。若你确认传入的是-o+文件名的双参数，大概率是实际运行时参数输入有误（比如多传参数、参数顺序颠倒）。

另外，当前代码还存在两个隐性问题：

• 单参数场景逻辑不符合需求：现有parse [_]会直接报错，而非读取传入的文件名
• 路径解析错误："$HOME/" ++ fileName无法解析shell环境变量$HOME，会导致程序尝试读取当前目录下的$HOME子文件夹，而非用户家目录

修复步骤 #

1. 补全parse函数的模式覆盖 #

添加兜底模式处理所有未匹配的参数情况，同时修正单参数场景的逻辑：

parse []         = noArgs >> exitSuccess
parse ["-h"]     = usage  >> exitSuccess
parse ["-o"]     = noPage >> exitSuccess
parse ["-o", fn] = return fn
parse [fn]       = return fn  -- 支持单参数直接传入文件名
parse _          = invalidArguments >> exitWith (ExitFailure 1)  -- 兜底处理所有其他非法参数

2. 修复路径解析问题 #

使用System.Directory.getHomeDirectory获取用户家目录，替代硬编码的$HOME：
首先导入对应模块：

import System.Directory (getHomeDirectory)

然后修改main函数中的路径部分：

main :: IO ()
main = do 
    args <- getArgs
    fileName <- parse args
    homeDir <- getHomeDirectory
    let filePath = homeDir ++ "/" ++ fileName
    fileContents <- readFile filePath

    putStrLn "This is the contents of your given file: "
    putStr fileContents  -- 用putStr替代print，避免输出字符串的引号

3. 编译时开启警告 #

建议用ghc -Wall编译代码，这样GHC会提前提示未覆盖的模式、潜在的逻辑问题，避免运行时异常。

验证 #

• 运行./your-cli -o test.txt：应读取家目录下的test.txt并输出内容
• 运行./your-cli test.txt：直接读取家目录下的test.txt
• 运行./your-cli -h：输出使用提示
• 运行./your-cli -o：输出“无文件名”提示
• 运行./your-cli a b c：输出非法参数提示

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