unordered_set 不支持 `unordered_set <vector<int> &gt;` 或 `unordered_set <pair<int,int> &gt;`? </pair<int,int></vector<int>

Question

unordered_set<pair<int,int>> vis;
unordered_set<vector<int>> vis;

他們都錯了，但如果我把它們改成

set<vector<int>> vis;
set<pair<int,int>> vis;

那么他們是正確的。 為什么？

int test()
{
        unordered_set<pair<int,int>> vis;
        return 0;
}

編譯錯誤：

error: call to implicitly-deleted default constructor of 'unordered_set<pair<int, int>>'
        unordered_set<pair<int,int>> vis;
                                     ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/unordered_set.h:135:7: note: explicitly defaulted function was implicitly deleted here
      unordered_set() = default;
      ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/unordered_set.h:100:18: note: default constructor of 'unordered_set<std::pair<int, int>, std::hash<std::pair<int, int>>, std::equal_to<std::pair<int, int>>, std::allocator<std::pair<int, int>>>' is implicitly deleted because field '_M_h' has a deleted default constructor
      _Hashtable _M_h;
                 ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/hashtable.h:414:7: note: explicitly defaulted function was implicitly deleted here
      _Hashtable() = default;
      ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/hashtable.h:174:7: note: default constructor of '_Hashtable<std::pair<int, int>, std::pair<int, int>, std::allocator<std::pair<int, int>>, std::__detail::_Identity, std::equal_to<std::pair<int, int>>, std::hash<std::pair<int, int>>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<true, true, true>>' is implicitly deleted because base class '__detail::_Hashtable_base<pair<int, int>, pair<int, int>, _Identity, equal_to<pair<int, int>>, hash<pair<int, int>>, _Mod_range_hashing, _Default_ranged_hash, _Hashtable_traits<true, true, true>>' has a deleted default constructor
    : public __detail::_Hashtable_base<_Key, _Value, _ExtractKey, _Equal,
      ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/hashtable_policy.h:1822:5: note: explicitly defaulted function was implicitly deleted here
    _Hashtable_base() = default;
    ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/hashtable_policy.h:1771:5: note: default constructor of '_Hashtable_base<std::pair<int, int>, std::pair<int, int>, std::__detail::_Identity, std::equal_to<std::pair<int, int>>, std::hash<std::pair<int, int>>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Hashtable_traits<true, true, true>>' is implicitly deleted because base class '_Hash_code_base<std::pair<int, int>, std::pair<int, int>, std::__detail::_Identity, std::hash<std::pair<int, int>>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, _Hashtable_traits<true, true, true>::__hash_cached::value>' has a deleted default constructor
  : public _Hash_code_base<_Key, _Value, _ExtractKey, _H1, _H2, _Hash,
    ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/hashtable_policy.h:1373:7: note: explicitly defaulted function was implicitly deleted here
      _Hash_code_base() = default;
      ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/hashtable_policy.h:1349:7: note: default constructor of '_Hash_code_base<std::pair<int, int>, std::pair<int, int>, std::__detail::_Identity, std::hash<std::pair<int, int>>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, true>' is implicitly deleted because base class '_Hashtable_ebo_helper<1, std::hash<std::pair<int, int>>>' has a deleted default constructor
      private _Hashtable_ebo_helper<1, _H1>,
      ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/hashtable_policy.h:1096:7: note: explicitly defaulted function was implicitly deleted here
      _Hashtable_ebo_helper() = default;
      ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/hashtable_policy.h:1094:7: note: default constructor of '_Hashtable_ebo_helper<1, std::hash<std::pair<int, int>>, true>' is implicitly deleted because base class 'std::hash<std::pair<int, int>>' has a deleted default constructor
    : private _Tp
      ^
/usr/bin/../lib/gcc/x86_64-linux-gnu/9/../../../../include/c++/9/bits/functional_hash.h:101:19: note: default constructor of 'hash<std::pair<int, int>>' is implicitly deleted because base class '__hash_enum<std::pair<int, int>>' has no default constructor
    struct hash : __hash_enum<_Tp>
                  ^
1 error generated.

Answer 1

默認情況下，沒有。 對於unordered_set ，它需要能夠 hash 對象，並且std::pair和std::vector沒有默認的 hash 實現。 有兩種典型的方法可以做到這一點； 為您提供自己的Hash類型，或為這些類型實現std::hash函數。 讓我們看看兩者。

首先，這是std::unordered_set的定義方式：

template<
    class Key,
    class Hash = std::hash<Key>,
    class KeyEqual = std::equal_to<Key>,
    class Allocator = std::allocator<Key>
> class unordered_set;

我們感興趣的是第二個模板參數Hash = std::hash<Key> 。 就目前而言，您的程序無法編譯，因為std::hash<std::pair<int, int>>的特化不存在。 所以我們可以提供它：

template <>
struct std::hash<std::pair<int, int>>
{
    std::size_t operator()(std::pair<int, int> p) {
        return std::hash<int>{}(p.first) ^ std::hash<int>{}(p.second);
    }
};

在這里，我委托std::hash<int>來實現 hash，但是您可以隨意實現它。

或者，您可以提供自己的結構而不是實現std::hash ，然后在定義unordered_set object 時必須聲明它：

struct MyHash
{
    std::size_t operator()(std::pair<int, int> p) {
        return std::hash<int>{}(p.first) ^ std::hash<int>{}(p.second);
    }
};

int main() {
    std::unordered_set<std::pair<int, int>, MyHash> mySet; // Using my own hashing class.
}

有趣的是，在 C++20 中，您可以在未計算的上下文中使用 lambda，例如decltype ，因此以下內容也是有效的：

int main() {
    const auto hash = [](std::pair<int, int> p) {
        return std::hash<int>{}(p.first) ^ std::hash<int>{}(p.second);
    }

    std::unordered_set<std::pair<int, int>, decltype(hash)> mySet; 
}

Answer 2

std::unordered_set對其鍵類型進行散列，因此std::hash的特化需要可用於鍵類型，否則您需要在聲明std::unordered_set時指定自己的散列 function 。 std::pair或std::vector沒有std::hash的默認特化。

另一方面， std::set不是 hash 的關鍵。 它默認使用operator<比較鍵值， std::pair和std::vector都實現了。