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

template< bool Const >
class /*iterator*/

ranges::join_with_view<V,Pattern>::iterator — это тип итераторов, возвращаемых функциями begin() и end() класса ranges::join_with_view<V,Pattern>.

Состояние итератора этого класса управляется так, как если бы существовали два вложенных итератора:

• внешний итератор в родительском диапазоне *parent_
• Если Base удовлетворяет требованиям forward_range, то он является outer_it_.
• В противном случае он является parent_ ->outer_it_.
• внутренний итератор inner_it_ в диапазоне шаблона parent_ ->pattern_ или в дочернем диапазоне родительского диапазона

Для этого класса итераторов выполняется инвариант: внутренний итератор всегда допускает разыменование, если внешний итератор допускает разыменование. При конструировании, инкрементировании или декрементировании итератора его внешний итератор может быть скорректирован для соблюдения этого инварианта.

Параметры шаблона

Вложенные типы

Определение концепции итератора

iterator_concept определяется следующим образом:

• Если выполняются все следующие условия, iterator_concept обозначает std::bidirectional_iterator_tag:
  • std::is_reference_v<InnerBase > является true.
  • Base удовлетворяет требованиям bidirectional_range.
  • InnerBase и PatternBase каждый удовлетворяют требованиям common_range.
• В противном случае, если выполняются все следующие условия, iterator_concept обозначает std::forward_iterator_tag:
  • std::is_reference_v<InnerBase > является true.
  • Base и InnerBase каждый удовлетворяют требованиям forward_range.
• В противном случае iterator_concept обозначает std::input_iterator_tag.

Определение категории итератора

Пусть заданы следующие типы:

• Пусть OuterC будет равен std::iterator_traits<OuterIter >::iterator_category.
• Пусть InnerC будет равен std::iterator_traits<InnerIter >::iterator_category.
• Пусть PatternC будет равен std::iterator_traits<PatternIter >::iterator_category.

iterator_category определён тогда и только тогда, когда std::is_reference_v<InnerBase > является true, а Base и InnerBase каждый удовлетворяют требованиям forward_range. В этом случае он определяется следующим образом:

• Если std::is_reference_v<std::common_reference_t<ranges::range_reference_t<InnerBase >,                                            ranges::range_reference_t<PatternBase >> является false, iterator_category обозначает std::input_iterator_tag.
• В противном случае, если выполняются все следующие условия, iterator_category обозначает std::bidirectional_iterator_tag:
  • OuterC, InnerC и PatternC каждый удовлетворяют требованиям std::derived_from<std::bidirectional_iterator_tag>.
  • InnerBase и PatternBase каждый удовлетворяют требованиям common_range.
• В противном случае, если OuterC, InnerC и PatternC каждый удовлетворяют требованиям std::derived_from<std::forward_iterator_tag>, iterator_category обозначает std::forward_iterator_tag.
• В противном случае iterator_category обозначает std::input_iterator_tag.

Поля данных

Функции-члены

Функции, не являющиеся членами