c++如何自定义STL容器的哈希函数_c++ unordered_map自定义类型key【教程】_技术教程

C++中自定义类型作unordered_map的key需提供哈希和相等比较：一为特化std::hash模板（在std命名空间内全特化，需先定义operator==）；二为传入自定义哈希与相等仿函数。

在 C++ 中，std::unordered_map 要求 key 类型必须能被哈希（即提供 std::hash 特化），且支持相等比较。对自定义类型（如 struct 或 class）作 key 时，需手动提供哈希函数和相等谓词——这不是“重载”哈希，而是**特化标准哈希模板或传入自定义哈希仿函数**。

方法一：特化 `std::hash` 模板（推荐用于全局类型）

适用于你完全控制该类型的场景（比如自己定义的 Point），且希望所有 unordered_map 默认使用统一哈希逻辑。

注意：特化必须在 std 命名空间内，且不能偏特化类模板（只能全特化），类型需满足可复制、可比较（== 已定义）。

先定义类型，并重载 operator==
再在 std 命名空间中全特化 std::hash
哈希值应尽量均匀；常用 std::hash{}(value) 组合多个字段

示例：

struct Point {
    int x, y;
    bool operator==(const Point& p) const { return x == p.x && y == p.y; }
};
namespace std {
template<>
struct hash {
size_t operator()(const Point& p) const {
// 将两个 int 合成一个 64 位哈希（避免简单异或导致碰撞高）
auto h1 = hash{}(p.x);
auto h2 = hash{}(p.y);
return h1 ^ (h2 << 1) ^ (h2 >> 1); // 简单但比直接异或好
// 更健壮可用 std::hash_combine（C++17 无内置，需手写或用 boost）
}
};
}
// 使用时无需额外参数
unordered_map map;
map[{1, 2}] = "origin";

方法二：传入自定义哈希仿函数（灵活，适合局部/多策略）

当你不想（或不能）修改 std 命名空间，或同一类型在不同容器中需要不同哈希逻辑（如区分大小写 vs 忽略大小写字符串），就用这个方式。

定义一个函数对象（struct 或 class），重载 operator()，返回 size_t
同时提供对应的相等比较仿函数（KeyEqual 参数，通常也是仿函数）
声明 unordered_map 时按顺序指定：key 类型、value 类型、哈希类型、相等类型

示例：

struct PointHash {
    size_t operator()(const Point& p) const {
        return hash{}((static_cast(p.x) << 32) | (static_cast(p.y) & 0xFFFFFFFF));
    }
};
struct PointEqual {
bool operator()(const Point& a, const Point& b) const {
return a.x == b.x && a.y == b.y;
}
};
// 显式传入两个仿函数
unordered_map map;

关键细节与避坑提示

operator== 必须定义，且语义要和哈希一致：若 a == b 为真，则 hash(a) == hash(b) 必须为真（反之不成立）
哈希函数不能抛异常（应标记 noexcept），否则容器行为未定义
不要用 std::random_device 或运行时随机数——哈希值必须确定、稳定
字段组合推荐用位移+异或，或乘加（如 h = h * 31 + hash(field)），避免只用 ^（对称操作易冲突）
C++17 起可借助中的 std::hash 对基础类型调用，但没有 hash_combine；可手写一个通用组合函数

附：简易 hash_combine 实现（C++11 起可用）

方便组合多个字段，提升哈希质量：

template 
inline void hash_combine(size_t& seed, const T& v) {
    std::hash hasher;
    seed ^= hasher(v) + 0x9e3779b9 + (seed << 6) + (seed >> 2);
}
// 在你的 hash operator() 中使用：
size_t operator()(const Point& p) const noexcept {
size_t h = 0;
hash_combine(h, p.x);
hash_combine(h, p.y);
return h;
}

基本上就这些。核心就两点：让编译器知道怎么算 hash，以及怎么判相等。写对了，unordered_map 就能像用 int 或 string 一样自然地用你的类型作 key。