2 // Copyright 2005-2009 Daniel James.
3 // Distributed under the Boost Software License, Version 1.0. (See accompanying
4 // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
6 // Based on Peter Dimov's proposal
7 // http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2005/n1756.pdf
10 // This implements the extensions to the standard.
11 // It's undocumented, so you shouldn't use it....
13 #if !defined(BOOST_FUNCTIONAL_HASH_EXTENSIONS_HPP)
14 #define BOOST_FUNCTIONAL_HASH_EXTENSIONS_HPP
16 #include <boost/config.hpp>
17 #if defined(BOOST_HAS_PRAGMA_ONCE)
21 #include <boost/functional/hash/hash.hpp>
22 #include <boost/detail/container_fwd.hpp>
23 #include <boost/utility/enable_if.hpp>
24 #include <boost/static_assert.hpp>
25 #include <boost/preprocessor/repetition/repeat_from_to.hpp>
26 #include <boost/preprocessor/repetition/enum_params.hpp>
28 #if !defined(BOOST_NO_CXX11_HDR_ARRAY)
32 #if !defined(BOOST_NO_CXX11_HDR_TUPLE)
36 #if !defined(BOOST_NO_CXX11_HDR_MEMORY)
40 #if defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING)
41 #include <boost/type_traits/is_array.hpp>
46 template <class A, class B>
47 std::size_t hash_value(std::pair<A, B> const&);
48 template <class T, class A>
49 std::size_t hash_value(std::vector<T, A> const&);
50 template <class T, class A>
51 std::size_t hash_value(std::list<T, A> const& v);
52 template <class T, class A>
53 std::size_t hash_value(std::deque<T, A> const& v);
54 template <class K, class C, class A>
55 std::size_t hash_value(std::set<K, C, A> const& v);
56 template <class K, class C, class A>
57 std::size_t hash_value(std::multiset<K, C, A> const& v);
58 template <class K, class T, class C, class A>
59 std::size_t hash_value(std::map<K, T, C, A> const& v);
60 template <class K, class T, class C, class A>
61 std::size_t hash_value(std::multimap<K, T, C, A> const& v);
64 std::size_t hash_value(std::complex<T> const&);
66 template <class A, class B>
67 std::size_t hash_value(std::pair<A, B> const& v)
70 boost::hash_combine(seed, v.first);
71 boost::hash_combine(seed, v.second);
75 template <class T, class A>
76 std::size_t hash_value(std::vector<T, A> const& v)
78 return boost::hash_range(v.begin(), v.end());
81 template <class T, class A>
82 std::size_t hash_value(std::list<T, A> const& v)
84 return boost::hash_range(v.begin(), v.end());
87 template <class T, class A>
88 std::size_t hash_value(std::deque<T, A> const& v)
90 return boost::hash_range(v.begin(), v.end());
93 template <class K, class C, class A>
94 std::size_t hash_value(std::set<K, C, A> const& v)
96 return boost::hash_range(v.begin(), v.end());
99 template <class K, class C, class A>
100 std::size_t hash_value(std::multiset<K, C, A> const& v)
102 return boost::hash_range(v.begin(), v.end());
105 template <class K, class T, class C, class A>
106 std::size_t hash_value(std::map<K, T, C, A> const& v)
108 return boost::hash_range(v.begin(), v.end());
111 template <class K, class T, class C, class A>
112 std::size_t hash_value(std::multimap<K, T, C, A> const& v)
114 return boost::hash_range(v.begin(), v.end());
118 std::size_t hash_value(std::complex<T> const& v)
120 boost::hash<T> hasher;
121 std::size_t seed = hasher(v.imag());
122 seed ^= hasher(v.real()) + (seed<<6) + (seed>>2);
126 #if !defined(BOOST_NO_CXX11_HDR_ARRAY)
127 template <class T, std::size_t N>
128 std::size_t hash_value(std::array<T, N> const& v)
130 return boost::hash_range(v.begin(), v.end());
134 #if !defined(BOOST_NO_CXX11_HDR_TUPLE)
135 namespace hash_detail {
136 template <std::size_t I, typename T>
137 inline typename boost::enable_if_c<(I == std::tuple_size<T>::value),
139 hash_combine_tuple(std::size_t&, T const&)
143 template <std::size_t I, typename T>
144 inline typename boost::enable_if_c<(I < std::tuple_size<T>::value),
146 hash_combine_tuple(std::size_t& seed, T const& v)
148 boost::hash_combine(seed, std::get<I>(v));
149 boost::hash_detail::hash_combine_tuple<I + 1>(seed, v);
152 template <typename T>
153 inline std::size_t hash_tuple(T const& v)
155 std::size_t seed = 0;
156 boost::hash_detail::hash_combine_tuple<0>(seed, v);
161 #if !defined(BOOST_NO_CXX11_VARIADIC_TEMPLATES)
162 template <typename... T>
163 inline std::size_t hash_value(std::tuple<T...> const& v)
165 return boost::hash_detail::hash_tuple(v);
169 inline std::size_t hash_value(std::tuple<> const& v)
171 return boost::hash_detail::hash_tuple(v);
174 # define BOOST_HASH_TUPLE_F(z, n, _) \
176 BOOST_PP_ENUM_PARAMS_Z(z, n, typename A) \
178 inline std::size_t hash_value(std::tuple< \
179 BOOST_PP_ENUM_PARAMS_Z(z, n, A) \
182 return boost::hash_detail::hash_tuple(v); \
185 BOOST_PP_REPEAT_FROM_TO(1, 11, BOOST_HASH_TUPLE_F, _)
186 # undef BOOST_HASH_TUPLE_F
191 #if !defined(BOOST_NO_CXX11_SMART_PTR)
192 template <typename T>
193 inline std::size_t hash_value(std::shared_ptr<T> const& x) {
194 return boost::hash_value(x.get());
197 template <typename T, typename Deleter>
198 inline std::size_t hash_value(std::unique_ptr<T, Deleter> const& x) {
199 return boost::hash_value(x.get());
207 // On compilers without function template ordering, this deals with arrays.
209 #if defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING)
210 namespace hash_detail
212 template <bool IsArray>
213 struct call_hash_impl
218 static std::size_t call(T const& v)
220 using namespace boost;
221 return hash_value(v);
227 struct call_hash_impl<true>
229 template <class Array>
232 static std::size_t call(Array const& v)
234 const int size = sizeof(v) / sizeof(*v);
235 return boost::hash_range(v, v + size);
242 : public call_hash_impl<boost::is_array<T>::value>
243 ::BOOST_NESTED_TEMPLATE inner<T>
247 #endif // BOOST_NO_FUNCTION_TEMPLATE_ORDERING
254 #if !defined(BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION)
256 template <class T> struct hash
257 : boost::hash_detail::hash_base<T>
259 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING)
260 std::size_t operator()(T const& val) const
262 return hash_value(val);
265 std::size_t operator()(T const& val) const
267 return hash_detail::call_hash<T>::call(val);
272 #if BOOST_WORKAROUND(__DMC__, <= 0x848)
273 template <class T, unsigned int n> struct hash<T[n]>
274 : boost::hash_detail::hash_base<T[n]>
276 std::size_t operator()(const T* val) const
278 return boost::hash_range(val, val+n);
283 #else // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION
285 // On compilers without partial specialization, boost::hash<T>
286 // has already been declared to deal with pointers, so just
287 // need to supply the non-pointer version of hash_impl.
289 namespace hash_detail
291 template <bool IsPointer>
295 struct hash_impl<false>
299 : boost::hash_detail::hash_base<T>
301 #if !defined(BOOST_NO_FUNCTION_TEMPLATE_ORDERING)
302 std::size_t operator()(T const& val) const
304 return hash_value(val);
307 std::size_t operator()(T const& val) const
309 return hash_detail::call_hash<T>::call(val);
315 #endif // BOOST_NO_TEMPLATE_PARTIAL_SPECIALIZATION