实现unordered_map，unordered_set，map，set using vectors

Question

这更像是一种智力练习，但是是否有经过实战检验的 C++ 库实现 hash 映射/集合（ std::unordered_map 、 std::unordered_set ）、红背树（ std::map 、 std::set ）使用std::vector ？

以std::unordered_set为例。 我的想法是使用 3 个向量， X （存储链头）， Y （存储集合元素）， Z （临时容器）。

粗略地说，给定一个集合元素12345 ，

1. 让i = X[hash(12345) % X.size()] 。 那么Y[i]就是12345生存的链的头部。

2. Y[i]是一对(val, j) 。 val是一些元素值。 Y[j]是链上的下一个项目。

3. 一旦找到12345 ，删除它可能会在Y中留下一个“洞”。

4. 一个新元素将被推回Y ， X将相应调整。

5. 如果Y中的“空洞”数量超过，例如Y.size()的 50%，则全局调整X和Y以清除所有“空洞”，在此期间可能需要Z作为临时存储。

这个想法适用于std::set和std::map中的树。 当然，还有许多其他细节需要小心处理。

有人尝试过这样的事情吗？ 动机是尽可能保持数据结构紧凑，并尽可能避免 memory 分配。 我想这会为中小型应用程序带来一些不错的加速——也许我错了？

谢谢！

Answer 1

是的，有。 Google dense_hash_map就是这样的例子之一。

有各种各样的 hash 地图和表格，这些地图和表格是根据缓存位置、大小、读取速度、写入速度等特定目的要求构建的。 由于速度高度依赖于缓存位置，因此这些实现使用向量作为后端存储是很常见的。

看看哈希图之间的枪战并浏览每一个。