. /include/boost/capy /detail /slice_impl.hpp
99.12% Lines (112/113) 94.12% Functions (16/17)
[ ] prev/next file n p prev/next uncovered line
TLA Baseline Branch
Line Hits Code Line Hits Code
  1 + //
  2 + // Copyright (c) 2026 Michael Vandeberg
  3 + //
  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 + // Official repository: https://github.com/cppalliance/capy
  8 + //
  9 +
  10 + /*
  11 + Implementation type for the public buffer_slice() free function.
  12 + Users see this only via auto + the Slice concept; the type is
  13 + documented as unspecified. Maintained alongside Slice in
  14 + include/boost/capy/concept/slice.hpp.
  15 + */
  16 +
  17 + #ifndef BOOST_CAPY_DETAIL_SLICE_IMPL_HPP
  18 + #define BOOST_CAPY_DETAIL_SLICE_IMPL_HPP
  19 +
  20 + #include <boost/capy/detail/config.hpp>
  21 + #include <boost/capy/buffers.hpp>
  22 +
  23 + #include <cstddef>
  24 + #include <iterator>
  25 + #include <type_traits>
  26 +
  27 + namespace boost {
  28 + namespace capy {
  29 + namespace detail {
  30 +
  31 + template<class T>
  32 + struct slice_buffer_type_for;
  33 +
  34 + template<MutableBufferSequence T>
  35 + struct slice_buffer_type_for<T>
  36 + {
  37 + using type = mutable_buffer;
  38 + };
  39 +
  40 + template<ConstBufferSequence T>
  41 + requires (!MutableBufferSequence<T>)
  42 + struct slice_buffer_type_for<T>
  43 + {
  44 + using type = const_buffer;
  45 + };
  46 +
  47 + template<class BufferSequence>
  48 + requires MutableBufferSequence<BufferSequence>
  49 + || ConstBufferSequence<BufferSequence>
  50 + class slice_impl
  51 + {
  52 + public:
  53 + using iterator_type =
  54 + decltype(capy::begin(std::declval<BufferSequence const&>()));
  55 + using end_iterator_type =
  56 + decltype(capy::end(std::declval<BufferSequence const&>()));
  57 + using buffer_type =
  58 + typename slice_buffer_type_for<BufferSequence>::type;
  59 +
  60 + private:
  61 + iterator_type first_{};
  62 + end_iterator_type last_{};
  63 + std::size_t front_skip_ = 0;
  64 + std::size_t back_skip_ = 0;
  65 +
HITGNC   66 + 42071 static buffer_type adjust_buffer(
  67 + buffer_type const& buf,
  68 + std::size_t front_n,
  69 + std::size_t back_n) noexcept
  70 + {
  71 + if constexpr (std::is_same_v<buffer_type, mutable_buffer>)
  72 + {
HITGNC   73 + 18031 return mutable_buffer(
HITGNC   74 + 18031 static_cast<char*>(buf.data()) + front_n,
HITGNC   75 + 36062 buf.size() - front_n - back_n);
  76 + }
  77 + else
  78 + {
HITGNC   79 + 24040 return const_buffer(
HITGNC   80 + 24040 static_cast<char const*>(buf.data()) + front_n,
HITGNC   81 + 48080 buf.size() - front_n - back_n);
  82 + }
  83 + }
  84 +
  85 + public:
  86 + /// View returned by `slice_impl::data()`.
  87 + class data_view
  88 + {
  89 + iterator_type first_{};
  90 + end_iterator_type last_{};
  91 + std::size_t front_skip_ = 0;
  92 + std::size_t back_skip_ = 0;
  93 +
  94 + public:
  95 + class const_iterator
  96 + {
  97 + iterator_type cur_{};
  98 + iterator_type anchor_first_{};
  99 + end_iterator_type anchor_last_{};
  100 + std::size_t front_skip_ = 0;
  101 + std::size_t back_skip_ = 0;
  102 +
  103 + public:
  104 + using iterator_category = std::bidirectional_iterator_tag;
  105 + using value_type = buffer_type;
  106 + using difference_type = std::ptrdiff_t;
  107 + using pointer = value_type*;
  108 + using reference = value_type;
  109 +
  110 + const_iterator() noexcept = default;
  111 +
HITGNC   112 + 69754 const_iterator(
  113 + iterator_type cur,
  114 + iterator_type anchor_first,
  115 + end_iterator_type anchor_last,
  116 + std::size_t front_skip,
  117 + std::size_t back_skip) noexcept
HITGNC   118 + 69754 : cur_(cur)
HITGNC   119 + 69754 , anchor_first_(anchor_first)
HITGNC   120 + 69754 , anchor_last_(anchor_last)
HITGNC   121 + 69754 , front_skip_(front_skip)
HITGNC   122 + 69754 , back_skip_(back_skip)
  123 + {
HITGNC   124 + 69754 }
  125 +
HITGNC   126 + 76234 bool operator==(const_iterator const& other) const noexcept
  127 + {
HITGNC   128 + 76234 return cur_ == other.cur_;
  129 + }
  130 +
HITGNC   131 + 76234 bool operator!=(const_iterator const& other) const noexcept
  132 + {
HITGNC   133 + 76234 return !(*this == other);
  134 + }
  135 +
HITGNC   136 + 42071 value_type operator*() const noexcept
  137 + {
HITGNC   138 + 42071 buffer_type buf = *cur_;
HITGNC   139 + 42071 auto front_n = (cur_ == anchor_first_) ? front_skip_ : 0;
HITGNC   140 + 42071 auto next = cur_;
HITGNC   141 + 42071 ++next;
HITGNC   142 + 42071 auto back_n = (next == anchor_last_) ? back_skip_ : 0;
HITGNC   143 + 42071 return adjust_buffer(buf, front_n, back_n);
  144 + }
  145 +
HITGNC   146 + 29897 const_iterator& operator++() noexcept
  147 + {
HITGNC   148 + 29897 ++cur_;
HITGNC   149 + 29897 return *this;
  150 + }
  151 +
HITGNC   152 + 6512 const_iterator operator++(int) noexcept
  153 + {
HITGNC   154 + 6512 const_iterator tmp = *this;
HITGNC   155 + 6512 ++*this;
HITGNC   156 + 6512 return tmp;
  157 + }
  158 +
HITGNC   159 + 12144 const_iterator& operator--() noexcept
  160 + {
HITGNC   161 + 12144 --cur_;
HITGNC   162 + 12144 return *this;
  163 + }
  164 +
HITGNC   165 + 6072 const_iterator operator--(int) noexcept
  166 + {
HITGNC   167 + 6072 const_iterator tmp = *this;
HITGNC   168 + 6072 --*this;
HITGNC   169 + 6072 return tmp;
  170 + }
  171 + };
  172 +
  173 + data_view() noexcept = default;
  174 +
HITGNC   175 + 10692 data_view(
  176 + iterator_type first,
  177 + end_iterator_type last,
  178 + std::size_t front_skip,
  179 + std::size_t back_skip) noexcept
HITGNC   180 + 10692 : first_(first)
HITGNC   181 + 10692 , last_(last)
HITGNC   182 + 10692 , front_skip_(front_skip)
HITGNC   183 + 10692 , back_skip_(back_skip)
  184 + {
HITGNC   185 + 10692 }
  186 +
HITGNC   187 + 34863 const_iterator begin() const noexcept
  188 + {
  189 + return const_iterator(
HITGNC   190 + 34863 first_, first_, last_, front_skip_, back_skip_);
  191 + }
  192 +
HITGNC   193 + 34891 const_iterator end() const noexcept
  194 + {
  195 + return const_iterator(
HITGNC   196 + 34891 last_, first_, last_, front_skip_, back_skip_);
  197 + }
  198 + };
  199 +
MISUNC   200 + ✗ slice_impl() noexcept = default;
  201 +
HITGNC   202 + 10 explicit slice_impl(BufferSequence const& bs) noexcept
HITGNC   203 + 10 : first_(capy::begin(bs))
HITGNC   204 + 10 , last_(capy::end(bs))
  205 + {
HITGNC   206 + 10 }
  207 +
HITGNC   208 + 4377 slice_impl(
  209 + BufferSequence const& bs,
  210 + std::size_t offset,
  211 + std::size_t length) noexcept
HITGNC   212 + 4377 {
HITGNC   213 + 4377 auto it_begin = capy::begin(bs);
HITGNC   214 + 4377 auto it_end = capy::end(bs);
  215 +
HITGNC   216 + 4377 std::size_t total = 0;
HITGNC   217 + 10956 for (auto it = it_begin; it != it_end; ++it)
HITGNC   218 + 6579 total += (*it).size();
  219 +
HITGNC   220 + 4377 if (offset > total)
HITGNC   221 + 1 offset = total;
HITGNC   222 + 4377 std::size_t const remaining = total - offset;
HITGNC   223 + 4377 if (length > remaining)
HITGNC   224 + 2293 length = remaining;
  225 +
HITGNC   226 + 4377 first_ = it_begin;
HITGNC   227 + 4377 last_ = it_end;
  228 +
HITGNC   229 + 4377 std::size_t skip = offset;
HITGNC   230 + 4756 while (first_ != last_)
  231 + {
HITGNC   232 + 4658 std::size_t const buf_size = (*first_).size();
HITGNC   233 + 4658 if (skip < buf_size)
  234 + {
HITGNC   235 + 4279 front_skip_ = skip;
HITGNC   236 + 4279 break;
  237 + }
HITGNC   238 + 379 skip -= buf_size;
HITGNC   239 + 379 ++first_;
  240 + }
  241 +
HITGNC   242 + 4377 std::size_t left = length;
HITGNC   243 + 4377 auto cursor = first_;
HITGNC   244 + 4377 std::size_t cursor_front = front_skip_;
HITGNC   245 + 5734 while (cursor != last_ && left > 0)
  246 + {
HITGNC   247 + 5358 std::size_t const buf_size = (*cursor).size();
HITGNC   248 + 5358 std::size_t const avail = buf_size - cursor_front;
HITGNC   249 + 5358 if (left <= avail)
  250 + {
HITGNC   251 + 4001 back_skip_ = avail - left;
HITGNC   252 + 4001 ++cursor;
HITGNC   253 + 4001 last_ = cursor;
HITGNC   254 + 4001 return;
  255 + }
HITGNC   256 + 1357 left -= avail;
HITGNC   257 + 1357 ++cursor;
HITGNC   258 + 1357 cursor_front = 0;
  259 + }
  260 +
HITGNC   261 + 376 last_ = cursor;
  262 + }
  263 +
HITGNC   264 + 10692 data_view data() const noexcept
  265 + {
HITGNC   266 + 10692 return data_view(first_, last_, front_skip_, back_skip_);
  267 + }
  268 +
HITGNC   269 + 746 void remove_prefix(std::size_t n) noexcept
  270 + {
HITGNC   271 + 1062 while (n > 0 && first_ != last_)
  272 + {
HITGNC   273 + 922 std::size_t const buf_total = (*first_).size();
HITGNC   274 + 922 std::size_t live = buf_total - front_skip_;
HITGNC   275 + 922 auto next = first_;
HITGNC   276 + 922 ++next;
HITGNC   277 + 922 bool const is_last = (next == last_);
HITGNC   278 + 922 if (is_last)
HITGNC   279 + 406 live -= back_skip_;
  280 +
HITGNC   281 + 922 if (n < live)
  282 + {
HITGNC   283 + 467 front_skip_ += n;
HITGNC   284 + 471 return;
  285 + }
  286 +
HITGNC   287 + 455 n -= live;
HITGNC   288 + 455 if (is_last)
  289 + {
HITGNC   290 + 139 first_ = last_;
HITGNC   291 + 139 front_skip_ = 0;
HITGNC   292 + 139 back_skip_ = 0;
HITGNC   293 + 139 return;
  294 + }
HITGNC   295 + 316 ++first_;
HITGNC   296 + 316 front_skip_ = 0;
  297 + }
  298 + }
  299 + };
  300 +
  301 + } // namespace detail
  302 + } // namespace capy
  303 + } // namespace boost
  304 +
  305 + #endif