std::ranges::join_with_view<V,Pattern>::iterator

ranges::join_with_view <V, Pattern>::iterator is the type of the iterators returned by begin() and end() of ranges::join_with_view <V, Pattern>.

The state of an iterator of this class is managed as if there are two nested iterators:

• an outer iterator into the parent range *parent_

• If Base models forward_range, it is outer_it_ .
• Otherwise, it is parent_  ->outer_it_ .

• an inner iterator inner_it_ into the pattern range parent_  ->pattern_ or into a child range of the parent range

This iterator class has the invariant that the inner iterator is always dereferenceable unless the outer iterator is not dereferenceable. When an iterator is constructed, incremented or decremented, its outer iterator might be adjusted to hold the invariant.

[edit] Template parameters

[edit] Nested types

[edit] Determining the iterator concept

iterator_concept is defined as follows:

• If all following conditions are satisfied, iterator_concept denotes std::bidirectional_iterator_tag :
  • std::is_reference_v <InnerBase > is true.
  • Base models bidirectional_range.
  • InnerBase and PatternBase each model common_range.
• Otherwise, if all following conditions are satisfied, iterator_concept denotes std::forward_iterator_tag :
  • std::is_reference_v <InnerBase > is true.
  • Base and InnerBase each model forward_range.
• Otherwise, iterator_concept denotes std::input_iterator_tag .

[edit] Determining the iterator category

Given the following types:

• Let OuterC be std::iterator_traits <OuterIter >::iterator_category.
• Let InnerC be std::iterator_traits <InnerIter >::iterator_category.
• Let PatternC be std::iterator_traits <PatternIter >::iterator_category.

iterator_category is defined if and only if std::is_reference_v <InnerBase > is true, and Base and InnerBase each model forward_range. In this case, it is defined as follows:

• If std::is_reference_v <std::common_reference_t <ranges::range_reference_t <InnerBase >,
                                              ranges::range_reference_t <PatternBase >> is false, iterator_category denotes std::input_iterator_tag .
• Otherwise, if all following conditions are satisfied, iterator_category denotes std::bidirectional_iterator_tag :
  • OuterC, InnerC, and PatternC each model std::derived_from <std::bidirectional_iterator_tag >.
  • InnerBase and PatternBase each model common_range.
• Otherwise, if OuterC, InnerC, and PatternC each model std::derived_from <std::forward_iterator_tag >, iterator_category denotes std::forward_iterator_tag .
• Otherwise, iterator_category denotes std::input_iterator_tag .

[edit] Data members

[edit] Member functions

[edit] Non-member functions

• In other languages

• Deutsch
• Español
• Français
• Italiano
• 日本語
• Português
• Русский
• 中文