为什么我不能将 operator[] 用于 std::unordered_map<std::pair<int,int>, int> 但用于 `std::map` 的相同键值对？ [复制]

Question

#include <bits/stdc++.h>

std::unordered_map<std::pair<int,int>, int> mp;

int main()
{
    mp[make_pair(1, 2)]++;
}

当使用[] operator时，我明白了

error: no match for ‘operator[]’ (operand types are ‘std::unordered_map<std::pair<int, int>, int>’ and ‘std::pair<int, int>’)

但是，对std::map 执行相同操作时，不会发生错误。为什么？

我怎样才能使它与std::unorderd_m一起工作？

Answer 1

对std::map 执行相同操作时，不会发生错误。为什么？我怎么能 让它与std::unorderd_map 一起工作？

因为它们完全不同。

std::unorderd_map 元素根据其键的散列放置。

template<
    class Key,
    class T,
    class Hash = std::hash<Key>,  
    class KeyEqual = std::equal_to<Key>,
    class Allocator = std::allocator< std::pair<const Key, T> >
> class unordered_map;

而std::map 只需要一个比较函数来对键进行排序。

template<
    class Key,
    class T,
    class Compare = std::less<Key>,
    class Allocator = std::allocator<std::pair<const Key, T> >
> class map;

你的std::map<std::pair<int,int>, int> 被编译的原因是，operator< 为std::pair 和std::map 定义 使用它来排序它的键，而 散列函数 代表std::pair 尚未定义，因此std::unorderd_map 需要一个将元素保存在其桶中。这是你需要定义的。

例如，您可以如下定义自定义哈希函数：

#include <unordered_map>
#include <cstddef>
#include <functional>

struct CustomHash
{
  template <typename T, typename U>
  std::size_t operator()(const std::pair<T, U> &x) const
  {
    return std::hash<T>()(x.first) ^ std::hash<U>()(x.second);
  }
};

int main()
{
    std::unordered_map<std::pair<int,int>, int, CustomHash> mp;
    mp[std::make_pair(1, 2)]++;
    return 0;
}

---

PS：#include <bits/stdc++.h>是一种糟糕的编码习惯。为什么？见this。