std::hash

From cppreference.com
< cpp‎ | utility
 
 
Utilities library
General utilities
Relational operators (deprecated in C++20)
 
 
Defined in header <bitset>
Defined in header <coroutine>
Defined in header <chrono>
(since C++26)
Defined in header <filesystem>
Defined in header <functional>
Defined in header <memory>
Defined in header <optional>
Defined in header <stacktrace>
Defined in header <string>
Defined in header <string_view>
Defined in header <system_error>
Defined in header <thread>
Defined in header <typeindex>
Defined in header <variant>
Defined in header <vector>
template< class Key >
struct hash;
(since C++11)

The unordered associative containers std::unordered_set, std::unordered_multiset, std::unordered_map, std::unordered_multimap use specializations of the template std::hash as the default hash function.

Given a type Key, each specialization std::hash<Key> is either enabled or disabled :

  • If std::hash<Key> is not provided by the program or the user, it is disabled.
  • Otherwise, std::hash<Key> is enabled if all following conditions are satisfied:
  • All following requirements are satisfied:
  • Given the following values:
  • h, an object of type std::hash<Key>.
  • k1 and k2, objects of type Key.
All following requirements are satisfied:
  • Otherwise, std::hash<Key> is disabled.

Disabled specializations do not satisfy Hash, do not satisfy FunctionObject, and following values are all false:

In other words, they exist, but cannot be used.

Nested types

Name Definition
argument_type (deprecated in C++17) Key
result_type (deprecated in C++17) std::size_t
(until C++20)

Member functions

constructs a hash function object
(public member function)
calculates the hash of the argument
(public member function)

Standard library specializations

Each header that declares the template std::hash also provides enabled specializations of std::hash for the following types:

On top of that, some headers also provide other enabled std::hash specializations for library types (see below).

For all std::hash specializations provided by the standard library except the following, all their member functions are noexcept:

(since C++26)
(since C++17)

Specializations for library types

hash support for std::coroutine_handle
(class template specialization)
hash support for std::error_code
(class template specialization)
hash support for std::error_condition
(class template specialization)
hash support for std::stacktrace_entry
(class template specialization)
hash support for std::basic_stacktrace
(class template specialization)
hash support for std::optional
(class template specialization)
hash support for std::variant
(class template specialization)
hash support for std::monostate
(class template specialization)
hash support for std::bitset
(class template specialization)
hash support for std::unique_ptr
(class template specialization)
hash support for std::shared_ptr
(class template specialization)
hash support for std::type_index
(class template specialization)
hash support for strings
(class template specialization)
hash support for string views
(class template specialization)
hash support for std::vector<bool>
(class template specialization)
hash support for std::filesystem::path
(class template specialization)
hash support for std::thread::id
(class template specialization)
hash support for std::chrono::duration
(class template specialization)
hash support for std::chrono::time_point
(class template specialization)
hash support for std::chrono::day
(class template specialization)
hash support for std::chrono::month
(class template specialization)
hash support for std::chrono::year
(class template specialization)
hash support for std::chrono::weekday
(class template specialization)
hash support for std::chrono::weekday_indexed
(class template specialization)
hash support for std::chrono::weekday_last
(class template specialization)
hash support for std::chrono::month_day
(class template specialization)
hash support for std::chrono::month_day_last
(class template specialization)
hash support for std::chrono::month_weekday
(class template specialization)
hash support for std::chrono::month_weekday_last
(class template specialization)
hash support for std::chrono::year_month
(class template specialization)
hash support for std::chrono::year_month_day
(class template specialization)
hash support for std::chrono::year_month_day_last
(class template specialization)
hash support for std::chrono::year_month_weekday
(class template specialization)
hash support for std::chrono::year_month_weekday_last
(class template specialization)
hash support for std::chrono::zoned_time
(class template specialization)
hash support for std::chrono::leap_second
(class template specialization)

Notes

The actual hash functions are implementation-dependent and are not required to fulfill any other quality criteria except those specified above. Notably, some implementations use trivial (identity) hash functions which map an integer to itself. In other words, these hash functions are designed to work with unordered associative containers, but not as cryptographic hashes, for example.

Hash functions are only required to produce the same result for the same input within a single execution of a program; this allows salted hashes that prevent collision denial-of-service attacks.

There is no specialization for C strings. std::hash<const char*> produces a hash of the value of the pointer (the memory address), it does not examine the contents of any character array.

Additional specializations for std::pair and the standard container types, as well as utility functions to compose hashes are available in boost::hash.

Example

#include <cstddef>
#include <functional>
#include <iomanip>
#include <iostream>
#include <string>
#include <unordered_set>
 
struct S
{
    std::string first_name;
    std::string last_name;
    bool operator==(const S&) const = default; // since C++20
};
 
// Before C++20.
// bool operator==(const S& lhs, const S& rhs)
// {
//     return lhs.first_name == rhs.first_name && lhs.last_name == rhs.last_name;
// }
 
// Custom hash can be a standalone function object.
struct MyHash
{
    std::size_t operator()(const S& s) const noexcept
    {
        std::size_t h1 = std::hash<std::string>{}(s.first_name);
        std::size_t h2 = std::hash<std::string>{}(s.last_name);
        return h1 ^ (h2 << 1); // or use boost::hash_combine
    }
};
 
// Custom specialization of std::hash can be injected in namespace std.
template<>
struct std::hash<S>
{
    std::size_t operator()(const S& s) const noexcept
    {
        std::size_t h1 = std::hash<std::string>{}(s.first_name);
        std::size_t h2 = std::hash<std::string>{}(s.last_name);
        return h1 ^ (h2 << 1); // or use boost::hash_combine
    }
};
 
int main()
{
    std::string str = "Meet the new boss...";
    std::size_t str_hash = std::hash<std::string>{}(str);
    std::cout << "hash(" << std::quoted(str) << ") =\t" << str_hash << '\n';
 
    S obj = {"Hubert", "Farnsworth"};
    // Using the standalone function object.
    std::cout << "hash(" << std::quoted(obj.first_name) << ", "
              << std::quoted(obj.last_name) << ") =\t"
              << MyHash{}(obj) << " (using MyHash) or\n\t\t\t\t"
              << std::hash<S>{}(obj) << " (using injected specialization)\n";
 
    // Custom hash makes it possible to use custom types in unordered containers.
    // The example will use the injected std::hash<S> specialization above,
    // to use MyHash instead, pass it as a second template argument.
    std::unordered_set<S> names = {obj, {"Bender", "Rodriguez"}, {"Turanga", "Leela"}};
    for (auto const& s: names)
        std::cout << std::quoted(s.first_name) << ' '
                  << std::quoted(s.last_name) << '\n';
}

Possible output:

hash("Meet the new boss...") =  10656026664466977650
hash("Hubert", "Farnsworth") =  12922914235676820612 (using MyHash) or
                                12922914235676820612 (using injected specialization)
"Bender" "Rodriguez"
"Turanga" "Leela"
"Hubert" "Farnsworth"

Defect reports

The following behavior-changing defect reports were applied retroactively to previously published C++ standards.

DR Applied to Behavior as published Correct behavior
LWG 2119 C++11 specializations for extended integer types were missing provided
LWG 2148 C++11 specializations for enumerations were missing provided
LWG 2543 C++11 std::hash might not be SFINAE-friendly made SFINAE-friendly
LWG 2817 C++11 specialization for std::nullptr_t was missing provided