xref: /dflybsd-src/contrib/gcc-8.0/libstdc++-v3/include/bits/functional_hash.h (revision 38fd149817dfbff97799f62fcb70be98c4e32523)
1*38fd1498Szrj // functional_hash.h header -*- C++ -*-
2*38fd1498Szrj 
3*38fd1498Szrj // Copyright (C) 2007-2018 Free Software Foundation, Inc.
4*38fd1498Szrj //
5*38fd1498Szrj // This file is part of the GNU ISO C++ Library.  This library is free
6*38fd1498Szrj // software; you can redistribute it and/or modify it under the
7*38fd1498Szrj // terms of the GNU General Public License as published by the
8*38fd1498Szrj // Free Software Foundation; either version 3, or (at your option)
9*38fd1498Szrj // any later version.
10*38fd1498Szrj 
11*38fd1498Szrj // This library is distributed in the hope that it will be useful,
12*38fd1498Szrj // but WITHOUT ANY WARRANTY; without even the implied warranty of
13*38fd1498Szrj // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
14*38fd1498Szrj // GNU General Public License for more details.
15*38fd1498Szrj 
16*38fd1498Szrj // Under Section 7 of GPL version 3, you are granted additional
17*38fd1498Szrj // permissions described in the GCC Runtime Library Exception, version
18*38fd1498Szrj // 3.1, as published by the Free Software Foundation.
19*38fd1498Szrj 
20*38fd1498Szrj // You should have received a copy of the GNU General Public License and
21*38fd1498Szrj // a copy of the GCC Runtime Library Exception along with this program;
22*38fd1498Szrj // see the files COPYING3 and COPYING.RUNTIME respectively.  If not, see
23*38fd1498Szrj // <http://www.gnu.org/licenses/>.
24*38fd1498Szrj 
25*38fd1498Szrj /** @file bits/functional_hash.h
26*38fd1498Szrj  *  This is an internal header file, included by other library headers.
27*38fd1498Szrj  *  Do not attempt to use it directly. @headername{functional}
28*38fd1498Szrj  */
29*38fd1498Szrj 
30*38fd1498Szrj #ifndef _FUNCTIONAL_HASH_H
31*38fd1498Szrj #define _FUNCTIONAL_HASH_H 1
32*38fd1498Szrj 
33*38fd1498Szrj #pragma GCC system_header
34*38fd1498Szrj 
35*38fd1498Szrj #include <bits/hash_bytes.h>
36*38fd1498Szrj 
_GLIBCXX_VISIBILITY(default)37*38fd1498Szrj namespace std _GLIBCXX_VISIBILITY(default)
38*38fd1498Szrj {
39*38fd1498Szrj _GLIBCXX_BEGIN_NAMESPACE_VERSION
40*38fd1498Szrj 
41*38fd1498Szrj   /** @defgroup hashes Hashes
42*38fd1498Szrj    *  @ingroup functors
43*38fd1498Szrj    *
44*38fd1498Szrj    *   Hashing functors taking a variable type and returning a @c std::size_t.
45*38fd1498Szrj    *
46*38fd1498Szrj    *  @{
47*38fd1498Szrj    */
48*38fd1498Szrj 
49*38fd1498Szrj   template<typename _Result, typename _Arg>
50*38fd1498Szrj     struct __hash_base
51*38fd1498Szrj     {
52*38fd1498Szrj       typedef _Result     result_type _GLIBCXX17_DEPRECATED;
53*38fd1498Szrj       typedef _Arg      argument_type _GLIBCXX17_DEPRECATED;
54*38fd1498Szrj     };
55*38fd1498Szrj 
56*38fd1498Szrj   /// Primary class template hash.
57*38fd1498Szrj   template<typename _Tp>
58*38fd1498Szrj     struct hash;
59*38fd1498Szrj 
60*38fd1498Szrj   template<typename _Tp, typename = void>
61*38fd1498Szrj     struct __poison_hash
62*38fd1498Szrj     {
63*38fd1498Szrj       static constexpr bool __enable_hash_call = false;
64*38fd1498Szrj     private:
65*38fd1498Szrj       // Private rather than deleted to be non-trivially-copyable.
66*38fd1498Szrj       __poison_hash(__poison_hash&&);
67*38fd1498Szrj       ~__poison_hash();
68*38fd1498Szrj     };
69*38fd1498Szrj 
70*38fd1498Szrj   template<typename _Tp>
71*38fd1498Szrj     struct __poison_hash<_Tp, __void_t<decltype(hash<_Tp>()(declval<_Tp>()))>>
72*38fd1498Szrj     {
73*38fd1498Szrj       static constexpr bool __enable_hash_call = true;
74*38fd1498Szrj     };
75*38fd1498Szrj 
76*38fd1498Szrj   // Helper struct for SFINAE-poisoning non-enum types.
77*38fd1498Szrj   template<typename _Tp, bool = is_enum<_Tp>::value>
78*38fd1498Szrj     struct __hash_enum
79*38fd1498Szrj     {
80*38fd1498Szrj     private:
81*38fd1498Szrj       // Private rather than deleted to be non-trivially-copyable.
82*38fd1498Szrj       __hash_enum(__hash_enum&&);
83*38fd1498Szrj       ~__hash_enum();
84*38fd1498Szrj     };
85*38fd1498Szrj 
86*38fd1498Szrj   // Helper struct for hash with enum types.
87*38fd1498Szrj   template<typename _Tp>
88*38fd1498Szrj     struct __hash_enum<_Tp, true> : public __hash_base<size_t, _Tp>
89*38fd1498Szrj     {
90*38fd1498Szrj       size_t
91*38fd1498Szrj       operator()(_Tp __val) const noexcept
92*38fd1498Szrj       {
93*38fd1498Szrj        using __type = typename underlying_type<_Tp>::type;
94*38fd1498Szrj        return hash<__type>{}(static_cast<__type>(__val));
95*38fd1498Szrj       }
96*38fd1498Szrj     };
97*38fd1498Szrj 
98*38fd1498Szrj   /// Primary class template hash, usable for enum types only.
99*38fd1498Szrj   // Use with non-enum types still SFINAES.
100*38fd1498Szrj   template<typename _Tp>
101*38fd1498Szrj     struct hash : __hash_enum<_Tp>
102*38fd1498Szrj     { };
103*38fd1498Szrj 
104*38fd1498Szrj   /// Partial specializations for pointer types.
105*38fd1498Szrj   template<typename _Tp>
106*38fd1498Szrj     struct hash<_Tp*> : public __hash_base<size_t, _Tp*>
107*38fd1498Szrj     {
108*38fd1498Szrj       size_t
109*38fd1498Szrj       operator()(_Tp* __p) const noexcept
110*38fd1498Szrj       { return reinterpret_cast<size_t>(__p); }
111*38fd1498Szrj     };
112*38fd1498Szrj 
113*38fd1498Szrj   // Explicit specializations for integer types.
114*38fd1498Szrj #define _Cxx_hashtable_define_trivial_hash(_Tp) 	\
115*38fd1498Szrj   template<>						\
116*38fd1498Szrj     struct hash<_Tp> : public __hash_base<size_t, _Tp>  \
117*38fd1498Szrj     {                                                   \
118*38fd1498Szrj       size_t                                            \
119*38fd1498Szrj       operator()(_Tp __val) const noexcept              \
120*38fd1498Szrj       { return static_cast<size_t>(__val); }            \
121*38fd1498Szrj     };
122*38fd1498Szrj 
123*38fd1498Szrj   /// Explicit specialization for bool.
124*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(bool)
125*38fd1498Szrj 
126*38fd1498Szrj   /// Explicit specialization for char.
127*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(char)
128*38fd1498Szrj 
129*38fd1498Szrj   /// Explicit specialization for signed char.
130*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(signed char)
131*38fd1498Szrj 
132*38fd1498Szrj   /// Explicit specialization for unsigned char.
133*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(unsigned char)
134*38fd1498Szrj 
135*38fd1498Szrj   /// Explicit specialization for wchar_t.
136*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(wchar_t)
137*38fd1498Szrj 
138*38fd1498Szrj   /// Explicit specialization for char16_t.
139*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(char16_t)
140*38fd1498Szrj 
141*38fd1498Szrj   /// Explicit specialization for char32_t.
142*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(char32_t)
143*38fd1498Szrj 
144*38fd1498Szrj   /// Explicit specialization for short.
145*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(short)
146*38fd1498Szrj 
147*38fd1498Szrj   /// Explicit specialization for int.
148*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(int)
149*38fd1498Szrj 
150*38fd1498Szrj   /// Explicit specialization for long.
151*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(long)
152*38fd1498Szrj 
153*38fd1498Szrj   /// Explicit specialization for long long.
154*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(long long)
155*38fd1498Szrj 
156*38fd1498Szrj   /// Explicit specialization for unsigned short.
157*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(unsigned short)
158*38fd1498Szrj 
159*38fd1498Szrj   /// Explicit specialization for unsigned int.
160*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(unsigned int)
161*38fd1498Szrj 
162*38fd1498Szrj   /// Explicit specialization for unsigned long.
163*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(unsigned long)
164*38fd1498Szrj 
165*38fd1498Szrj   /// Explicit specialization for unsigned long long.
166*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(unsigned long long)
167*38fd1498Szrj 
168*38fd1498Szrj #ifdef __GLIBCXX_TYPE_INT_N_0
169*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(__GLIBCXX_TYPE_INT_N_0)
170*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(__GLIBCXX_TYPE_INT_N_0 unsigned)
171*38fd1498Szrj #endif
172*38fd1498Szrj #ifdef __GLIBCXX_TYPE_INT_N_1
173*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(__GLIBCXX_TYPE_INT_N_1)
174*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(__GLIBCXX_TYPE_INT_N_1 unsigned)
175*38fd1498Szrj #endif
176*38fd1498Szrj #ifdef __GLIBCXX_TYPE_INT_N_2
177*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(__GLIBCXX_TYPE_INT_N_2)
178*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(__GLIBCXX_TYPE_INT_N_2 unsigned)
179*38fd1498Szrj #endif
180*38fd1498Szrj #ifdef __GLIBCXX_TYPE_INT_N_3
181*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(__GLIBCXX_TYPE_INT_N_3)
182*38fd1498Szrj   _Cxx_hashtable_define_trivial_hash(__GLIBCXX_TYPE_INT_N_3 unsigned)
183*38fd1498Szrj #endif
184*38fd1498Szrj 
185*38fd1498Szrj #undef _Cxx_hashtable_define_trivial_hash
186*38fd1498Szrj 
187*38fd1498Szrj   struct _Hash_impl
188*38fd1498Szrj   {
189*38fd1498Szrj     static size_t
190*38fd1498Szrj     hash(const void* __ptr, size_t __clength,
191*38fd1498Szrj 	 size_t __seed = static_cast<size_t>(0xc70f6907UL))
192*38fd1498Szrj     { return _Hash_bytes(__ptr, __clength, __seed); }
193*38fd1498Szrj 
194*38fd1498Szrj     template<typename _Tp>
195*38fd1498Szrj       static size_t
196*38fd1498Szrj       hash(const _Tp& __val)
197*38fd1498Szrj       { return hash(&__val, sizeof(__val)); }
198*38fd1498Szrj 
199*38fd1498Szrj     template<typename _Tp>
200*38fd1498Szrj       static size_t
201*38fd1498Szrj       __hash_combine(const _Tp& __val, size_t __hash)
202*38fd1498Szrj       { return hash(&__val, sizeof(__val), __hash); }
203*38fd1498Szrj   };
204*38fd1498Szrj 
205*38fd1498Szrj   // A hash function similar to FNV-1a (see PR59406 for how it differs).
206*38fd1498Szrj   struct _Fnv_hash_impl
207*38fd1498Szrj   {
208*38fd1498Szrj     static size_t
209*38fd1498Szrj     hash(const void* __ptr, size_t __clength,
210*38fd1498Szrj 	 size_t __seed = static_cast<size_t>(2166136261UL))
211*38fd1498Szrj     { return _Fnv_hash_bytes(__ptr, __clength, __seed); }
212*38fd1498Szrj 
213*38fd1498Szrj     template<typename _Tp>
214*38fd1498Szrj       static size_t
215*38fd1498Szrj       hash(const _Tp& __val)
216*38fd1498Szrj       { return hash(&__val, sizeof(__val)); }
217*38fd1498Szrj 
218*38fd1498Szrj     template<typename _Tp>
219*38fd1498Szrj       static size_t
220*38fd1498Szrj       __hash_combine(const _Tp& __val, size_t __hash)
221*38fd1498Szrj       { return hash(&__val, sizeof(__val), __hash); }
222*38fd1498Szrj   };
223*38fd1498Szrj 
224*38fd1498Szrj   /// Specialization for float.
225*38fd1498Szrj   template<>
226*38fd1498Szrj     struct hash<float> : public __hash_base<size_t, float>
227*38fd1498Szrj     {
228*38fd1498Szrj       size_t
229*38fd1498Szrj       operator()(float __val) const noexcept
230*38fd1498Szrj       {
231*38fd1498Szrj 	// 0 and -0 both hash to zero.
232*38fd1498Szrj 	return __val != 0.0f ? std::_Hash_impl::hash(__val) : 0;
233*38fd1498Szrj       }
234*38fd1498Szrj     };
235*38fd1498Szrj 
236*38fd1498Szrj   /// Specialization for double.
237*38fd1498Szrj   template<>
238*38fd1498Szrj     struct hash<double> : public __hash_base<size_t, double>
239*38fd1498Szrj     {
240*38fd1498Szrj       size_t
241*38fd1498Szrj       operator()(double __val) const noexcept
242*38fd1498Szrj       {
243*38fd1498Szrj 	// 0 and -0 both hash to zero.
244*38fd1498Szrj 	return __val != 0.0 ? std::_Hash_impl::hash(__val) : 0;
245*38fd1498Szrj       }
246*38fd1498Szrj     };
247*38fd1498Szrj 
248*38fd1498Szrj   /// Specialization for long double.
249*38fd1498Szrj   template<>
250*38fd1498Szrj     struct hash<long double>
251*38fd1498Szrj     : public __hash_base<size_t, long double>
252*38fd1498Szrj     {
253*38fd1498Szrj       _GLIBCXX_PURE size_t
254*38fd1498Szrj       operator()(long double __val) const noexcept;
255*38fd1498Szrj     };
256*38fd1498Szrj 
257*38fd1498Szrj   // @} group hashes
258*38fd1498Szrj 
259*38fd1498Szrj   // Hint about performance of hash functor. If not fast the hash-based
260*38fd1498Szrj   // containers will cache the hash code.
261*38fd1498Szrj   // Default behavior is to consider that hashers are fast unless specified
262*38fd1498Szrj   // otherwise.
263*38fd1498Szrj   template<typename _Hash>
264*38fd1498Szrj     struct __is_fast_hash : public std::true_type
265*38fd1498Szrj     { };
266*38fd1498Szrj 
267*38fd1498Szrj   template<>
268*38fd1498Szrj     struct __is_fast_hash<hash<long double>> : public std::false_type
269*38fd1498Szrj     { };
270*38fd1498Szrj 
271*38fd1498Szrj _GLIBCXX_END_NAMESPACE_VERSION
272*38fd1498Szrj } // namespace
273*38fd1498Szrj 
274*38fd1498Szrj #endif // _FUNCTIONAL_HASH_H
275