是boost :: bimap超杀击功能

Is boost::bimap overkill for injective functions?

本文关键字：功能 bimap boost 更新时间：2023-10-16

令T_1和T_2为两种类型，F：dom(t_1( -> dom(t_2(是一个不是培养的注入函数；为了讨论，假设我将F表示为不同的对，而不是计算它的代码。现在，我需要能够相对较快地应用F和F^{ - 1}，因此我在每个方向上都在考虑一个地图。然后我想到我可能想要这两个映射的数据结构 - 因为我有多个这样的f。

我自然想到："嗯，我敢肯定必须有类似的东西"，而且确实，Boost具有BIMAP结构。问题是，一个旨在用于一般二元关系。此外，它必须考虑重复插入的可能性，而无需每次重新升级结构，而在我的情况下，我只插入一次，然后进行许多查找。因此，我觉得BIMAP对我来说可能有点过高，并且对我的用例不优化。是真的吗？

注意：

我对时间的复杂性(和实际时间(感兴趣。
非注射f(f^{ - 1}是一个非功能关系的问题(。

正常的C 容器行为(由您的对象大小的提示加强(是 store 每个键和值(仅一次。单独的插入和查找阶段建议连续存储(如果没有别的，则为缓存位置(。"以牺牲空间为代价的时间"说您想要哈希表。

因此，将一个pair<T1,T2>的数组和一对低负载因子，开放式放置的哈希表映射(分别(将键和值映射到数组中的索引。这些只不过是一系列索引(或分配(完整(数组后计算的指示器(，并且具有不错的缓存性能。

非注射案例

排序(或至少组(通过(非唯一(T2值对，并存储在哈希表中(对于每个这样的唯一值(，运行的 benter 的索引。然后可以一起找到所有相应的T1对象(在第一个不同的T2或数组结束时停止(。

如果有许多T2对象是==并且它们是可互换的，则可以将单独的 pair<T1,index>和 pair<T2,index>阵列存储，每个数组将索引存储在另一个中。> hash表中的每个条目然后将索引存储到T1数组中，因为在哈希查找后始终需要检查均等性，而T2对象则立即从index中获得，并明确可用与T1一起存储。