std::unordered_set自定义去重需同时提供Hash和KeyEqual，仅重载operator==无效；二者必须满足相等对象哈希值相同，否则导致查找失败或性能退化。
std::unordered_set自定义去重靠的是Hash + KeyEqual，不是重载operator==
很多人以为只要重载operator==就能让std::unordered_set识别重复元素，其实不行。它内部用两个独立组件协同工作：Hash负责把对象映射成桶索引，KeyEqual（默认std::equal_to）才真正决定两个对象是否“逻辑相等”。两者必须一致——如果a == b为真，那hash(a) == hash(b)也必须为真，否则会漏判重复。
自定义类型必须同时提供Hash和KeyEqual，缺一不可
假设你有个struct Point { int x, y; };，想按坐标值去重：
struct Point {
int x, y;
};
struct PointHash {
size_t operator()(const Point& p) const {
// 推荐用std::hash组合，避免简单异或（易碰撞）
return std::hash{}(p.x) ^ (std::hash{}(p.y) << 16);
}
};
struct PointEqual {
bool operator()(const Point& a, const Point& b) const {
return a.x == b.x && a.y == b.y;
}
};
std::unordered_set points;
- 不能只写
PointHash而沿用默认std::equal_to——它会比较地址或触发编译错误（没定义operator==） - 也不能只重载
operator==却不提供Hash——模板推导失败，报错类似"no match for call to ‘std::hash’" -
PointHash返回size_t，别用int或unsigned long（平台不安全）
更简洁的写法：特化std::hash并重载operator==
如果你能修改类型定义，推荐特化标准std::hash，这样只需额外重载operator==，模板参数可省略：
struct Point { int x, y; };
// 特化std::hash
namespace std {
template<>
struct hash {
size_t operator()(const Point& p) const {
return hash{}(p.x) ^ (hash{}(p.y) << 16);
}
};
}
bool operator==(const Point& a, const Point& b) {
return a.x == b.x && a.y == b.y;
}
// 使用时无需显式传Hash/Equal
std::unordered_set points;
- 特化必须在
std命名空间内，且针对具体类型（不能是template这种偏特化）struct hash > - 重载
operator==要声明在全局作用域，或与Point同命名空间（ADL可见） - 注意：特化
std::hash后，仍需确保operator==语义与哈希一致；否则find()可能找不到已插入的元素
哈希函数质量直接影响性能，别用return 0;或return 1;
写错哈希函数不会编译失败，但会让所有元素挤进同一个桶，退化成链表查找，O(1)变O(n)。常见低质量写法：
立即学习“C++免费学习笔记（深入）”；
-
return 0;→ 所有对象哈希值相同 → 全部冲突 -
return x + y;→(1,2)和(2,1)冲突，但它们不相等 → 违反哈希契约 - 用
reinterpret_cast→ 比较的是地址，不是值，(&p) Point{1,2}和Point{1,2}哈希不同 → 去重失效
稳妥做法是组合已有std::hash实例，比如对std::string字段用std::hash<:string>{}(s)，对整数用std::hash，再用位运算或boost::hash_combine风格混合。
哈希容器的“自定义去重”本质是契约：你承诺相等的对象必须有相同哈希值，而哈希值相同的对象，由KeyEqual最终拍板。这个契约一旦破坏，行为就不可预测——不是插不进去，而是可能查不到、删不掉、甚至迭代出重复。
