Haskell中使用packDirRecur报错：如何让mkEntrySelector生成绝对路径？

这个类型不匹配问题的核心是mkEntrySelector的设计目标——它只接受相对路径（Path.Rel Path.File），但packDirRecur遍历绝对路径目录时，拿到的每个文件都是绝对路径（Path.Abs Path.File），所以两者类型对不上。下面给你两种可行的解决思路：

方法1：将绝对路径转换为相对于源目录的相对路径（推荐） #

这是最符合zip归档规范的做法，zip文件通常使用相对路径来避免解压时的安全问题。我们可以用Path模块的stripProperPrefix函数，把源目录的绝对前缀从每个文件路径中移除，得到相对路径后再传给mkEntrySelector。

首先确保导入必要的模块：

import Path
import Path.IO
import Codec.Archive.Zip

修改后的代码如下：

main :: IO ()
main = do
  -- 安全解析源目录的绝对路径（推荐用parseAbsDir或模板Haskell语法）
  srcDir <- parseAbsDir "/home/Documents/test"
  -- 解析输出zip的路径
  zipPath <- parseAbsFile "outPath.zip"
  
  createArchive zipPath $
    packDirRecur Store (\absFile -> do
                          -- 移除源目录前缀，得到相对路径
                          relFile <- stripProperPrefix srcDir absFile
                          -- 现在relFile是Path.Rel Path.File，符合mkEntrySelector的要求
                          mkEntrySelector relFile) srcDir

解释：stripProperPrefix会检查absFile是否以srcDir为前缀，然后返回去掉前缀后的相对路径，这样mkEntrySelector就能正常处理了，最终zip里的文件路径都是相对于/home/Documents/test的相对路径，解压时会自动创建对应的目录结构。

方法2：自定义EntrySelector保留绝对路径（不推荐） #

如果你确实需要在zip归档中保留文件的绝对路径（注意：这在很多系统上是不安全的，可能导致解压时覆盖系统关键文件），可以手动构造EntrySelector，而不是用mkEntrySelector。

示例代码：

import Codec.Archive.Zip
import Path
import qualified Data.Text as T
import Data.Char (isPathSeparator)

main :: IO ()
main = do
  srcDir <- parseAbsDir "/home/Documents/test"
  zipPath <- parseAbsFile "outPath.zip"
  
  createArchive zipPath $
    packDirRecur Store (\absFile -> do
                          -- 将绝对路径转换为zip兼容的字符串（统一用正斜杠）
                          let filePath = T.unpack $ toFilePath absFile
                              zipSafePath = map (\c -> if isPathSeparator c then '/' else c) filePath
                          -- 直接构造EntrySelector
                          return $ EntrySelector zipSafePath) srcDir

解释：这里我们把绝对路径的字符串转换为zip兼容的格式（用正斜杠作为路径分隔符），然后手动创建EntrySelector。但再次提醒：这种做法会在zip中保留绝对路径，解压时可能会直接在系统的对应绝对路径下创建文件，存在安全风险，除非你明确知道自己在做什么。

额外提示 #

使用Path类型时，尽量避免手动用Path构造函数创建路径，推荐用parseAbsDir/parseAbsFile或者模板Haskell的[absdir|...]/[absfile|...]语法，这些方式会在编译或运行时验证路径的合法性，避免路径格式错误。

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