Як спеціалізувати 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;

Було б зручніше писати просто std::unordered_set<X> з хешем за замовчуванням для типу X, як для типів, що входять разом із компілятором і бібліотекою. Після консультацій

• C ++ Стандартний проект N3242 §20.8.12 [unord.hash] та §17.6.3.4 [hash.requirements],
• Підвищення
• г ++ 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.)

_{*) якщо один із залучених типів визначений користувачем, я думаю.}

Моя ставка буде на аргумент шаблону Hash для класів unorряд_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 так само може бути глобальною статичною функцією
• у другому випадку ви могли це передати
  • об'єкт старомодного функтора ( struct Xhasher { size_t operator(const X&) const; };)
  • std::hash<X>()
  • будь-який вираз зв’язку, що задовольняє підпис -

@ Керрек СБ охопив 1) та 3).

2) Навіть незважаючи на те, що g ++ і VC10 заявляють std::hash<T>::operator() з різними підписами, обидві реалізації бібліотеки відповідають стандартам.

Стандарт не визначає членів std::hash<T>. Це просто говорить про те, що кожна така спеціалізація повинна задовольняти однаковим вимогам "хеш", необхідним для другого аргументу шаблону std::unordered_setтощо. А саме:

• Тип хеша H- це об'єкт функції, принаймні один тип аргументу 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.