23namespace seqan3::detail
41template <std::ranges::view urng_t>
45class view_enforce_random_access :
public std::ranges::view_interface<view_enforce_random_access<urng_t>>
50 template <
typename underlying_iter_t>
58 constexpr view_enforce_random_access() =
default;
59 constexpr view_enforce_random_access(view_enforce_random_access
const &) =
default;
60 constexpr view_enforce_random_access(view_enforce_random_access &&) =
default;
61 constexpr view_enforce_random_access & operator=(view_enforce_random_access
const &) =
default;
62 constexpr view_enforce_random_access & operator=(view_enforce_random_access &&) =
default;
63 ~view_enforce_random_access() =
default;
66 explicit constexpr view_enforce_random_access(urng_t range) : urng{
std::move(range)}
70 template <
typename viewable_rng_t>
72 requires (!std::same_as<std::remove_cvref_t<viewable_rng_t>, view_enforce_random_access>) &&
73 std::ranges::viewable_range<viewable_rng_t> &&
76 explicit constexpr view_enforce_random_access(viewable_rng_t range) :
77 view_enforce_random_access{std::views::all(range)}
85 constexpr auto begin() noexcept
91 constexpr auto begin() const noexcept
107 constexpr auto end() noexcept
109 if constexpr (std::ranges::common_range<urng_t>)
110 return basic_iterator<
decltype(std::ranges::end(urng))>{std::ranges::end(urng)};
116 constexpr auto end() const noexcept
121 if constexpr (std::ranges::common_range<urng_t>)
122 return basic_iterator<
decltype(std::ranges::cend(urng))>{std::ranges::cend(urng)};
124 return std::ranges::cend(urng);
139template <std::ranges::view urng_t>
143template <
typename underlying_iter_t>
144class view_enforce_random_access<urng_t>::basic_iterator :
145 public inherited_iterator_base<basic_iterator<underlying_iter_t>, underlying_iter_t>
149 using base_t = inherited_iterator_base<basic_iterator<underlying_iter_t>, underlying_iter_t>;
156 using iterator_concept = iterator_category;
162 using base_t::base_t;
164 constexpr basic_iterator() =
default;
166 constexpr basic_iterator(basic_iterator
const &) =
default;
168 constexpr basic_iterator(basic_iterator &&) =
default;
170 constexpr basic_iterator & operator=(basic_iterator
const &) =
default;
172 constexpr basic_iterator & operator=(basic_iterator &&) =
default;
174 ~basic_iterator() =
default;
182 using base_t::operator==;
183 using base_t::operator!=;
185 friend constexpr bool operator==(basic_iterator
const & lhs, std::ranges::sentinel_t<urng_t>
const & rhs)
186 noexcept(
noexcept(std::declval<underlying_iter_t const &>() ==
187 std::declval<std::ranges::sentinel_t<urng_t>
const &>()))
189 return lhs.base() == rhs;
193 friend constexpr bool operator==(std::ranges::sentinel_t<urng_t>
const & lhs, basic_iterator
const & rhs)
194 noexcept(
noexcept(std::declval<underlying_iter_t const &>() ==
195 std::declval<std::ranges::sentinel_t<urng_t>
const &>()))
201 friend constexpr bool operator!=(basic_iterator
const & lhs, std::ranges::sentinel_t<urng_t>
const & rhs)
202 noexcept(
noexcept(std::declval<underlying_iter_t const &>() !=
203 std::declval<std::ranges::sentinel_t<urng_t>
const &>()))
205 return !(lhs == rhs);
209 friend constexpr bool operator!=(std::ranges::sentinel_t<urng_t>
const & lhs, basic_iterator
const & rhs)
210 noexcept(
noexcept(std::declval<underlying_iter_t const &>() !=
211 std::declval<std::ranges::sentinel_t<urng_t>
const &>()))
221 using base_t::operator-;
224 constexpr typename base_t::difference_type operator-(std::ranges::sentinel_t<urng_t>
const & rhs)
const
225 noexcept(
noexcept(std::declval<underlying_iter_t const &>() -
226 std::declval<std::ranges::sentinel_t<urng_t>
const &>()))
227 requires std::sized_sentinel_for<std::ranges::sentinel_t<urng_t>, underlying_iter_t>
229 return this->base() - rhs;
233 constexpr friend typename base_t::difference_type operator-(std::ranges::sentinel_t<urng_t>
const & lhs,
234 basic_iterator
const & rhs)
235 noexcept(
noexcept(std::declval<std::ranges::sentinel_t<urng_t>
const &>() -
236 std::declval<underlying_iter_t const &>()))
237 requires std::sized_sentinel_for<std::ranges::sentinel_t<urng_t>, underlying_iter_t>
239 return lhs - rhs.base();
249template <std::ranges::viewable_range rng_t>
250view_enforce_random_access(rng_t &&) -> view_enforce_random_access<std::views::all_t<rng_t>>;
258struct pseudo_random_access_fn :
public adaptor_base<pseudo_random_access_fn>
262 using base_t = adaptor_base<pseudo_random_access_fn>;
266 using base_t::base_t;
275 template <std::ranges::viewable_range urng_t>
276 static constexpr auto impl(urng_t && urange)
279 "The adapted range must either model std::ranges::random_access_range or must be "
280 "a specific SeqAn range type that supports pseudo random access.");
281 static_assert(std::ranges::forward_range<urng_t>,
282 "The underlying range must model std::ranges::forward_range.");
284 if constexpr (std::ranges::random_access_range<urng_t>)
286 return std::views::all(std::forward<urng_t>(urange));
290 return view_enforce_random_access{std::forward<urng_t>(urange)};
Provides seqan3::detail::adaptor_base and seqan3::detail::combined_adaptor.
constexpr auto enforce_random_access
A view adaptor that converts a pseudo random access range to a std::ranges::random_access_range.
Definition: enforce_random_access.hpp:367
Provides the seqan3::detail::inherited_iterator_base template.
Specifies requirements of an input range type for which the const version of that type satisfies the ...
This concept checks if a type models a pseudo random access range.
The <iterator> header from C++20's standard library.
The SeqAn namespace for views.
Definition: char_to.hpp:22
SeqAn specific customisations in the standard namespace.
The <ranges> header from C++20's standard library.
The <type_traits> header from C++20's standard library.
Additional non-standard concepts for ranges.