因为std::unordered_map默认依赖std::hash对键哈希，而标准库未提供自定义类型的特化；需自定义哈希函数对象，重载operator()返回size_t且通常无状态。
为什么不能直接用 std::unordered_map 存自定义类型？
因为 std::unordered_map 默认依赖 std::hash<key></key> 对键做哈希，而标准库只提供了对 int、std::string 等内置/常见类型的特化。一旦你用 struct Person { std::string name; int id; }; 当键，编译器立刻报错：error: call to implicitly-deleted default constructor of 'std::hash<person>'</person> —— 它根本不知道怎么把 Person 映射成一个 size_t。
怎么写一个合法的自定义哈希函数对象？
必须满足两个条件：可调用（重载 operator()），且返回 size_t；通常还要是无状态的（不带成员变量），否则无法作为模板参数传入。最简写法是定义一个 struct：
struct PersonHash {
size_t operator()(const Person& p) const {
// 把多个字段混合进一个 hash 值，避免简单异或（易冲突）
return std::hash<std::string>{}(p.name) ^
(std::hash<int>{}(p.id) << 1);
}
};
注意：std::hash 是函数对象，不是函数，所以要加 {} 调用；左移是为了让 id 的比特位参与更高位运算，减少碰撞。
- 别用
std::hash<int>()(p.id)这种冗余写法，std::hash<int>{}(p.id)更简洁 - 不要在
operator()里做耗时操作（如字符串处理、内存分配），哈希函数必须快 - 如果字段含指针或浮点数，需额外考虑 NaN、地址随机化等边界情况
怎么把自定义哈希和 unordered_map 绑定？
把哈希类型作为第三个模板参数传进去，同时记得补上第四个（相等比较）——即使你用默认的 std::equal_to<Key>，也不能省略：
立即学习“C++免费学习笔记（深入）”；
<pre class="brush:php;toolbar:false;">std::unordered_map<Person, std::string, PersonHash, std::equal_to<Person>> people;
如果你还自定义了相等判断（比如忽略大小写的 name 比较），那就把第四个参数换成你的 <code>PersonEqual 类型。漏掉第四个参数会导致编译失败，因为模板参数列表不匹配。
- 顺序不能错：Key → T → Hash → Pred（即
equal_to） - 如果只改哈希不改相等逻辑，第四个参数仍要显式写
std::equal_to<Person> - C++20 起支持
transparent哈希，但需额外约束（如is_transparent成员），日常不用强求
用 std::hash 特化是不是更简单？
可以，但不推荐。全局特化 std::hash<Person> 要求 Person 在 std 命名空间外已完整定义，且所有用到它的翻译单元都得看到这个特化声明。一不小心就 ODR-violation（一个定义规则违规），链接时报奇怪错误。
相比之下，局部定义 PersonHash 结构体更可控、更易测试、不会污染标准命名空间。
- 特化写法示例（仅作对比，不建议）：
namespace std { template<> struct hash<Person> { size_t operator()(const Person& p) const { return hash<string>{}(p.name) ^ (hash<int>{}(p.id) << 1); } };} - 实际项目中，哈希逻辑常随业务变化（比如某天要求按
id % 100分桶），封装在独立结构体里更容易替换
真正麻烦的从来不是写哈希函数本身，而是确保所有字段都被无歧义地纳入计算，且不同字段的贡献权重合理——比如 name 很长但 id 很小，简单异或可能让 id 的差异完全被掩盖。
