[857] | 1 | // --------------------------------------------------
|
---|
| 2 | //
|
---|
| 3 | // (C) Copyright Chuck Allison and Jeremy Siek 2001 - 2002.
|
---|
| 4 | // (C) Copyright Gennaro Prota 2003 - 2004.
|
---|
| 5 | //
|
---|
| 6 | // Distributed under the Boost Software License, Version 1.0.
|
---|
| 7 | // (See accompanying file LICENSE_1_0.txt or copy at
|
---|
| 8 | // http://www.boost.org/LICENSE_1_0.txt)
|
---|
| 9 | //
|
---|
| 10 | // -----------------------------------------------------------
|
---|
| 11 |
|
---|
| 12 | // See http://www.boost.org/libs/dynamic_bitset for documentation.
|
---|
| 13 |
|
---|
| 14 |
|
---|
| 15 | #ifndef BOOST_DETAIL_DYNAMIC_BITSET_HPP
|
---|
| 16 | #define BOOST_DETAIL_DYNAMIC_BITSET_HPP
|
---|
| 17 |
|
---|
| 18 | #include <cstddef> // for std::size_t
|
---|
| 19 | #include "boost/config.hpp"
|
---|
| 20 | #include "boost/detail/workaround.hpp"
|
---|
| 21 | //#include "boost/static_assert.hpp" // gps
|
---|
| 22 |
|
---|
| 23 |
|
---|
| 24 | namespace boost {
|
---|
| 25 |
|
---|
| 26 | namespace detail {
|
---|
| 27 |
|
---|
| 28 | // Gives (read-)access to the object representation
|
---|
| 29 | // of an object of type T (3.9p4). CANNOT be used
|
---|
| 30 | // on a base sub-object
|
---|
| 31 | //
|
---|
| 32 | template <typename T>
|
---|
| 33 | inline const unsigned char * object_representation (T* p)
|
---|
| 34 | {
|
---|
| 35 | return static_cast<const unsigned char *>(static_cast<const void *>(p));
|
---|
| 36 | }
|
---|
| 37 |
|
---|
| 38 |
|
---|
| 39 | // ------- count function implementation --------------
|
---|
| 40 |
|
---|
| 41 | namespace dynamic_bitset_count_impl {
|
---|
| 42 |
|
---|
| 43 | typedef unsigned char byte_type;
|
---|
| 44 |
|
---|
| 45 | enum mode { access_by_bytes, access_by_blocks };
|
---|
| 46 |
|
---|
| 47 | template <mode> struct mode_to_type {};
|
---|
| 48 |
|
---|
| 49 | // the table: wrapped in a class template, so
|
---|
| 50 | // that it is only instantiated if/when needed
|
---|
| 51 | //
|
---|
| 52 | template <bool dummy_name = true>
|
---|
| 53 | struct count_table { static const byte_type table[]; };
|
---|
| 54 |
|
---|
| 55 | template <>
|
---|
| 56 | struct count_table<false> { /* no table */ };
|
---|
| 57 |
|
---|
| 58 |
|
---|
| 59 | const unsigned int table_width = 8;
|
---|
| 60 | template <bool b>
|
---|
| 61 | const byte_type count_table<b>::table[] =
|
---|
| 62 | {
|
---|
| 63 | // Automatically generated by GPTableGen.exe v.1.0
|
---|
| 64 | //
|
---|
| 65 | 0, 1, 1, 2, 1, 2, 2, 3, 1, 2, 2, 3, 2, 3, 3, 4, 1, 2, 2, 3, 2, 3, 3, 4, 2, 3, 3, 4, 3, 4, 4, 5,
|
---|
| 66 | 1, 2, 2, 3, 2, 3, 3, 4, 2, 3, 3, 4, 3, 4, 4, 5, 2, 3, 3, 4, 3, 4, 4, 5, 3, 4, 4, 5, 4, 5, 5, 6,
|
---|
| 67 | 1, 2, 2, 3, 2, 3, 3, 4, 2, 3, 3, 4, 3, 4, 4, 5, 2, 3, 3, 4, 3, 4, 4, 5, 3, 4, 4, 5, 4, 5, 5, 6,
|
---|
| 68 | 2, 3, 3, 4, 3, 4, 4, 5, 3, 4, 4, 5, 4, 5, 5, 6, 3, 4, 4, 5, 4, 5, 5, 6, 4, 5, 5, 6, 5, 6, 6, 7,
|
---|
| 69 | 1, 2, 2, 3, 2, 3, 3, 4, 2, 3, 3, 4, 3, 4, 4, 5, 2, 3, 3, 4, 3, 4, 4, 5, 3, 4, 4, 5, 4, 5, 5, 6,
|
---|
| 70 | 2, 3, 3, 4, 3, 4, 4, 5, 3, 4, 4, 5, 4, 5, 5, 6, 3, 4, 4, 5, 4, 5, 5, 6, 4, 5, 5, 6, 5, 6, 6, 7,
|
---|
| 71 | 2, 3, 3, 4, 3, 4, 4, 5, 3, 4, 4, 5, 4, 5, 5, 6, 3, 4, 4, 5, 4, 5, 5, 6, 4, 5, 5, 6, 5, 6, 6, 7,
|
---|
| 72 | 3, 4, 4, 5, 4, 5, 5, 6, 4, 5, 5, 6, 5, 6, 6, 7, 4, 5, 5, 6, 5, 6, 6, 7, 5, 6, 6, 7, 6, 7, 7, 8
|
---|
| 73 | };
|
---|
| 74 |
|
---|
| 75 |
|
---|
| 76 | // overload for access by bytes
|
---|
| 77 | //
|
---|
| 78 |
|
---|
| 79 | template <typename Iterator>
|
---|
| 80 | inline std::size_t do_count(Iterator first, std::size_t length,
|
---|
| 81 | int /*dummy param*/,
|
---|
| 82 | mode_to_type<access_by_bytes>* )
|
---|
| 83 | {
|
---|
| 84 | std::size_t num = 0;
|
---|
| 85 | if (length)
|
---|
| 86 | {
|
---|
| 87 | const byte_type * p = object_representation(&*first);
|
---|
| 88 | length *= sizeof(*first);
|
---|
| 89 |
|
---|
| 90 | do {
|
---|
| 91 | num += count_table<>::table[*p];
|
---|
| 92 | ++p;
|
---|
| 93 | --length;
|
---|
| 94 |
|
---|
| 95 | } while (length);
|
---|
| 96 | }
|
---|
| 97 |
|
---|
| 98 | return num;
|
---|
| 99 | }
|
---|
| 100 |
|
---|
| 101 |
|
---|
| 102 | // overload for access by blocks
|
---|
| 103 | //
|
---|
| 104 | template <typename Iterator, typename ValueType>
|
---|
| 105 | inline std::size_t do_count(Iterator first, std::size_t length, ValueType,
|
---|
| 106 | mode_to_type<access_by_blocks>*)
|
---|
| 107 | {
|
---|
| 108 | std::size_t num = 0;
|
---|
| 109 | while (length){
|
---|
| 110 |
|
---|
| 111 | ValueType value = *first;
|
---|
| 112 | while (value) {
|
---|
| 113 | num += count_table<>::table[value & ((1u<<table_width) - 1)];
|
---|
| 114 | value >>= table_width;
|
---|
| 115 | }
|
---|
| 116 |
|
---|
| 117 | ++first;
|
---|
| 118 | --length;
|
---|
| 119 | }
|
---|
| 120 |
|
---|
| 121 | return num;
|
---|
| 122 | }
|
---|
| 123 |
|
---|
| 124 |
|
---|
| 125 | } // dynamic_bitset_count_impl
|
---|
| 126 | // -------------------------------------------------------
|
---|
| 127 |
|
---|
| 128 |
|
---|
| 129 | // Some library implementations simply return a dummy
|
---|
| 130 | // value such as
|
---|
| 131 | //
|
---|
| 132 | // size_type(-1) / sizeof(T)
|
---|
| 133 | //
|
---|
| 134 | // from vector<>::max_size. This tries to get out more
|
---|
| 135 | // meaningful info.
|
---|
| 136 | //
|
---|
| 137 | template <typename T>
|
---|
| 138 | typename T::size_type vector_max_size_workaround(const T & v) {
|
---|
| 139 |
|
---|
| 140 | typedef typename T::allocator_type allocator_type;
|
---|
| 141 |
|
---|
| 142 | const typename allocator_type::size_type alloc_max =
|
---|
| 143 | v.get_allocator().max_size();
|
---|
| 144 | const typename T::size_type container_max = v.max_size();
|
---|
| 145 |
|
---|
| 146 | return alloc_max < container_max?
|
---|
| 147 | alloc_max :
|
---|
| 148 | container_max;
|
---|
| 149 | }
|
---|
| 150 |
|
---|
| 151 | // for static_asserts
|
---|
| 152 | template <typename T>
|
---|
| 153 | struct dynamic_bitset_allowed_block_type {
|
---|
| 154 | enum { value = T(-1) > 0 }; // ensure T has no sign
|
---|
| 155 | };
|
---|
| 156 |
|
---|
| 157 | template <>
|
---|
| 158 | struct dynamic_bitset_allowed_block_type<bool> {
|
---|
| 159 | enum { value = false };
|
---|
| 160 | };
|
---|
| 161 |
|
---|
| 162 |
|
---|
| 163 | } // namespace detail
|
---|
| 164 |
|
---|
| 165 | } // namespace boost
|
---|
| 166 |
|
---|
| 167 | #endif // include guard
|
---|
| 168 |
|
---|