ranges::join_with_view<V, Pattern>::iterator is the type of the iterators returned bybegin() andend() ofranges::join_with_view<V, Pattern>.

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

• anouter iterator into the parent range*parent_

• IfBase modelsforward_range, it isouter_it_.
• Otherwise, it isparent_ ->outer_it_.

• aninner iteratorinner_it_ into the pattern rangeparent_ ->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 denotesstd::bidirectional_iterator_tag:
  • std::is_reference_v<InnerBase > istrue.
  • Base modelsbidirectional_range.
  • InnerBase andPatternBase each modelcommon_range.
• Otherwise, if all following conditions are satisfied,iterator_concept denotesstd::forward_iterator_tag:
  • std::is_reference_v<InnerBase > istrue.
  • Base andInnerBase each modelforward_range.
• Otherwise,iterator_concept denotesstd::input_iterator_tag.

[edit]Determining the iterator category

Given the following types:

• LetOuterC bestd::iterator_traits<OuterIter >::iterator_category.
• LetInnerC bestd::iterator_traits<InnerIter >::iterator_category.
• LetPatternC bestd::iterator_traits<PatternIter >::iterator_category.

iterator_category is defined if and only ifstd::is_reference_v<InnerBase > istrue, andBase andInnerBase each modelforward_range. In this case, it is defined as follows:

• Ifstd::is_reference_v<std::common_reference_t<ranges::range_reference_t<InnerBase >,
                                              ranges::range_reference_t<PatternBase >> isfalse,iterator_category denotesstd::input_iterator_tag.
• Otherwise, if all following conditions are satisfied,iterator_category denotesstd::bidirectional_iterator_tag:
  • OuterC,InnerC, andPatternC each modelstd::derived_from<std::bidirectional_iterator_tag>.
  • InnerBase andPatternBase each modelcommon_range.
• Otherwise, ifOuterC,InnerC, andPatternC each modelstd::derived_from<std::forward_iterator_tag>,iterator_category denotesstd::forward_iterator_tag.
• Otherwise,iterator_category denotesstd::input_iterator_tag.

[edit]Data members

[edit]Member functions

[edit]Non-member functions

• In other languages

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