当前位置：文江博客话题详情

ocaml 中的哈希表

发布于 2024-12-28 17:08:27 字数 73 浏览 1 评论 0原文

是否可以在 Ocaml 中的同一个哈希表 (Hashtbl) 中存储不同类型？哈希表真的仅限于一种类型吗？

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

悲喜皆因你 2025-01-04 17:08:27

是的，每个表的哈希表条目仅限于一种类型。这实际上是一个关于 OCaml 类型系统的问题，而不是关于哈希表的问题。如果要求哈希表中的事物具有相同的类型似乎很奇怪，那么在列表中又如何呢？

如果不知道您要解决的问题，就很难知道该提出什么建议。然而，常见的做法是创建一个代数类型，该代数类型对于您正在处理的每种类型都有一个变体：

type alg = A of int | B of float

(string, alg) 类型的值 Hashtbl.t 将存储整数和浮点数，使用字符串作为查找键。

# let ht = Hashtbl.create 44;;
val ht : ('_a, '_b) Hashtbl.t = <abstr>
# Hashtbl.add ht "yes" (A 3);;
- : unit = ()
# Hashtbl.add ht "no" (B 1.7);;
- : unit = ()
# ht;;
- : (string, alg) Hashtbl.t = <abstr>
# Hashtbl.find ht "yes";;
- : alg = A 3

当您习惯了 OCaml 灵活且强大的类型之后，就很难再回到没有它的系统。

Yes, hash tables entries are restricted to one type for each table. This is really a question about the OCaml type sytem and not about hash tables. If it seems odd to require things to be the same type in a hash table, how about in a list?

Without knowing the problem you're solving, it's hard to know what to suggest. However, a common thing to do is to create an algebraic type that has one variant for each of the types you're dealing with:

type alg = A of int | B of float

A value of type (string, alg) Hashtbl.t would store ints and floats, using a string as the lookup key.

# let ht = Hashtbl.create 44;;
val ht : ('_a, '_b) Hashtbl.t = <abstr>
# Hashtbl.add ht "yes" (A 3);;
- : unit = ()
# Hashtbl.add ht "no" (B 1.7);;
- : unit = ()
# ht;;
- : (string, alg) Hashtbl.t = <abstr>
# Hashtbl.find ht "yes";;
- : alg = A 3

After you get used to the flexible and strong typing of OCaml, it's hard to go back to systems without it.

回复收藏 0 原文

~没有更多了~