是否可以告知std::unordered_map其哈希函数为完美哈希？

std::unordered_map本身不支持直接声明哈希函数为完美哈希——它的内部实现天生带有冲突处理逻辑（比如链地址法或开放寻址），不管你的哈希函数是不是完美的，库都会保留这套逻辑，标准里也没有提供让它跳过冲突检查的接口。

如果你确实有完美哈希函数（即任意不同键的哈希值绝对唯一），可以这么做：

• 自定义符合要求的哈希函数，确保所有可能的键都能生成唯一哈希值。
• 但要注意，std::unordered_map在插入、查找时仍然会做键的相等性比较——哪怕哈希值相同，库也会确认键是否真的相等。虽然完美哈希已经保证哈希值相同则键一定相同，但库本身不会主动利用这个特性来优化流程，因为它不知道你的哈希函数是完美的。

如果想彻底利用完美哈希的优势（比如省去冲突处理的开销），与其用std::unordered_map，不如自己实现一个极简的完美哈希表，或者用专门的完美哈希实现——毕竟std::unordered_map是通用哈希表，设计上必须兼容存在哈希冲突的场景，没法被配置成跳过冲突相关的逻辑。

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