OCaml中如何将数据库查询结果以字符串形式输出

核心原因 #

sqlite3-ocaml 中Sqlite3.exec等SQL执行函数本身返回值为unit类型，直接打印该返回值只会得到()，所有查询结果都需要通过回调函数收集后再转成字符串输出。

实现步骤 #

1. 定义回调函数收集查询结果
   你需要提前声明一个容器存储每行的字符串结果，在回调中把字段拼接为字符串后存入容器：

(* 存储查询结果的可变列表 *)
let query_results = ref [] in
(* 行处理回调：参数分别为回调自定义数据、字段名数组、字段值数组 *)
let row_callback _ headers values =
  (* 拼接单行为字符串，可根据需求调整格式 *)
  let formatted_row = 
    (* 如需拼接字段名和值，使用下方代码替代
    Array.map2 (fun header value -> Printf.sprintf "%s: %s" header (if value = "" then "NULL" else value)) headers values
    |> Array.to_list
    *)
    Array.to_list values
    |> List.map (fun v -> if v = "" then "NULL" else v)
    |> String.concat " | "
  in
  query_results := formatted_row :: !query_results;
  (* 返回OK表示继续读取下一行 *)
  Sqlite3.Rc.OK
in

2. 执行查询并输出字符串结果
   执行SQL时传入回调，查询完成后遍历收集到的字符串结果输出即可：

let db = Sqlite3.db_open "你的数据库路径.db" in
(* 执行查询语句 *)
let exec_status = Sqlite3.exec ~cb:row_callback db "SELECT * FROM 你的表名" in
if exec_status <> Sqlite3.Rc.OK then
  Printf.eprintf "查询执行失败：%s\n" (Sqlite3.errmsg db)
else begin
  (* 反转列表恢复查询顺序，逐行输出 *)
  List.iter print_endline (List.rev !query_results)
end;
(* 关闭数据库连接 *)
ignore (Sqlite3.db_close db)

注意事项 #

• 回调函数必须返回Sqlite3.Rc.OK才会继续遍历下一行，返回其他状态码会提前终止查询
• 数据库NULL值在values数组中会返回空字符串，建议提前做判断替换为自定义标识避免歧义
• 仅DQL（查询类语句）会触发回调执行，DML/DDL类语句不会触发回调，无需做结果收集

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