Newer
Older
// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
// vi: set et ts=4 sw=2 sts=2:
#ifndef DUNE_COMMON_HASH_HH
#define DUNE_COMMON_HASH_HH
#include <functional>
#include <dune/common/typetraits.hh>
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
/**
* \file
* \brief Support for calculating hash values of objects.
*
* This file provides the functor Dune::hash to calculate hash values and
* some infrastructure to simplify extending Dune::hash for user-defined types,
* independent of the actual underlying implementation.
*
*/
// ********************************************************************************
// Doxygen documentation
// ********************************************************************************
#ifdef DOXYGEN
namespace Dune {
//! Functor for hashing objects of type T.
/**
* The interface outlined below is compatible with std::hash, std::tr1::hash and
* boost::hash, so it is possible to use Dune::hash in associative containers from
* those libraries.
*/
template<typename T>
struct hash
{
//! Calculates the hash of t.
std::size_t operator()(const T& t) const
{
return hash(t);
}
};
}
//! Defines the required struct specialization to make type hashable via `Dune::hash`.
/**
* In order to calculate the hash, operator() of the generated specialization will
* return the result of an unqualified call to the global function `hash_value(const type&)`.
* As the call is not qualified, the function will be found using argument-dependent lookup,
* allowing implementors to conveniently place it inside the class body.
*
* Consider the following type:
*
* \code
* namespace ns {
* template<typename A, int i>
* class Foo
* {
* ...
* };
* }
* \endcode
*
* In order to add support for `Dune::hash`, you need to extend the definition like this:
*
* \code
* namespace ns {
* template<typename A, int i>
* class Foo
* {
* ...
* // The keyword "friend" turns this into a global function that is a friend of Foo.
* inline friend std::size_t hash_value(const Foo& arg)
* {
* return ...;
* }
* };
* }
*
* // Define hash struct specialization
* DUNE_DEFINE_HASH(DUNE_HASH_TEMPLATE_ARGS(typename A, int i),DUNE_HASH_TYPE(Foo<A,i>))
* \endcode
*
* \warning
* As the specialization has to be placed in the original namespace of the
* `hash` struct (e.g. `std`), this macro *must* be called from the global namespace!
*
* \param template_args The template arguments required by the hash struct specialization,
* wrapped in a call to DUNE_HASH_TEMPLATE_ARGS. If this is a complete
* specialization, call DUNE_HASH_TEMPLATE_ARGS without arguments.
* \param type The exact type of the specialization, wrapped in a call to DUNE_HASH_TYPE.
*/
#define DUNE_DEFINE_HASH(template_args,type)
//! Wrapper macro for the template arguments in DUNE_DEFINE_HASH.
/**
* This macro should always be used as a wrapper for the template arguments when calling DUNE_DEFINE_HASH.
* It works around some preprocessor limitations when the template arguments contain commas or the list
* is completely empty.
*/
#define DUNE_HASH_TEMPLATE_ARGS(...)
//! Wrapper macro for the type to be hashed in DUNE_DEFINE_HASH.
/**
* This macro should always be used as a wrapper for the type of the specialization when calling
* DUNE_DEFINE_HASH.
* It works around some preprocessor limitations when the type contains commas.
*/
#define DUNE_HASH_TYPE(...)
#else // DOXYGEN - hide all the ugly implementation
// ********************************************************************************
// C++11 support
// ********************************************************************************
// import std::hash into Dune namespace
namespace Dune {
using std::hash;
}
// Macro for defining a std::hash specialization for type.
// This should not be called directly. Call DUNE_DEFINE_HASH
// instead.
Steffen Müthing
committed
#define DUNE_DEFINE_STD_HASH(template_args,type) \
namespace std { \
\
Steffen Müthing
committed
\
typedef type argument_type; \
typedef std::size_t result_type; \
\
std::size_t operator()(const type& arg) const \
{ \
return hash_value(arg); \
} \
}; \
Steffen Müthing
committed
\
} \
// Wrapper macro for template arguments.
// This is required because the template arguments can contain commas,
// which will create a macro argument list of unknown length. That in itself
// would not be a problem, but DUNE_DEFINE_HASH has to be called with two argument
// lists of unknown length. So this macro wraps its arguments with parentheses,
// turning it into a single argument. The result is used as the parameter list of
// an expansion macro in the calls to the implementation-specific macros
// for C++11 and TR1. Noto that technically, this trick is only legal for C++11,
// but pretty much every compiler supports variadic macros in C++03 mode, as they
// are part of C99.
#define DUNE_HASH_TEMPLATE_ARGS(...) (__VA_ARGS__)
// Wrapper macro for type to be hashed.
// See above for rationale.
#define DUNE_HASH_TYPE(...) (__VA_ARGS__)
// Expansion macro for the parenthesed argument lists created by
// DUNE_HASH_TEMPLATE_ARGS and DUNE_HASH_TYPE.
#define DUNE_HASH_EXPAND_VA_ARGS(...) __VA_ARGS__
// Define specializations for all discovered hash implementations.
#define DUNE_DEFINE_HASH(template_args,type) \
DUNE_DEFINE_STD_HASH(DUNE_HASH_EXPAND_VA_ARGS template_args, DUNE_HASH_EXPAND_VA_ARGS type) \
// ********************************************************************************
// Some utility functions for combining hashes of member variables.
// ********************************************************************************
namespace Dune {
// The following functions are an implementation of the proposed hash extensions for
// the C++ standard by Peter Dimov
// (cf. http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2005/n1756.pdf, issue 6.18).
// They are also contained in the boost::functional::hash library by Daniel James, but
// that implementation uses boost::hash internally, while we want to use Dune::hash. They
// are also considered for inclusion in TR2 (then based on std::hash, of course).
Steffen Müthing
committed
#ifndef DOXYGEN
// helper struct for providing different hash combining algorithms dependent on
// the size of size_t.
// hash_combiner has to be specialized for the size (in bytes) of std::size_t.
// Specialized versions should provide a method
//
// template <typename typeof_size_t, typename T>
// void operator()(typeof_size_t& seed, const T& arg) const;
Steffen Müthing
committed
//
// that will be called by the interface function hash_combine() described further below.
// The redundant template parameter typeof_size_t is needed to avoid warnings for the
// unused 64-bit specialization on 32-bit systems.
Steffen Müthing
committed
//
// There is no default implementation!
template<int sizeof_size_t>
struct hash_combiner;
// hash combining for 64-bit platforms.
template<>
struct hash_combiner<8>
{
template<typename typeof_size_t, typename T>
void operator()(typeof_size_t& seed, const T& arg) const
Steffen Müthing
committed
{
static_assert(sizeof(typeof_size_t)==8, "hash_combiner::operator() instantiated with nonmatching type and size");
Steffen Müthing
committed
// The following algorithm for combining two 64-bit hash values is inspired by a similar
// function in CityHash (http://cityhash.googlecode.com/svn-history/r2/trunk/src/city.h),
// which is in turn based on ideas from the MurmurHash library. The basic idea is easy to
// grasp, though: New information is XORed into the existing hash multiple times at different
// places (using shift operations), and the resulting pattern is spread over the complete
// range of available bits via multiplication with a "magic" constant. The constants used
// below (47 and 0x9ddfea08eb382d69ULL) are taken from the CityHash implementation.
//
// We opted not to use the mixing algorithm proposed in the C++ working group defect list at
// http://www.open-std.org/JTC1/SC22/WG21/docs/papers/2005/n1756.pdf, p. 57f. because it
// has very bad hash distribution properties if you apply it to lists of very small numbers,
// an application that is frequent in PDELab's ordering framework.
Dune::hash<T> hasher;
const typeof_size_t kMul = 0x9ddfea08eb382d69ULL;
typeof_size_t h = hasher(arg);
typeof_size_t a = (seed ^ h) * kMul;
Steffen Müthing
committed
a ^= (a >> 47);
typeof_size_t b = (h ^ a) * kMul;
Steffen Müthing
committed
b ^= (b >> 47);
b *= kMul;
seed = b;
}
};
// hash combining for 32-bit platforms.
template<>
struct hash_combiner<4>
{
template<typename typeof_size_t, typename T>
void operator()(typeof_size_t& seed, const T& arg) const
Steffen Müthing
committed
{
static_assert(sizeof(typeof_size_t)==4, "hash_combiner::operator() instantiated with nonmatching type and size");
Steffen Müthing
committed
// The default algorithm above requires a 64-bit std::size_t. The following algorithm is a
// 32-bit compatible fallback, again inspired by CityHash and MurmurHash
// (http://cityhash.googlecode.com/svn-history/r2/trunk/src/city.cc).
// It uses 32-bit constants and relies on rotation instead of multiplication to spread the
// mixed bits as that is apparently more efficient on IA-32. The constants used below are again
// taken from CityHash, in particular from the file referenced above.
Dune::hash<T> hasher;
const typeof_size_t c1 = 0xcc9e2d51;
const typeof_size_t c2 = 0x1b873593;
const typeof_size_t c3 = 0xe6546b64;
typeof_size_t h = hasher(arg);
typeof_size_t a = seed * c1;
Steffen Müthing
committed
a = (a >> 17) | (a << (32 - 17));
a *= c2;
h ^= a;
h = (h >> 19) | (h << (32 - 19));
seed = h * 5 + c3;
}
};
#endif // DOXYGEN
//! Calculates the hash value of arg and combines it in-place with seed.
/**
*
* \param seed The hash value that will be combined with the hash of arg.
* \param arg The object for which to calculate a hash value and combine it with seed.
*/
template<typename T>
inline void hash_combine(std::size_t& seed, const T& arg)
{
Steffen Müthing
committed
hash_combiner<sizeof(std::size_t)>()(seed,arg);
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
}
//! Hashes all elements in the range [first,last) and returns the combined hash.
/**
*
* \param first Iterator pointing to the first object to hash.
* \param last Iterator pointing one past the last object to hash.
* \returns The result of hashing all objects in the range and combining them
* using hash_combine() in sequential fashion, starting with seed 0.
*/
template<typename It>
inline std::size_t hash_range(It first, It last)
{
std::size_t seed = 0;
for (; first != last; ++first)
{
hash_combine(seed,*first);
}
return seed;
}
//! Hashes all elements in the range [first,last) and combines the hashes in-place with seed.
/**
*
* \param seed Start value that will be combined with the hash values of all objects in
* the range using hash_combine() in sequential fashion.
* \param first Iterator pointing to the first ojbect to hash.
* \param last Iterator pointing one past the last object to hash.
*/
template<typename It>
inline void hash_range(std::size_t& seed, It first, It last)
{
for (; first != last; ++first)
{
hash_combine(seed,*first);
}
}
} // end namespace Dune
#endif // DUNE_COMMON_HASH_HH