順序付けされていないコンテナでユーザー定義型のstd :: hash <Key> :: operator（）を特化する方法は？

で、ユーザー定義のキータイプをサポートするために、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;

コンパイラとライブラリに付属する型の場合のように、typeのデフォルトのハッシュだけstd::unordered_set<X> で記述する方が便利ですX。相談後

• C ++標準ドラフトN3242§20.8.12 [unord.hash]および§17.6.3.4[hash.requirements]、
• Boost.Unordered
• g ++ include\c++\4.7.0\bits\functional_hash.h
• VC10 include\xfunctional
• スタックオーバーフローのさまざまな関連質問

専門化することは可能であるようです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. それを行うためのポータブルな方法はありますか？

名前空間*に特殊化を追加することを明示的に許可および奨励されています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です。）

_{*）関係する型の1つがユーザー定義である限り、私はそう思います。}

私の賭けはunordered_map / unorder_set / ...クラスのハッシュテンプレート引数にあります：

#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は、グローバル静的関数にすることもできます
• 2番目のケースでは、それを渡すことができます
  • 昔ながらのファンクターオブジェクト（struct Xhasher { size_t operator(const X&) const; };）
  • std::hash<X>()
  • 署名を満たすバインド式-

@Kerrek SBは1）と3）をカバーしています。

2）g ++とVC10 std::hash<T>::operator()は異なる署名で宣言しますが、両方のライブラリの実装は標準に準拠しています。

規格では、のメンバーを指定していませんstd::hash<T>。それは、そのような特殊化のそれぞれが、2番目のテンプレート引数などに必要な同じ「ハッシュ」要件を満たさなければならないことを示しstd::unordered_setています。すなわち：

• ハッシュ型Hは、少なくとも1つの引数型を持つ関数オブジェクトKeyです。
• H コピー構築可能です。
• H 破壊可能です。
• 場合は、h型の式であるH、またはconst H、及びk（恐らくはに変換型の式であるconst）Key、次いで、h(k)型の有効な式ですsize_t。
• 場合h型の式であるHかはconst H、およびuタイプの左辺値であるKey場合、h(u)型の有効な式ですsize_t変更されませんu。