неупорядоченный key_type для небиблиотечных типов требует специализации hash‹›?

Я пытаюсь создать std::unordered_map с xercesc::XMLUri в качестве типа ключа.

#include <unordered_map>
#include "xercesc/util/XMLUri.hpp"

int main()
{
        std::unordered_map<xercesc::XMLUri,xercesc::XMLUri> uriMap;
}

в результате получилось следующее:

clang++ -std=c++11 -O0 -emit-llvm -g3 -Wall -c -fmessage-length=0 -I/usr/include ../xx.cpp 
In file included from ../xx.cpp:1:
In file included from /usr/bin/../lib/gcc/i686-linux-gnu/4.7/../../../../include/c++/4.7/unordered_map:43:
/usr/bin/../lib/gcc/i686-linux-gnu/4.7/../../../../include/c++/4.7/bits/functional_hash.h:59:7: error: static_assert failed "std::hash is not specialized for this type"
  static_assert(sizeof(_Tp) < 0,
  ^             ~~~~~~~~~~~~~~~
/usr/bin/../lib/gcc/i686-linux-gnu/4.7/../../../../include/c++/4.7/bits/unordered_map.h:45:32: note: in instantiation of template class 'std::hash<xerceschash<>1::XMLUri>' requested here
                       integral_constant<bool, !__is_final(_Hash)>,
                                                ^
/usr/bin/../lib/gcc/i686-linux-gnu/4.7/../../../../include/c++/4.7/bits/unordered_map.h:263:14: note: in instantiation of default argument for '__unordered_map<xerceschash<>1::XMLUri, xerceschash<>1::XMLUri, std::hash<xerceschash<>1::XMLUri>, std::equal_to<xerceschash<>1::XMLUri>, std::allocator<std::pair<const xerceschash<>1::XMLUri, xerceschash<>1::XMLUri> > >' required here
: public __unordered_map<_Key, _Tp, _Hash, _Pred, _Alloc>
         ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
../xx.cpp:6:54: note: in instantiation of template class 'std::unordered_map<xerceschash<>1::XMLUri, xerceschash<>1::XMLUri, std::hash<xerceschash<>1::XMLUri>, std::equal_to<xerceschash<>1::XMLUri>, std::allocator<std::pair<const xerceschash<>1::XMLUri, xerceschash<>1::XMLUri> > >' requested here
    std::unordered_map<xercesc::XMLUri,xercesc::XMLUri> uriMap;

Я знаю, что неупорядоченные контейнеры в C++0x предоставляют только hash<> специализации для некоторых типов библиотек. Как создать необходимую hash<xercesc::XMLUri> специализацию для xercesc::XMLUri?

РЕДАКТИРОВАТЬ: я придумал это. Это кажется разумным?

#include "xercesc\util\XMLUri.hpp"
#include <string>

namespace std 
{

    size_t hash<xercesc::XMLUri>::operator()(const xercesc::XMLUri& uri) const
    {
        return hash<std::wstring>()(uri.getUriText());
    }
}

c++ c++11 unordered-map xerces-c
person hhbilly    schedule 21.11.2012    source источник

Ответы (2)


arrow_upward
1
arrow_downward

Почти. Это должно быть так (спасибо @jogojapan за указание на отсутствующие определения типов!):

#include <string>
#include <functional>

namespace std
{
    template <> struct hash<xercesc::XMLUri>
    {
        typedef size_t result_type;
        typedef xercesc::XMLUri argument_type;

        size_t operator()(xercesc::XMLUri const & uri) const noexcept
        {
            return hash<wstring>()(uri.getUriText());
        }
    };
}
person Kerrek SB    schedule 22.11.2012
comment
Это может быть несвязанный вопрос, но в чем преимущество создания специализации шаблона класса по сравнению с использованием специализации шаблона функции? - person hhbilly; 22.11.2012
comment
@ user1626720: у тебя нет выбора. std::hash является шаблоном класса. - person Kerrek SB; 22.11.2012
comment
Полная специализация для std::hash должна также включать определения для argument_type и result_type (§20.8.12/1). Например, см. ответ, который я дал вчера на аналогичный вопрос: stackoverflow.com/a/13486174/777186 - person jogojapan; 22.11.2012
comment
@KerrekSB: какая разница? Можно специализировать функции-члены шаблона класса, как если бы это был шаблон функции. - person ildjarn; 22.11.2012
comment
@ildjarn: Интересно; хорошая точка зрения! Синтаксис все равно будет отличаться от того, что есть у OP, а именно template <> size_t hash<X>::operator()(X const &) const noexcept. Но GCC, похоже, этого не допускает и принимает только специализацию всего шаблона класса. Предположительно, не требуется, чтобы operator() предоставлялся каким-либо особым образом; то есть это может быть функция-член базового класса или через прокси-объект или что-то еще. - person Kerrek SB; 22.11.2012

arrow_upward
1
arrow_downward

std::hash — это структура, вы должны специализировать всю структуру, а не только функцию, тогда ваш способ специализации шаблона тоже неверен:

namespace std 
{
    template <>
    struct hash<xercesc::XMLUri>
    {
        size_t operator()(const xercesc::XMLUri& uri) const
        {
            return hash<std::wstring>()(uri.getUriText());
        }
    };
}
person J.N.    schedule 22.11.2012
comment
std::hash — это шаблон, а не структура. - person Kerrek SB; 22.11.2012
comment
@KerrekSB, действительно, это шаблон структуры, я хотел подчеркнуть, что это не шаблон функции. - person J.N.; 22.11.2012
comment
Полная специализация для std::hash должна также включать определения для argument_type и result_type (§20.8.12/1). Например, см. ответ, который я дал вчера на аналогичный вопрос: stackoverflow.com/a/13486174/777186 - person jogojapan; 22.11.2012
comment
std::hash — это структура, вы должны специализировать всю структуру, а не только функцию Что? Нет. Его синтаксис неверен, но подход в порядке (за исключением правильного комментария @jogojapan) – онлайн-демонстрация. - person ildjarn; 22.11.2012