Question

我有以下带有unordered_map成员的类，以及为pair<int,int>定义的哈希函数

class abc
{public :
    unordered_map < pair<int,int> , int > rules ;
    unsigned nodes;
    unsigned packet ;     
};

namespace std {
template <>
    class hash < std::pair< int,int> >{
    public :
        size_t operator()(const pair< int, int> &x ) const
        {
            size_t h =   std::hash<int>()(x.first) ^ std::hash<int>()(x.second);
            return  h ;
        }
    };
}

但我收到以下错误：

error: invalid use of incomplete type ‘struct std::hash<std::pair<int, int> >

error: declaration of ‘struct std::hash<std::pair<int, int> >

error: type ‘std::__detail::_Hashtable_ebo_helper<1, std::hash<std::pair<int, int> >, true>’ is not a direct base of ‘std::__detail::_Hash_code_base<std::pair<int, int>, std::pair<const std::pair<int, int>, int>, std::__detail::_Select1st, std::hash<std::pair<int, int> >, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, true>’

Answer 1

不幸的是，这个程序有不确定的行为。 C ++11§17.6.4.2.1：

只有当声明取决于用户定义的类型并且特化符合原始模板的标准库要求且未明确禁止时，程序才可以将任何标准库模板的模板特化添加到命名空间std。

hash<pair<int,int>>仅取决于原始和标准库类型。通过在命名空间std之外定义哈希类，并在地图声明中明确使用该哈希，可以轻松解决这个问题：

struct pairhash {
public:
  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);
  }
};

class abc {
  std::unordered_map<std::pair<int,int>, int, pairhash> rules;
};

编辑：我已经使用xor来结合这对成员的哈希值，因为我很懒，但是认真使用xor is a fairly crappy hash combining function。

Answer 2

我更喜欢依靠std::hash<uintmax_t>的标准实现来混合std::pair的各组成部分的哈希值：

#include <functional>
#include <utility>

struct hash_pair final {
    template<class TFirst, class TSecond>
    size_t operator()(const std::pair<TFirst, TSecond>& p) const noexcept {
        uintmax_t hash = std::hash<TFirst>{}(p.first);
        hash <<= sizeof(uintmax_t) * 4;
        hash ^= std::hash<TSecond>{}(p.second);
        return std::hash<uintmax_t>{}(hash);
    }
};

整数对的哈希函数的错误

2 个答案: