Нет ли специализаций std::hash для стандартных контейнеров?

Question

Я просто немного удивился тому, что не могу просто использовать

std::unordered_set<std::array<int, 16> > test;

потому что там, кажется, нет std::hash специализация для std::arrays. Это почему? Или я просто не нашел его? Если их действительно нет, можно ли упростить следующую попытку реализации?

namespace std
{
    template<typename T, size_t N>
    struct hash<array<T, N> >
    {
        typedef array<T, N> argument_type;
        typedef size_t result_type;

        result_type operator()(const argument_type& a) const
        {
            hash<T> hasher;
            result_type h = 0;
            for (result_type i = 0; i < N; ++i)
            {
                h = h * 31 + hasher(a[i]);
            }
            return h;
        }
    };
}

Я действительно чувствую, что это должно быть частью стандартной библиотеки.

Answer 1

Я не уверен, почему стандартная библиотека не включила это, но в Boost есть хеширование для всех видов вещей, созданных из типов, которые можно хэшировать. Ключевая функция для этого hash_combine, который вы можете скопировать с boost/functional/hash/hash.hpp,

С помощью hash_combineПовысилась range_hash (просто объединение хэшей каждого элемента диапазона), а также хэши пар и кортежей. range_hash в свою очередь может использоваться для хеширования любого итерируемого контейнера.

Answer 2

Не ответ, а некоторая полезная информация. Февральский проект стандарта C++11 указывает, что std::hash специализируется на этих типах:

• error_code § 19.5.5
• bitset<N> § 20.5.3
• unique_ptr<T, D> § 20.7.2.36
• shared_ptr<T, D> § 20.7.2.36
• type_index § 20.13.4
• string § 21,6
• u16string § 21,6
• u32string § 21,6
• wstring § 21,6
• vector<bool, Allocator> § 23.3.8
• thread::id § 30.3.1.1

И все эти типы: § 20.8.12

template <> struct hash<bool>;
template <> struct hash<char>;
template <> struct hash<signed char>;
template <> struct hash<unsigned char>;
template <> struct hash<char16_t>;
template <> struct hash<char32_t>;
template <> struct hash<wchar_t>;
template <> struct hash<short>;
template <> struct hash<unsigned short>;
template <> struct hash<int>;
template <> struct hash<unsigned int>;
template <> struct hash<long>;
template <> struct hash<long long>;
template <> struct hash<unsigned long>;
template <> struct hash<unsigned long long>;
template <> struct hash<float>;
template <> struct hash<double>;
template <> struct hash<long double>;
template<class T> struct hash<T*>;