如何使用HDBC在Haskell中查询SQLite表的多个ID条目？

我一眼就看出问题所在了——你直接把多个ID拼成逗号分隔的字符串传给查询，HDBC会把这个字符串当成单个参数处理，而不是拆分成多个ID。比如你传"1.0,2.0"的时候，实际执行的SQL是：

SELECT id, text FROM text WHERE id IN ('1.0,2.0')

这时候数据库是在找id等于字符串'1.0,2.0'的行，自然匹配不到任何结果。

正确的做法是用参数化查询，为每个ID单独生成一个占位符（HDBC里用?表示占位符），然后把ID列表作为参数列表绑定到查询上。下面是具体的实现方案：

实现步骤与代码示例 #

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

import Database.HDBC
import Database.HDBC.Sqlite3
import Data.List (intercalate)

然后定义一个支持多ID查询的函数：

-- 根据ID列表批量获取对应行
getFullTexts :: Connection -> [Double] -> IO [(Double, String)]
getFullTexts conn ids = do
  -- 根据ID数量生成对应数量的占位符，比如3个ID就生成"?,?,?"
  let placeholders = intercalate "," (replicate (length ids) "?")
      -- 拼接完整的SQL语句
      sql = "SELECT id, text FROM text WHERE id IN (" ++ placeholders ++ ")"
  
  -- 准备查询语句
  stmt <- prepare conn sql
  -- 把ID列表转换成HDBC能识别的SqlValue，绑定到占位符上
  execute stmt (map toSql ids)
  -- 获取所有查询结果
  results <- fetchAllRows stmt
  
  -- 把SqlValue转换回Haskell原生类型并返回
  return $ map (\[sqlId, sqlText] -> (fromSql sqlId, fromSql sqlText)) results

代码说明 #

1. 动态生成占位符：用replicate生成和ID数量一致的?，再用intercalate拼接成逗号分隔的字符串，保证IN子句的格式正确。
2. 参数绑定：map toSql ids把每个ID转换成HDBC的SqlValue类型，这样数据库会正确识别每个ID作为独立参数。
3. 结果转换：fromSql把数据库返回的SqlValue转成Haskell的原生类型（这里假设id是Double，text是String，你可以根据实际表结构调整类型）。

调用示例 #

main :: IO ()
main = do
  -- 连接SQLite数据库
  conn <- connectSqlite3 "your_db_name.db"
  -- 查询ID为1.0、2.0、8.0的行
  rows <- getFullTexts conn [1.0, 2.0, 8.0]
  -- 打印结果
  mapM_ print rows
  -- 断开连接
  disconnect conn

为什么之前的方法不行？ #

当你传入"1.0,2.0"这种字符串时，HDBC会自动给它加上单引号，把整个字符串当作一个参数传递给SQLite，导致查询逻辑完全偏离预期。参数化查询不仅能解决这个问题，还能有效防止SQL注入，是操作数据库的最佳实践。

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