Ocaml 合并哈希表

Question

我想在Ocaml中合并两个相同类型的哈希表，以便将它们的信息存储在一个表中。想象一下，像这样：

  type tabType = (string, variable) Hashtbl.t

  let tabExample:tabType = Hashtbl.create 1000 in
  let tab1 = do_stuff tabExample a true in
  let tab2 = do_stuff tabExample a false in
  let tabFinal = tab1@tab2

有什么想法吗？

Answer 1

如果

tab1

可以被覆盖，并且tab2中的条目应该替换tab1中的条目， 这只是一个

fold

:

  let merge ~into:tab1 tab2 =
    Hashtbl.fold (fun key elt () -> Hashtbl.replace tab1 key elt) tab2 ();
    tab1

Answer 2

简化八时的答案，我们可以迭代。对哈希表进行替换操作会产生单位，因此折叠永远不会产生有用的值。

let merge tab1 tab2 =
  Hashtbl.(
    iter (fun (f, v) -> replace tab1 k v) tab2;
    tab1
  )

进一步简化八时的解决方案，我们可以利用序列和哈希表。

let merge tab1 tab2 =
  tab2
  |> Hashtbl.to_seq
  |> Hashtbl.replace_seq tab1;
  tab1

如果我们查阅

Hashtbl

 的 

来源，看起来非常熟悉。

    let replace_seq tbl i =
      Seq.iter (fun (k,v) -> replace tbl k v) i