std::tuple 的自定义哈希不适用于unordered_set

Custom hash for std::tuple doesn't work with unordered_set

本文关键字:unordered set 适用于 自定义 tuple std 哈希不      更新时间:2023-10-16

我希望你能帮助我理解我的代码出了什么问题。

基本上我需要一unordered_set元组,但是每次调用插入函数时,我都会看到即使哈希相同,也会插入元组,这意味着我在unordered_set中有具有相同哈希的元组。为了更清楚,让我在这里分享一段代码。

所以,这就是我的例子:

#include <iostream>
#include <tuple>
#include <unordered_set>
using namespace std;
using namespace testing;
struct MyHash {
size_t operator()(const tuple<int, int, int>& t) const
{
auto [num1, num2, num3] = t;
vector<int> v(3);
v[0] = num1;
v[1] = num2;
v[2] = num3;
sort(v.begin(), v.end());
string key = to_string(v[0]) + "|" + to_string(v[1]) + "|" + to_string(v[2]);
auto hashValue = hash<string>()(key);
cout << "Hash value for " << key << "= " << hashValue << endl;
return hashValue;
}
};
int main(int argc, char** argv)
{
unordered_set<tuple<int, int, int>, MyHash> s;
s.insert(make_tuple(1, 2, 3));
s.insert(make_tuple(1, 3, 2));
s.insert(make_tuple(3, 2, 1));
cout << "Amount of items = " << s.size() << endl;
}

这是我得到的输出:

Hash value for 1|2|3= 12066275531359578498
Hash value for 1|2|3= 12066275531359578498
Hash value for 1|2|3= 12066275531359578498
Amount of items = 3

为什么如果每个条目的哈希值相同,则插入的项目量为 3?我期待只有一个。

问候

两个不相等的元素具有相同的哈希值是完全正常的(这种情况称为"哈希冲突"(。毕竟,有无限数量的字符串,但只有有限数量的值可以在size_t中表示。请注意,std::unordered_set采用两个单独的模板参数 - 一个用于计算哈希,另一个用于检查两个元素是否相等。

如果要将make_tuple(1, 2, 3)make_tuple(1, 3, 2)视为等效,除了合适的哈希实现外,还需要传递合适的相等比较实现作为std::unodered_set的第三个模板参数。

简而言之:相等的元素必须散列到相同的值,但反之则不然 - 散列到相同值的元素不一定相等。