如何在无序容器中为用户定义的类型专门化std :: hash <Key> :: operator()？

Question

为了支持用户定义的键类型std::unordered_set<Key>和std::unordered_map<Key, Value> 一个具有提供operator==(Key, Key)和散列函子:

struct X { int id; /* ... */ };
bool operator==(X a, X b) { return a.id == b.id; }

struct MyHash {
  size_t operator()(const X& x) const { return std::hash<int>()(x.id); }
};

std::unordered_set<X, MyHash> s;

std::unordered_set<X> 使用类型的默认哈希来编写会更方便X,就像编译器和库中的类型一样.咨询后

• C++标准草案N3242§20.8.12 [unord.hash]和§17.6.3.4[hash.requirements],
• Boost.Unordered
• 克++ include\c++\4.7.0\bits\functional_hash.h
• VC10 include\xfunctional
• Stack Overflow中的各种相关问题

似乎可以专门化std::hash<X>::operator():

namespace std { // argh!
  template <>
  inline size_t 
  hash<X>::operator()(const X& x) const { return hash<int>()(x.id); } // works for MS VC10, but not for g++
  // or
  // hash<X>::operator()(X x) const { return hash<int>()(x.id); }     // works for g++ 4.7, but not for VC10 
}                                                                             

鉴于编译器对C++ 11的支持尚未实验 - 我没有尝试过Clang ---,这些是我的问题:

1. 将这样的专业化添加到命名空间是否合法std？我对此感到复杂.

2. 哪个std::hash<X>::operator()版本(如果有的话)符合C++ 11标准？

3. 有可行的方法吗？

Answer 1

您明确允许和鼓励增加特来命名std*.添加哈希函数的正确(也是基本上唯一的)方法是这样的:

namespace std {
  template <> struct hash<Foo>
  {
    size_t operator()(const Foo & x) const
    {
      /* your code here, e.g. "return hash<int>()(x.value);" */
    }
  };
}

(您可能考虑支持的其他流行专业是std::less,std::equal_to和std::swap.)

_{*)只要其中一个涉及的类型是用户定义的,我想.}

Answer 2

我打赌将在unordered_map/unorder_set/...类的Hash模板参数上:

#include <unordered_set>
#include <functional>

struct X 
{
    int x, y;
    std::size_t gethash() const { return (x*39)^y; }
};

typedef std::unordered_set<X, std::size_t(*)(const X&)> Xunset;
typedef std::unordered_set<X, std::function<std::size_t(const X&)> > Xunset2;

int main()
{
    auto hashX = [](const X&x) { return x.gethash(); };

    Xunset  my_set (0, hashX);
    Xunset2 my_set2(0, hashX); // if you prefer a more flexible set typedef
}

当然

• hashX也可以是一个全局静态函数
• 在第二种情况下,你可以通过
  • 老式的仿函数对象(struct Xhasher { size_t operator(const X&) const; };)
  • std::hash<X>()
  • 满足签名的任何绑定表达式 -