为什么 map<pair<int,int>, int> 有效，但 unordered_map<pair<int,int>> 无效？答案

【问题标题】：Why map<pair<int,int>, int> works, but unordered_map<pair<int,int>> doesn't?为什么 map<pair<int,int>, int> 有效，但 unordered_map<pair<int,int>> 无效？
【发布时间】：2021-11-18 14:37:25
【问题描述】：

map<pair<int,int>, int> 可以编译，但 unordered_map<pair<int,int>> 存在哈希函数问题。背后到底发生了什么？

【问题讨论】：

C++ 有一个内置的 operator< 用于配对（字典顺序，假设配对的类型支持通过operator< 进行比较），但它没有内置的配对哈希和元组。所以你可以在maps 中使用它们，但不能在unordered_maps 中使用它们。不确定为什么没有用于对和元组的内置散列 - 很难找到平衡速度和散列质量的“正确”默认值？
这与 Rcpp 无关，所以请删除标签（我现在不能这样做，因为有待批准的编辑）。
重复：Why can't I compile an unordered_map with a pair as key?、Why did the C++ standards committee not include std::hash for pair and tuple?、Why does std::map accept a std::pair as key, but std::unordered_map does not?、Why can't I compile an unordered_map with a pair as key?、pair<int,int> pair as key of unordered_map issue
这能回答你的问题吗？ Why can't I compile an unordered_map with a pair as key?
解决办法是自己提供哈希函数：How to std::hash an unordered std::pair,Hash for a std::pair, for use in an unordered_map

标签： c++ hash unordered-map

【解决方案1】：

std::map<Key,T> 要求密钥类型是可比较的。 std::map<Key,T> 的默认比较器是 std::less<Key>，因此您可以将其与 std::pair<T1,T2> 一起使用，因为 std::pair 定义了 operator<（或 operator<=>，具体取决于您的 C++ 版本），使其具有可比性。由于地图是有序的，它必须能够比较键以了解如何在内部对它们进行排序，并且它使用比较器来做到这一点。

另一方面，std::unordered_map<Key,T> 需要与 Key 类型不同的两个方面，它必须是可散列的，并且还必须具有可比性以实现相等。 std::pair<T1,T2> 确实实现了 operator==/operator<=> 但仅此还不足以使该类型可用作 Key 类型。标准库没有为std::pair 提供std::hash 的特化，因此它不会编译（但是，boost does，它只是结合了.first 和.second 的哈希）。

如果愿意，您可以使用std::unordered_map<std::pair<int, int>, ...>，但您需要提供自己的函数来散列此类型，方法是定义一个函子作为模板参数传递给std::unordered_map<>，或者定义您自己的@ 自定义特化987654347@直接。

【讨论】：