在Haskell中通过C FFI传入CString路径打开文件的报错排查

你的核心问题是没搞清楚Haskell中IO monad的使用规则：peekCString cstr返回的是IO String类型（代表一个会产生String的IO操作），而openFileDoStuff需要的是纯String类型，直接传递必然导致类型不匹配。Haskell不允许直接从IO容器中提取值，必须通过IO绑定操作来获取。

修正后的完整代码 #

{-# LANGUAGE ForeignFunctionInterface #-}

import Foreign.C.Types
import Foreign.C (CString, peekCString)

openFileDoStuff :: String -> IO Bool
openFileDoStuff filename = do
    -- 把变量名改成fileLines，避免遮蔽标准库的lines函数
    fileLines <- lines <$> readFile filename
    print fileLines
    -- 在这里添加处理fileLines的业务逻辑
    return True

openFilepathHs :: CString -> IO Bool
openFilepathHs cstr = do
    -- 用<-从IO String中提取出纯String类型的文件名
    filename <- peekCString cstr
    openFileDoStuff filename

foreign export ccall openFilepathHs :: CString -> IO Bool

关键说明 #

1. IO值的提取：在openFilepathHs中，通过do块和<-操作符，执行peekCString cstr并将得到的纯String绑定到filename变量，这样就能合法传递给openFileDoStuff。
2. 变量名优化：原代码中用lines作为变量名，会遮蔽标准库的lines :: String -> [String]函数，改成fileLines能避免混淆，写法更清晰。
3. IO操作的本质：所有涉及外部交互（读取C字符串、读取文件）的操作都属于IO范畴，必须在IO monad的上下文（do块或>>=绑定）中执行，不能直接拆包IO类型的值。

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