std::unordered_map中自定义类型的哈希与比较函数需用相同字段吗？

核心规则 #

std::unordered_map对哈希函数和相等函数只有一个硬性约束：如果两个键被相等函数判定为相等，那么它们的哈希值必须完全相同。哈希值相同的键可以不相等（这就是哈希碰撞，容器会通过相等函数在同一个桶里区分不同元素），这是正常现象。

你的示例分析 #

针对你定义的结构体：

struct Foo { int i; float f; };

如果哈希函数仅基于i生成值，相等函数同时比较i和f，这种设计不会引发容器层面的错误或未定义行为，原因如下：

• 当两个Foo对象的i和f完全相同时，相等函数返回true，哈希值因i相同也必然一致，完全符合核心约束，容器可以正常存储、查找这些元素。
• 当两个Foo对象i相同但f不同时，它们的哈希值会相同（被分到同一个桶），但相等函数会判定两者不等，容器会将它们视为两个独立的键存储。此时用其中一个对象查找时，容器只会匹配i和f都完全相同的元素，逻辑上是自洽的。

需要注意的业务风险 #

这种设计可能带来业务逻辑层面的混淆：如果你原本期望只要i相同就视为同一个键，那这种设计会允许i相同但f不同的重复键存在，这可能不符合你的业务需求。但这属于业务逻辑设计问题，而非容器本身的错误。

绝对禁止的反例 #

反过来如果哈希函数同时使用i和f，但相等函数仅比较i，这就违反了核心约束：两个i相同但f不同的对象会被相等函数判定为相等，但哈希值却不同，这会导致容器出现异常行为（比如无法正确查找已存在的键、重复存储逻辑混乱等未定义行为），这种情况是绝对不能出现的。

内容的提问来源于stack exchange，提问作者ForeverLearning