Windows下GHCi运行HDBC-sqlite3程序触发Access violation求助

问题背景 #

在Windows系统中，通过cabal repl启动GHCi运行使用HDBC-sqlite3的代码时触发Access violation错误，但cabal run编译为独立程序后可正常运行，WSL环境下也无问题。

解决方案 #

以下是几种可行的解决方法，按优先级尝试：

1. 强制GHCi编译模块而非解释
   GHCi的解释模式在处理调用C库的Haskell代码时容易出现内存交互问题，通过指定-fobject-code参数让模块编译为目标文件后再加载：

   cabal repl --ghc-options="-fobject-code"
   

   启动GHCi后再运行main即可，该方法能绕过解释模式下的C库交互bug。

2. 显式关闭数据库连接
   在代码中手动调用disconnect关闭连接，避免隐式资源释放时的内存错误：

   module Main where
   
   import Database.HDBC
   import Database.HDBC.Sqlite3
   
   main :: IO ()
   main = do
     conn <- connectSqlite3 "test.db"
     run conn "create table foo(id integer, value text)" []
     commit conn
     disconnect conn  -- 显式关闭连接
   

3. 更新HDBC-sqlite3版本
   当前使用的HDBC-sqlite3 2.3.3.1可能存在Windows GHCi兼容问题，尝试升级到兼容GHC 9.6.7的新版本，修改cabal文件的build-depends：

   build-depends:
       HDBC ^>=2.4.0.4,
       base ^>=4.18.3.0,
       HDBC-sqlite3 ^>=2.3.4  -- 或最新兼容版本
   

   执行cabal update后重新构建。

4. 更新MSYS2的SQLite依赖
   确保系统中的SQLite库是最新稳定版，避免版本不匹配导致的C层错误：

   pacman -Syu mingw-w64-x86_64-sqlite3
   

问题原因 #

Windows平台下GHCi的解释模式与编译后的二进制程序在内存管理、C库初始化顺序上存在差异，HDBC-sqlite3作为绑定C库的Haskell包，在解释模式下容易出现内存访问错误；而WSL的Linux环境中GHCi的C库交互逻辑与Windows不同，因此无此问题。

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