19namespace seqan3::detail
45template <
typename derived_t, std::input_or_output_iterator base_t>
46class inherited_iterator_base :
47 public std::conditional_t<std::is_pointer_v<base_t> || !std::semiregular<base_t>, empty_type, base_t>,
48 public maybe_inherited_iterator_category<base_t>
52 static constexpr bool wrap_base = std::is_pointer_v<base_t> || !std::semiregular<base_t>;
67 using pointer = detail::iter_pointer_t<base_t>;
68#if SEQAN3_DOXYGEN_ONLY(1) 0
70 using iterator_category = maybe_present;
73 using iterator_concept = detail::iterator_concept_tag_t<base_t>;
80 constexpr inherited_iterator_base() noexcept(
std::is_nothrow_default_constructible_v<base_t>) =
82 constexpr inherited_iterator_base(inherited_iterator_base const & rhs) noexcept(
83 std::is_nothrow_copy_constructible_v<base_t>) = default;
84 constexpr inherited_iterator_base(inherited_iterator_base && rhs) noexcept(
85 std::is_nothrow_move_constructible_v<base_t>) = default;
86 constexpr inherited_iterator_base & operator=(inherited_iterator_base const & rhs) noexcept(
87 std::is_nothrow_copy_assignable_v<base_t>) = default;
88 constexpr inherited_iterator_base & operator=(inherited_iterator_base && rhs) noexcept(
89 std::is_nothrow_move_assignable_v<base_t>) = default;
90 ~inherited_iterator_base() noexcept(
std::is_nothrow_destructible_v<base_t>) = default;
93 constexpr inherited_iterator_base(base_t it) noexcept(
std::is_nothrow_move_constructible_v<base_t>)
95 : base_t{std::move(it)}
99 constexpr inherited_iterator_base(base_t it)
noexcept
101 : member{std::move(it)}
106 constexpr base_t
const & base() const & noexcept
112 constexpr base_t & base() &
noexcept
118 constexpr base_t base() &&
noexcept
120 return std::move(as_base());
129 constexpr bool operator==(derived_t
const & rhs)
const
130 noexcept(
noexcept(std::declval<base_t &>() == std::declval<base_t &>()))
131 requires std::equality_comparable<base_t>
133 return base() == rhs.base();
137 constexpr bool operator!=(derived_t
const & rhs)
const
138 noexcept(
noexcept(std::declval<base_t &>() == std::declval<base_t &>()))
139 requires std::equality_comparable<base_t>
141 return !(*
this == rhs);
145 constexpr bool operator<(derived_t
const & rhs)
const
146 noexcept(
noexcept(std::declval<base_t &>() < std::declval<base_t &>()))
147 requires std::totally_ordered<base_t>
149 return base() < rhs.base();
153 constexpr bool operator>(derived_t
const & rhs)
const
154 noexcept(
noexcept(std::declval<base_t &>() > std::declval<base_t &>()))
155 requires std::totally_ordered<base_t>
157 return base() > rhs.base();
161 constexpr bool operator<=(derived_t
const & rhs)
const
162 noexcept(
noexcept(std::declval<base_t &>() > std::declval<base_t &>()))
163 requires std::totally_ordered<base_t>
165 return !(*
this > rhs);
169 constexpr bool operator>=(derived_t
const & rhs)
const
170 noexcept(
noexcept(std::declval<base_t &>() < std::declval<base_t &>()))
171 requires std::totally_ordered<base_t>
173 return !(*
this < rhs);
183 template <
typename base_t_ = base_t>
185 constexpr derived_t & operator++() noexcept(noexcept(++
std::declval<base_t &>()))
186 requires requires (base_t_ i) { ++i; }
189 return *this_derived();
194 template <
typename base_t_ = base_t>
196 constexpr auto operator++(
int)
noexcept(
noexcept(std::declval<base_t &>()++))
197 requires requires (base_t_ i) {
199 requires !std::same_as<
decltype(i++), base_t_>;
207 template <
typename base_t_ = base_t>
210 operator++(
int)
noexcept(
noexcept(std::declval<base_t &>()++) &&
noexcept(derived_t(std::declval<base_t &>())))
211 requires requires (base_t_ i) {
215 } -> std::same_as<base_t_>;
216 } && std::constructible_from<derived_t, base_t_>
218 return derived_t{as_base()++};
223 template <
typename base_t_ = base_t>
225 constexpr derived_t & operator--() noexcept(noexcept(--
std::declval<base_t &>()))
226 requires requires (base_t_ i) { --i; }
229 return *this_derived();
234 template <
typename base_t_ = base_t>
237 operator--(
int)
noexcept(
noexcept(std::declval<base_t &>()--) &&
noexcept(derived_t{std::declval<base_t &>()}))
238 requires requires (base_t_ i) { i--; } && std::constructible_from<derived_t, base_t_>
240 return derived_t{as_base()--};
245 template <
typename base_t_ = base_t>
247 constexpr derived_t & operator+=(difference_type
const skip)
noexcept(
noexcept(std::declval<base_t &>() += skip))
248 requires requires (base_t_ i, difference_type
const n) { i += n; }
251 return *this_derived();
256 template <
typename base_t_ = base_t>
258 constexpr derived_t operator+(difference_type
const skip)
const
259 noexcept(
noexcept(std::declval<base_t &>() + skip) &&
noexcept(derived_t{std::declval<base_t &>()}))
260 requires requires (base_t_
const i, difference_type
const n) { i + n; }
261 && std::constructible_from<derived_t, base_t_>
263 return derived_t{as_base() + skip};
271 template <
typename base_t_ = base_t>
273 constexpr friend derived_t operator+(difference_type
const skip,
274 derived_t
const & it)
noexcept(
noexcept(skip + std::declval<base_t const &>()))
275 requires requires (base_t
const i, difference_type
const n) { n + i; }
276 && std::constructible_from<derived_t, base_t>
283 template <
typename base_t_ = base_t>
285 constexpr derived_t & operator-=(difference_type
const skip)
noexcept(
noexcept(std::declval<base_t &>() -= skip))
286 requires requires (base_t_ i, difference_type
const n) { i -= n; }
289 return *this_derived();
294 template <
typename base_t_ = base_t>
296 constexpr derived_t operator-(difference_type
const skip)
const
297 noexcept(
noexcept(std::declval<base_t const &>() - skip) &&
noexcept(derived_t(std::declval<base_t &>())))
298 requires requires (base_t_ i, difference_type
const n) { i - n; } && std::constructible_from<derived_t, base_t_>
300 return derived_t{as_base() - skip};
304 constexpr difference_type operator-(derived_t
const & rhs)
const
305 noexcept(
noexcept(std::declval<base_t &>() - std::declval<base_t &>()))
306 requires std::sized_sentinel_for<base_t, base_t>
308 return as_base() - rhs.as_base();
316 constexpr reference operator*() noexcept(noexcept(*
std::declval<base_t &>()))
317 requires
std::indirectly_readable<base_t>
323 constexpr decltype(
auto)
operator*()
const noexcept(
noexcept(*std::declval<base_t const &>()))
324 requires std::indirectly_readable<base_t>
330 constexpr pointer operator->() noexcept(noexcept(*
std::declval<base_t &>()))
331 requires
std::input_iterator<base_t>
337 constexpr decltype(
auto) operator->() const noexcept(noexcept(*
std::declval<base_t const &>()))
338 requires
std::input_iterator<base_t>
345 template <
typename base_t_ = base_t>
347 constexpr decltype(
auto)
349 requires requires (base_t_ i, difference_type
const n) { i[n]; }
356 template <
typename base_t_ = base_t>
359 noexcept(
noexcept(std::declval<base_t const &>()[0]))
360 requires requires (base_t_
const i, difference_type
const n) { i[n]; }
374 constexpr base_t & as_base() &
noexcept
376 if constexpr (wrap_base)
383 constexpr base_t
const & as_base() const & noexcept
385 if constexpr (wrap_base)
392 constexpr derived_t * this_derived()
394 return static_cast<derived_t *
>(
this);
398 constexpr derived_t
const * this_derived()
const
400 return static_cast<derived_t
const *
>(
this);
Provides seqan3::detail::empty_type.
Provides various transformation traits for use on iterators.
SeqAn specific customisations in the standard namespace.