Jeff Thompson | a28eed8 | 2013-08-22 16:21:10 -0700 | [diff] [blame^] | 1 | |
| 2 | // Copyright (C) 2003-2004 Jeremy B. Maitin-Shepard. |
| 3 | // Copyright (C) 2005-2011 Daniel James |
| 4 | // Distributed under the Boost Software License, Version 1.0. (See accompanying |
| 5 | // file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt) |
| 6 | |
| 7 | #ifndef BOOST_UNORDERED_DETAIL_UTIL_HPP_INCLUDED |
| 8 | #define BOOST_UNORDERED_DETAIL_UTIL_HPP_INCLUDED |
| 9 | |
| 10 | #if defined(_MSC_VER) && (_MSC_VER >= 1020) |
| 11 | # pragma once |
| 12 | #endif |
| 13 | |
| 14 | #include <ndnboost/type_traits/is_convertible.hpp> |
| 15 | #include <ndnboost/type_traits/is_empty.hpp> |
| 16 | #include <ndnboost/iterator/iterator_categories.hpp> |
| 17 | #include <ndnboost/utility/enable_if.hpp> |
| 18 | #include <ndnboost/detail/select_type.hpp> |
| 19 | #include <ndnboost/move/move.hpp> |
| 20 | #include <ndnboost/preprocessor/seq/size.hpp> |
| 21 | #include <ndnboost/preprocessor/seq/enum.hpp> |
| 22 | #include <ndnboost/swap.hpp> |
| 23 | |
| 24 | namespace ndnboost { namespace unordered { namespace detail { |
| 25 | |
| 26 | static const float minimum_max_load_factor = 1e-3f; |
| 27 | static const std::size_t default_bucket_count = 11; |
| 28 | struct move_tag {}; |
| 29 | struct empty_emplace {}; |
| 30 | |
| 31 | //////////////////////////////////////////////////////////////////////////// |
| 32 | // iterator SFINAE |
| 33 | |
| 34 | template <typename I> |
| 35 | struct is_forward : |
| 36 | ndnboost::is_convertible< |
| 37 | typename ndnboost::iterator_traversal<I>::type, |
| 38 | ndnboost::forward_traversal_tag> |
| 39 | {}; |
| 40 | |
| 41 | template <typename I, typename ReturnType> |
| 42 | struct enable_if_forward : |
| 43 | ndnboost::enable_if_c< |
| 44 | ndnboost::unordered::detail::is_forward<I>::value, |
| 45 | ReturnType> |
| 46 | {}; |
| 47 | |
| 48 | template <typename I, typename ReturnType> |
| 49 | struct disable_if_forward : |
| 50 | ndnboost::disable_if_c< |
| 51 | ndnboost::unordered::detail::is_forward<I>::value, |
| 52 | ReturnType> |
| 53 | {}; |
| 54 | |
| 55 | //////////////////////////////////////////////////////////////////////////// |
| 56 | // primes |
| 57 | |
| 58 | #define BOOST_UNORDERED_PRIMES \ |
| 59 | (17ul)(29ul)(37ul)(53ul)(67ul)(79ul) \ |
| 60 | (97ul)(131ul)(193ul)(257ul)(389ul)(521ul)(769ul) \ |
| 61 | (1031ul)(1543ul)(2053ul)(3079ul)(6151ul)(12289ul)(24593ul) \ |
| 62 | (49157ul)(98317ul)(196613ul)(393241ul)(786433ul) \ |
| 63 | (1572869ul)(3145739ul)(6291469ul)(12582917ul)(25165843ul) \ |
| 64 | (50331653ul)(100663319ul)(201326611ul)(402653189ul)(805306457ul) \ |
| 65 | (1610612741ul)(3221225473ul)(4294967291ul) |
| 66 | |
| 67 | template<class T> struct prime_list_template |
| 68 | { |
| 69 | static std::size_t const value[]; |
| 70 | |
| 71 | #if !defined(SUNPRO_CC) |
| 72 | static std::ptrdiff_t const length; |
| 73 | #else |
| 74 | static std::ptrdiff_t const length |
| 75 | = BOOST_PP_SEQ_SIZE(BOOST_UNORDERED_PRIMES); |
| 76 | #endif |
| 77 | }; |
| 78 | |
| 79 | template<class T> |
| 80 | std::size_t const prime_list_template<T>::value[] = { |
| 81 | BOOST_PP_SEQ_ENUM(BOOST_UNORDERED_PRIMES) |
| 82 | }; |
| 83 | |
| 84 | #if !defined(SUNPRO_CC) |
| 85 | template<class T> |
| 86 | std::ptrdiff_t const prime_list_template<T>::length |
| 87 | = BOOST_PP_SEQ_SIZE(BOOST_UNORDERED_PRIMES); |
| 88 | #endif |
| 89 | |
| 90 | #undef BOOST_UNORDERED_PRIMES |
| 91 | |
| 92 | typedef prime_list_template<std::size_t> prime_list; |
| 93 | |
| 94 | // no throw |
| 95 | inline std::size_t next_prime(std::size_t num) { |
| 96 | std::size_t const* const prime_list_begin = prime_list::value; |
| 97 | std::size_t const* const prime_list_end = prime_list_begin + |
| 98 | prime_list::length; |
| 99 | std::size_t const* bound = |
| 100 | std::lower_bound(prime_list_begin, prime_list_end, num); |
| 101 | if(bound == prime_list_end) |
| 102 | bound--; |
| 103 | return *bound; |
| 104 | } |
| 105 | |
| 106 | // no throw |
| 107 | inline std::size_t prev_prime(std::size_t num) { |
| 108 | std::size_t const* const prime_list_begin = prime_list::value; |
| 109 | std::size_t const* const prime_list_end = prime_list_begin + |
| 110 | prime_list::length; |
| 111 | std::size_t const* bound = |
| 112 | std::upper_bound(prime_list_begin,prime_list_end, num); |
| 113 | if(bound != prime_list_begin) |
| 114 | bound--; |
| 115 | return *bound; |
| 116 | } |
| 117 | |
| 118 | //////////////////////////////////////////////////////////////////////////// |
| 119 | // insert_size/initial_size |
| 120 | |
| 121 | #if !defined(BOOST_NO_STD_DISTANCE) |
| 122 | |
| 123 | using ::std::distance; |
| 124 | |
| 125 | #else |
| 126 | |
| 127 | template <class ForwardIterator> |
| 128 | inline std::size_t distance(ForwardIterator i, ForwardIterator j) { |
| 129 | std::size_t x; |
| 130 | std::distance(i, j, x); |
| 131 | return x; |
| 132 | } |
| 133 | |
| 134 | #endif |
| 135 | |
| 136 | template <class I> |
| 137 | inline typename |
| 138 | ndnboost::unordered::detail::enable_if_forward<I, std::size_t>::type |
| 139 | insert_size(I i, I j) |
| 140 | { |
| 141 | return std::distance(i, j); |
| 142 | } |
| 143 | |
| 144 | template <class I> |
| 145 | inline typename |
| 146 | ndnboost::unordered::detail::disable_if_forward<I, std::size_t>::type |
| 147 | insert_size(I, I) |
| 148 | { |
| 149 | return 1; |
| 150 | } |
| 151 | |
| 152 | template <class I> |
| 153 | inline std::size_t initial_size(I i, I j, |
| 154 | std::size_t num_buckets = |
| 155 | ndnboost::unordered::detail::default_bucket_count) |
| 156 | { |
| 157 | // TODO: Why +1? |
| 158 | return (std::max)( |
| 159 | ndnboost::unordered::detail::insert_size(i, j) + 1, |
| 160 | num_buckets); |
| 161 | } |
| 162 | |
| 163 | //////////////////////////////////////////////////////////////////////////// |
| 164 | // compressed |
| 165 | |
| 166 | template <typename T, int Index> |
| 167 | struct compressed_base : private T |
| 168 | { |
| 169 | compressed_base(T const& x) : T(x) {} |
| 170 | compressed_base(T& x, move_tag) : T(ndnboost::move(x)) {} |
| 171 | |
| 172 | T& get() { return *this; } |
| 173 | T const& get() const { return *this; } |
| 174 | }; |
| 175 | |
| 176 | template <typename T, int Index> |
| 177 | struct uncompressed_base |
| 178 | { |
| 179 | uncompressed_base(T const& x) : value_(x) {} |
| 180 | uncompressed_base(T& x, move_tag) : value_(ndnboost::move(x)) {} |
| 181 | |
| 182 | T& get() { return value_; } |
| 183 | T const& get() const { return value_; } |
| 184 | private: |
| 185 | T value_; |
| 186 | }; |
| 187 | |
| 188 | template <typename T, int Index> |
| 189 | struct generate_base |
| 190 | : ndnboost::detail::if_true< |
| 191 | ndnboost::is_empty<T>::value |
| 192 | >:: BOOST_NESTED_TEMPLATE then< |
| 193 | ndnboost::unordered::detail::compressed_base<T, Index>, |
| 194 | ndnboost::unordered::detail::uncompressed_base<T, Index> |
| 195 | > |
| 196 | {}; |
| 197 | |
| 198 | template <typename T1, typename T2> |
| 199 | struct compressed |
| 200 | : private ndnboost::unordered::detail::generate_base<T1, 1>::type, |
| 201 | private ndnboost::unordered::detail::generate_base<T2, 2>::type |
| 202 | { |
| 203 | typedef typename generate_base<T1, 1>::type base1; |
| 204 | typedef typename generate_base<T2, 2>::type base2; |
| 205 | |
| 206 | typedef T1 first_type; |
| 207 | typedef T2 second_type; |
| 208 | |
| 209 | first_type& first() { |
| 210 | return static_cast<base1*>(this)->get(); |
| 211 | } |
| 212 | |
| 213 | first_type const& first() const { |
| 214 | return static_cast<base1 const*>(this)->get(); |
| 215 | } |
| 216 | |
| 217 | second_type& second() { |
| 218 | return static_cast<base2*>(this)->get(); |
| 219 | } |
| 220 | |
| 221 | second_type const& second() const { |
| 222 | return static_cast<base2 const*>(this)->get(); |
| 223 | } |
| 224 | |
| 225 | template <typename First, typename Second> |
| 226 | compressed(First const& x1, Second const& x2) |
| 227 | : base1(x1), base2(x2) {} |
| 228 | |
| 229 | compressed(compressed const& x) |
| 230 | : base1(x.first()), base2(x.second()) {} |
| 231 | |
| 232 | compressed(compressed& x, move_tag m) |
| 233 | : base1(x.first(), m), base2(x.second(), m) {} |
| 234 | |
| 235 | void assign(compressed const& x) |
| 236 | { |
| 237 | first() = x.first(); |
| 238 | second() = x.second(); |
| 239 | } |
| 240 | |
| 241 | void move_assign(compressed& x) |
| 242 | { |
| 243 | first() = ndnboost::move(x.first()); |
| 244 | second() = ndnboost::move(x.second()); |
| 245 | } |
| 246 | |
| 247 | void swap(compressed& x) |
| 248 | { |
| 249 | ndnboost::swap(first(), x.first()); |
| 250 | ndnboost::swap(second(), x.second()); |
| 251 | } |
| 252 | |
| 253 | private: |
| 254 | // Prevent assignment just to make use of assign or |
| 255 | // move_assign explicit. |
| 256 | compressed& operator=(compressed const&); |
| 257 | }; |
| 258 | }}} |
| 259 | |
| 260 | #endif |