Path: blob/main/contrib/llvm-project/libcxx/include/__functional/hash.h
35260 views
//===----------------------------------------------------------------------===//1//2// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.3// See https://llvm.org/LICENSE.txt for license information.4// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception5//6//===----------------------------------------------------------------------===//78#ifndef _LIBCPP___FUNCTIONAL_HASH_H9#define _LIBCPP___FUNCTIONAL_HASH_H1011#include <__config>12#include <__functional/unary_function.h>13#include <__fwd/functional.h>14#include <__type_traits/conjunction.h>15#include <__type_traits/invoke.h>16#include <__type_traits/is_constructible.h>17#include <__type_traits/is_enum.h>18#include <__type_traits/underlying_type.h>19#include <__utility/pair.h>20#include <__utility/swap.h>21#include <cstddef>22#include <cstdint>23#include <cstring>2425#if !defined(_LIBCPP_HAS_NO_PRAGMA_SYSTEM_HEADER)26# pragma GCC system_header27#endif2829_LIBCPP_BEGIN_NAMESPACE_STD3031template <class _Size>32inline _LIBCPP_HIDE_FROM_ABI _Size __loadword(const void* __p) {33_Size __r;34std::memcpy(&__r, __p, sizeof(__r));35return __r;36}3738// We use murmur2 when size_t is 32 bits, and cityhash64 when size_t39// is 64 bits. This is because cityhash64 uses 64bit x 64bit40// multiplication, which can be very slow on 32-bit systems.41template <class _Size, size_t = sizeof(_Size) * __CHAR_BIT__>42struct __murmur2_or_cityhash;4344template <class _Size>45struct __murmur2_or_cityhash<_Size, 32> {46_LIBCPP_HIDE_FROM_ABI _LIBCPP_DISABLE_UBSAN_UNSIGNED_INTEGER_CHECK _Size47operator()(const void* __key, _Size __len) const {48// murmur249const _Size __m = 0x5bd1e995;50const _Size __r = 24;51_Size __h = __len;52const unsigned char* __data = static_cast<const unsigned char*>(__key);53for (; __len >= 4; __data += 4, __len -= 4) {54_Size __k = std::__loadword<_Size>(__data);55__k *= __m;56__k ^= __k >> __r;57__k *= __m;58__h *= __m;59__h ^= __k;60}61switch (__len) {62case 3:63__h ^= static_cast<_Size>(__data[2] << 16);64_LIBCPP_FALLTHROUGH();65case 2:66__h ^= static_cast<_Size>(__data[1] << 8);67_LIBCPP_FALLTHROUGH();68case 1:69__h ^= __data[0];70__h *= __m;71}72__h ^= __h >> 13;73__h *= __m;74__h ^= __h >> 15;75return __h;76}77};7879template <class _Size>80struct __murmur2_or_cityhash<_Size, 64> {81// cityhash6482_LIBCPP_HIDE_FROM_ABI _LIBCPP_DISABLE_UBSAN_UNSIGNED_INTEGER_CHECK _Size83operator()(const void* __key, _Size __len) const {84const char* __s = static_cast<const char*>(__key);85if (__len <= 32) {86if (__len <= 16) {87return __hash_len_0_to_16(__s, __len);88} else {89return __hash_len_17_to_32(__s, __len);90}91} else if (__len <= 64) {92return __hash_len_33_to_64(__s, __len);93}9495// For strings over 64 bytes we hash the end first, and then as we96// loop we keep 56 bytes of state: v, w, x, y, and z.97_Size __x = std::__loadword<_Size>(__s + __len - 40);98_Size __y = std::__loadword<_Size>(__s + __len - 16) + std::__loadword<_Size>(__s + __len - 56);99_Size __z =100__hash_len_16(std::__loadword<_Size>(__s + __len - 48) + __len, std::__loadword<_Size>(__s + __len - 24));101pair<_Size, _Size> __v = __weak_hash_len_32_with_seeds(__s + __len - 64, __len, __z);102pair<_Size, _Size> __w = __weak_hash_len_32_with_seeds(__s + __len - 32, __y + __k1, __x);103__x = __x * __k1 + std::__loadword<_Size>(__s);104105// Decrease len to the nearest multiple of 64, and operate on 64-byte chunks.106__len = (__len - 1) & ~static_cast<_Size>(63);107do {108__x = __rotate(__x + __y + __v.first + std::__loadword<_Size>(__s + 8), 37) * __k1;109__y = __rotate(__y + __v.second + std::__loadword<_Size>(__s + 48), 42) * __k1;110__x ^= __w.second;111__y += __v.first + std::__loadword<_Size>(__s + 40);112__z = __rotate(__z + __w.first, 33) * __k1;113__v = __weak_hash_len_32_with_seeds(__s, __v.second * __k1, __x + __w.first);114__w = __weak_hash_len_32_with_seeds(__s + 32, __z + __w.second, __y + std::__loadword<_Size>(__s + 16));115std::swap(__z, __x);116__s += 64;117__len -= 64;118} while (__len != 0);119return __hash_len_16(__hash_len_16(__v.first, __w.first) + __shift_mix(__y) * __k1 + __z,120__hash_len_16(__v.second, __w.second) + __x);121}122123private:124// Some primes between 2^63 and 2^64.125static const _Size __k0 = 0xc3a5c85c97cb3127ULL;126static const _Size __k1 = 0xb492b66fbe98f273ULL;127static const _Size __k2 = 0x9ae16a3b2f90404fULL;128static const _Size __k3 = 0xc949d7c7509e6557ULL;129130_LIBCPP_HIDE_FROM_ABI static _Size __rotate(_Size __val, int __shift) {131return __shift == 0 ? __val : ((__val >> __shift) | (__val << (64 - __shift)));132}133134_LIBCPP_HIDE_FROM_ABI static _Size __rotate_by_at_least_1(_Size __val, int __shift) {135return (__val >> __shift) | (__val << (64 - __shift));136}137138_LIBCPP_HIDE_FROM_ABI static _Size __shift_mix(_Size __val) { return __val ^ (__val >> 47); }139140_LIBCPP_HIDE_FROM_ABI _LIBCPP_DISABLE_UBSAN_UNSIGNED_INTEGER_CHECK static _Size __hash_len_16(_Size __u, _Size __v) {141const _Size __mul = 0x9ddfea08eb382d69ULL;142_Size __a = (__u ^ __v) * __mul;143__a ^= (__a >> 47);144_Size __b = (__v ^ __a) * __mul;145__b ^= (__b >> 47);146__b *= __mul;147return __b;148}149150_LIBCPP_HIDE_FROM_ABI _LIBCPP_DISABLE_UBSAN_UNSIGNED_INTEGER_CHECK static _Size151__hash_len_0_to_16(const char* __s, _Size __len) {152if (__len > 8) {153const _Size __a = std::__loadword<_Size>(__s);154const _Size __b = std::__loadword<_Size>(__s + __len - 8);155return __hash_len_16(__a, __rotate_by_at_least_1(__b + __len, __len)) ^ __b;156}157if (__len >= 4) {158const uint32_t __a = std::__loadword<uint32_t>(__s);159const uint32_t __b = std::__loadword<uint32_t>(__s + __len - 4);160#ifdef _LIBCPP_ABI_FIX_CITYHASH_IMPLEMENTATION161return __hash_len_16(__len + (static_cast<_Size>(__a) << 3), __b);162#else163return __hash_len_16(__len + (__a << 3), __b);164#endif165}166if (__len > 0) {167const unsigned char __a = static_cast<unsigned char>(__s[0]);168const unsigned char __b = static_cast<unsigned char>(__s[__len >> 1]);169const unsigned char __c = static_cast<unsigned char>(__s[__len - 1]);170const uint32_t __y = static_cast<uint32_t>(__a) + (static_cast<uint32_t>(__b) << 8);171const uint32_t __z = __len + (static_cast<uint32_t>(__c) << 2);172return __shift_mix(__y * __k2 ^ __z * __k3) * __k2;173}174return __k2;175}176177_LIBCPP_HIDE_FROM_ABI _LIBCPP_DISABLE_UBSAN_UNSIGNED_INTEGER_CHECK static _Size178__hash_len_17_to_32(const char* __s, _Size __len) {179const _Size __a = std::__loadword<_Size>(__s) * __k1;180const _Size __b = std::__loadword<_Size>(__s + 8);181const _Size __c = std::__loadword<_Size>(__s + __len - 8) * __k2;182const _Size __d = std::__loadword<_Size>(__s + __len - 16) * __k0;183return __hash_len_16(184__rotate(__a - __b, 43) + __rotate(__c, 30) + __d, __a + __rotate(__b ^ __k3, 20) - __c + __len);185}186187// Return a 16-byte hash for 48 bytes. Quick and dirty.188// Callers do best to use "random-looking" values for a and b.189_LIBCPP_HIDE_FROM_ABI _LIBCPP_DISABLE_UBSAN_UNSIGNED_INTEGER_CHECK static pair<_Size, _Size>190__weak_hash_len_32_with_seeds(_Size __w, _Size __x, _Size __y, _Size __z, _Size __a, _Size __b) {191__a += __w;192__b = __rotate(__b + __a + __z, 21);193const _Size __c = __a;194__a += __x;195__a += __y;196__b += __rotate(__a, 44);197return pair<_Size, _Size>(__a + __z, __b + __c);198}199200// Return a 16-byte hash for s[0] ... s[31], a, and b. Quick and dirty.201_LIBCPP_HIDE_FROM_ABI _LIBCPP_DISABLE_UBSAN_UNSIGNED_INTEGER_CHECK static pair<_Size, _Size>202__weak_hash_len_32_with_seeds(const char* __s, _Size __a, _Size __b) {203return __weak_hash_len_32_with_seeds(204std::__loadword<_Size>(__s),205std::__loadword<_Size>(__s + 8),206std::__loadword<_Size>(__s + 16),207std::__loadword<_Size>(__s + 24),208__a,209__b);210}211212// Return an 8-byte hash for 33 to 64 bytes.213_LIBCPP_HIDE_FROM_ABI _LIBCPP_DISABLE_UBSAN_UNSIGNED_INTEGER_CHECK static _Size214__hash_len_33_to_64(const char* __s, size_t __len) {215_Size __z = std::__loadword<_Size>(__s + 24);216_Size __a = std::__loadword<_Size>(__s) + (__len + std::__loadword<_Size>(__s + __len - 16)) * __k0;217_Size __b = __rotate(__a + __z, 52);218_Size __c = __rotate(__a, 37);219__a += std::__loadword<_Size>(__s + 8);220__c += __rotate(__a, 7);221__a += std::__loadword<_Size>(__s + 16);222_Size __vf = __a + __z;223_Size __vs = __b + __rotate(__a, 31) + __c;224__a = std::__loadword<_Size>(__s + 16) + std::__loadword<_Size>(__s + __len - 32);225__z += std::__loadword<_Size>(__s + __len - 8);226__b = __rotate(__a + __z, 52);227__c = __rotate(__a, 37);228__a += std::__loadword<_Size>(__s + __len - 24);229__c += __rotate(__a, 7);230__a += std::__loadword<_Size>(__s + __len - 16);231_Size __wf = __a + __z;232_Size __ws = __b + __rotate(__a, 31) + __c;233_Size __r = __shift_mix((__vf + __ws) * __k2 + (__wf + __vs) * __k0);234return __shift_mix(__r * __k0 + __vs) * __k2;235}236};237238template <class _Tp, size_t = sizeof(_Tp) / sizeof(size_t)>239struct __scalar_hash;240241template <class _Tp>242struct __scalar_hash<_Tp, 0> : public __unary_function<_Tp, size_t> {243_LIBCPP_HIDE_FROM_ABI size_t operator()(_Tp __v) const _NOEXCEPT {244union {245_Tp __t;246size_t __a;247} __u;248__u.__a = 0;249__u.__t = __v;250return __u.__a;251}252};253254template <class _Tp>255struct __scalar_hash<_Tp, 1> : public __unary_function<_Tp, size_t> {256_LIBCPP_HIDE_FROM_ABI size_t operator()(_Tp __v) const _NOEXCEPT {257union {258_Tp __t;259size_t __a;260} __u;261__u.__t = __v;262return __u.__a;263}264};265266template <class _Tp>267struct __scalar_hash<_Tp, 2> : public __unary_function<_Tp, size_t> {268_LIBCPP_HIDE_FROM_ABI size_t operator()(_Tp __v) const _NOEXCEPT {269union {270_Tp __t;271struct {272size_t __a;273size_t __b;274} __s;275} __u;276__u.__t = __v;277return __murmur2_or_cityhash<size_t>()(&__u, sizeof(__u));278}279};280281template <class _Tp>282struct __scalar_hash<_Tp, 3> : public __unary_function<_Tp, size_t> {283_LIBCPP_HIDE_FROM_ABI size_t operator()(_Tp __v) const _NOEXCEPT {284union {285_Tp __t;286struct {287size_t __a;288size_t __b;289size_t __c;290} __s;291} __u;292__u.__t = __v;293return __murmur2_or_cityhash<size_t>()(&__u, sizeof(__u));294}295};296297template <class _Tp>298struct __scalar_hash<_Tp, 4> : public __unary_function<_Tp, size_t> {299_LIBCPP_HIDE_FROM_ABI size_t operator()(_Tp __v) const _NOEXCEPT {300union {301_Tp __t;302struct {303size_t __a;304size_t __b;305size_t __c;306size_t __d;307} __s;308} __u;309__u.__t = __v;310return __murmur2_or_cityhash<size_t>()(&__u, sizeof(__u));311}312};313314struct _PairT {315size_t first;316size_t second;317};318319_LIBCPP_HIDE_FROM_ABI inline size_t __hash_combine(size_t __lhs, size_t __rhs) _NOEXCEPT {320typedef __scalar_hash<_PairT> _HashT;321const _PairT __p = {__lhs, __rhs};322return _HashT()(__p);323}324325template <class _Tp>326struct _LIBCPP_TEMPLATE_VIS hash<_Tp*> : public __unary_function<_Tp*, size_t> {327_LIBCPP_HIDE_FROM_ABI size_t operator()(_Tp* __v) const _NOEXCEPT {328union {329_Tp* __t;330size_t __a;331} __u;332__u.__t = __v;333return __murmur2_or_cityhash<size_t>()(&__u, sizeof(__u));334}335};336337template <>338struct _LIBCPP_TEMPLATE_VIS hash<bool> : public __unary_function<bool, size_t> {339_LIBCPP_HIDE_FROM_ABI size_t operator()(bool __v) const _NOEXCEPT { return static_cast<size_t>(__v); }340};341342template <>343struct _LIBCPP_TEMPLATE_VIS hash<char> : public __unary_function<char, size_t> {344_LIBCPP_HIDE_FROM_ABI size_t operator()(char __v) const _NOEXCEPT { return static_cast<size_t>(__v); }345};346347template <>348struct _LIBCPP_TEMPLATE_VIS hash<signed char> : public __unary_function<signed char, size_t> {349_LIBCPP_HIDE_FROM_ABI size_t operator()(signed char __v) const _NOEXCEPT { return static_cast<size_t>(__v); }350};351352template <>353struct _LIBCPP_TEMPLATE_VIS hash<unsigned char> : public __unary_function<unsigned char, size_t> {354_LIBCPP_HIDE_FROM_ABI size_t operator()(unsigned char __v) const _NOEXCEPT { return static_cast<size_t>(__v); }355};356357#ifndef _LIBCPP_HAS_NO_CHAR8_T358template <>359struct _LIBCPP_TEMPLATE_VIS hash<char8_t> : public __unary_function<char8_t, size_t> {360_LIBCPP_HIDE_FROM_ABI size_t operator()(char8_t __v) const _NOEXCEPT { return static_cast<size_t>(__v); }361};362#endif // !_LIBCPP_HAS_NO_CHAR8_T363364template <>365struct _LIBCPP_TEMPLATE_VIS hash<char16_t> : public __unary_function<char16_t, size_t> {366_LIBCPP_HIDE_FROM_ABI size_t operator()(char16_t __v) const _NOEXCEPT { return static_cast<size_t>(__v); }367};368369template <>370struct _LIBCPP_TEMPLATE_VIS hash<char32_t> : public __unary_function<char32_t, size_t> {371_LIBCPP_HIDE_FROM_ABI size_t operator()(char32_t __v) const _NOEXCEPT { return static_cast<size_t>(__v); }372};373374#ifndef _LIBCPP_HAS_NO_WIDE_CHARACTERS375template <>376struct _LIBCPP_TEMPLATE_VIS hash<wchar_t> : public __unary_function<wchar_t, size_t> {377_LIBCPP_HIDE_FROM_ABI size_t operator()(wchar_t __v) const _NOEXCEPT { return static_cast<size_t>(__v); }378};379#endif // _LIBCPP_HAS_NO_WIDE_CHARACTERS380381template <>382struct _LIBCPP_TEMPLATE_VIS hash<short> : public __unary_function<short, size_t> {383_LIBCPP_HIDE_FROM_ABI size_t operator()(short __v) const _NOEXCEPT { return static_cast<size_t>(__v); }384};385386template <>387struct _LIBCPP_TEMPLATE_VIS hash<unsigned short> : public __unary_function<unsigned short, size_t> {388_LIBCPP_HIDE_FROM_ABI size_t operator()(unsigned short __v) const _NOEXCEPT { return static_cast<size_t>(__v); }389};390391template <>392struct _LIBCPP_TEMPLATE_VIS hash<int> : public __unary_function<int, size_t> {393_LIBCPP_HIDE_FROM_ABI size_t operator()(int __v) const _NOEXCEPT { return static_cast<size_t>(__v); }394};395396template <>397struct _LIBCPP_TEMPLATE_VIS hash<unsigned int> : public __unary_function<unsigned int, size_t> {398_LIBCPP_HIDE_FROM_ABI size_t operator()(unsigned int __v) const _NOEXCEPT { return static_cast<size_t>(__v); }399};400401template <>402struct _LIBCPP_TEMPLATE_VIS hash<long> : public __unary_function<long, size_t> {403_LIBCPP_HIDE_FROM_ABI size_t operator()(long __v) const _NOEXCEPT { return static_cast<size_t>(__v); }404};405406template <>407struct _LIBCPP_TEMPLATE_VIS hash<unsigned long> : public __unary_function<unsigned long, size_t> {408_LIBCPP_HIDE_FROM_ABI size_t operator()(unsigned long __v) const _NOEXCEPT { return static_cast<size_t>(__v); }409};410411template <>412struct _LIBCPP_TEMPLATE_VIS hash<long long> : public __scalar_hash<long long> {};413414template <>415struct _LIBCPP_TEMPLATE_VIS hash<unsigned long long> : public __scalar_hash<unsigned long long> {};416417#ifndef _LIBCPP_HAS_NO_INT128418419template <>420struct _LIBCPP_TEMPLATE_VIS hash<__int128_t> : public __scalar_hash<__int128_t> {};421422template <>423struct _LIBCPP_TEMPLATE_VIS hash<__uint128_t> : public __scalar_hash<__uint128_t> {};424425#endif426427template <>428struct _LIBCPP_TEMPLATE_VIS hash<float> : public __scalar_hash<float> {429_LIBCPP_HIDE_FROM_ABI size_t operator()(float __v) const _NOEXCEPT {430// -0.0 and 0.0 should return same hash431if (__v == 0.0f)432return 0;433return __scalar_hash<float>::operator()(__v);434}435};436437template <>438struct _LIBCPP_TEMPLATE_VIS hash<double> : public __scalar_hash<double> {439_LIBCPP_HIDE_FROM_ABI size_t operator()(double __v) const _NOEXCEPT {440// -0.0 and 0.0 should return same hash441if (__v == 0.0)442return 0;443return __scalar_hash<double>::operator()(__v);444}445};446447template <>448struct _LIBCPP_TEMPLATE_VIS hash<long double> : public __scalar_hash<long double> {449_LIBCPP_HIDE_FROM_ABI size_t operator()(long double __v) const _NOEXCEPT {450// -0.0 and 0.0 should return same hash451if (__v == 0.0L)452return 0;453#if defined(__i386__) || (defined(__x86_64__) && defined(__ILP32__))454// Zero out padding bits455union {456long double __t;457struct {458size_t __a;459size_t __b;460size_t __c;461size_t __d;462} __s;463} __u;464__u.__s.__a = 0;465__u.__s.__b = 0;466__u.__s.__c = 0;467__u.__s.__d = 0;468__u.__t = __v;469return __u.__s.__a ^ __u.__s.__b ^ __u.__s.__c ^ __u.__s.__d;470#elif defined(__x86_64__)471// Zero out padding bits472union {473long double __t;474struct {475size_t __a;476size_t __b;477} __s;478} __u;479__u.__s.__a = 0;480__u.__s.__b = 0;481__u.__t = __v;482return __u.__s.__a ^ __u.__s.__b;483#else484return __scalar_hash<long double>::operator()(__v);485#endif486}487};488489template <class _Tp, bool = is_enum<_Tp>::value>490struct _LIBCPP_TEMPLATE_VIS __enum_hash : public __unary_function<_Tp, size_t> {491_LIBCPP_HIDE_FROM_ABI size_t operator()(_Tp __v) const _NOEXCEPT {492typedef typename underlying_type<_Tp>::type type;493return hash<type>()(static_cast<type>(__v));494}495};496template <class _Tp>497struct _LIBCPP_TEMPLATE_VIS __enum_hash<_Tp, false> {498__enum_hash() = delete;499__enum_hash(__enum_hash const&) = delete;500__enum_hash& operator=(__enum_hash const&) = delete;501};502503template <class _Tp>504struct _LIBCPP_TEMPLATE_VIS hash : public __enum_hash<_Tp> {};505506#if _LIBCPP_STD_VER >= 17507508template <>509struct _LIBCPP_TEMPLATE_VIS hash<nullptr_t> : public __unary_function<nullptr_t, size_t> {510_LIBCPP_HIDE_FROM_ABI size_t operator()(nullptr_t) const _NOEXCEPT { return 662607004ull; }511};512#endif513514#ifndef _LIBCPP_CXX03_LANG515template <class _Key, class _Hash>516using __check_hash_requirements _LIBCPP_NODEBUG =517integral_constant<bool,518is_copy_constructible<_Hash>::value && is_move_constructible<_Hash>::value &&519__invokable_r<size_t, _Hash, _Key const&>::value >;520521template <class _Key, class _Hash = hash<_Key> >522using __has_enabled_hash _LIBCPP_NODEBUG =523integral_constant<bool, __check_hash_requirements<_Key, _Hash>::value && is_default_constructible<_Hash>::value >;524525# if _LIBCPP_STD_VER >= 17526template <class _Type, class>527using __enable_hash_helper_imp _LIBCPP_NODEBUG = _Type;528529template <class _Type, class... _Keys>530using __enable_hash_helper _LIBCPP_NODEBUG =531__enable_hash_helper_imp<_Type, __enable_if_t<__all<__has_enabled_hash<_Keys>::value...>::value> >;532# else533template <class _Type, class...>534using __enable_hash_helper _LIBCPP_NODEBUG = _Type;535# endif536537#endif // !_LIBCPP_CXX03_LANG538539_LIBCPP_END_NAMESPACE_STD540541#endif // _LIBCPP___FUNCTIONAL_HASH_H542543544