要使用自定义类型作为std::unordered_map的键,需提供哈希函数和相等比较操作。1. 定义operator==用于比较;2. 特化std::hash或传入自定义哈希仿函数;3. 推荐使用黄金比例常数进行哈希值组合以减少冲突,确保相同对象哈希值相同且分布均匀。
在C++中,
std::unordered_map
默认支持基本类型(如 int、string)作为键,但如果想使用自定义类型(比如结构体或类)作为键,就需要提供一个自定义的哈希函数。这是因为 unordered_map 依赖哈希来存储和查找元素,而
标准库
不知道如何对用户定义类型进行哈希。
1. 自定义哈希函数的方法
要让自定义类型作为
std::unordered_map
的键,需要做两件事:
实现一个哈希计算函数,继承或特化
std::hash
确保该类型支持
==
比较操作(用于处理哈希冲突)
2. 特化 std::hash 模板
以一个简单的结构体为例:
现在为
Point
类型特化
std::hash
:
立即学习
“
C++免费学习笔记(深入)
”;
这样就可以将
Point
用作 unordered_map 的键:
C函数速查手册(CHM版)
C函数速查手册(CHM版)
下载
3. 使用自定义哈希仿函数(不修改 std 命名空间)如果你不想或不能特化std::hash(比如涉及第三方类型),可以传入自定义哈希函数作为模板参数:这种写法更安全,避免了在std命名空间中添加特化可能导致的问题。4. 哈希组合建议上面用到的异或加移位方法简单但不够健壮(可能造成哈希冲突)。推荐使用更可靠的组合方式:其中0x9e3779b9是黄金比例常数,常用于提升哈希分布均匀性。基本上就这些。只要提供哈希计算和相等比较,就能让任意类型成为 unordered_map 的键。关键是保证相同对象产生相同哈希值,不同对象尽量减少冲突。
struct Point {
int x, y;
bool operator==(const Point& other) const {
return x == other.x && y == other.y;
}
};
namespace std {
template<>
struct hash {
size_t operator()(const Point& p) const {
// 使用哈希组合技巧:将两个整数哈希值混合
return hash{}(p.x) ^ (hash{}(p.y) << 1);
}
};
}
unordered_map locationMap;
locationMap[{1, 2}] = "origin";
struct PointHash {
size_t operator()(const Point& p) const {
return hash{}(p.x) ^ (hash{}(p.y) << 1);
}
};
// 使用方式
unordered_map locationMap;
size_t operator()(const Point& p) const {
size_t h1 = hash{}(p.x);
size_t h2 = hash{}(p.y);
// 使用一种标准的哈希合并方法
return h1 ^ (h2 + 0x9e3779b9 + (h1 << 6) + (h1 >> 2));
}
