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 iterator inner_it_ в диапазон шаблона parent_  - > pattern_ или в дочерний диапазон родительского диапазона

Этот класс итератора имеет инвариант, что внутренний итератор всегда разыменовываем, если только внешний итератор не является разыменовываемым. При создании, инкременте или декременте итератора его внешний итератор может быть скорректирован для сохранения инварианта.

Содержание 1 Параметры шаблона 2 Вложенные типы 2.1 Типы только для демонстрации 2.2 Типы свойств итератора 2.3 Определение концепции итератора 2.4 Определение категории итератора 3 Члены данных 4 Функции-члены 5 Функции не-члены

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

Const

-

является ли итератор константным итератором

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

Типы только для экспозиции
Тип	Определение
Parent	maybe-const  < Const, ranges:: join_with_view < V, Pattern >> ( тип-член только для экспозиции* )
Base	maybe-const  < Const, V > ( тип-член только для экспозиции* )
InnerBase	ranges:: range_reference_t < Base  > ( тип-член только для экспозиции* )
PatternBase	maybe-const  < Const, Pattern > ( тип-член только для экспозиции* )
OuterIter	ranges:: iterator_t < Base  > ( тип-член только для экспозиции* )
InnerIter	ranges:: iterator_t < InnerBase  > ( тип-член только для экспозиции* )
PatternIter	ranges:: iterator_t < PatternBase  > ( тип-член только для экспозиции* )
Типы свойств итератора
Тип	Определение
iterator_concept	тег итератора, тег итератора , см. ниже
iterator_category (условно присутствует)	тег итератора, см. ниже
value_type	std:: common_type_t < ranges:: range_value_t < InnerBase  > , ranges:: range_value_t < PatternBase  >>
difference_type	std:: common_type_t < ranges:: range_difference_t < Base  > , ranges:: range_difference_t < InnerBase  > , ranges:: range_difference_t < PatternBase  >>

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

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 .

Члены данных

Член	Описание
Parent  * parent_	указатель на родительский join_with_view ( объект-член только для демонстрации* )
OuterIter outer_it_ (присутствует только если Base моделирует forward_range )	внешний итератор ( объект-член только для демонстрации* )
std:: variant < PatternIter  , InnerIter  > inner_it_	внутренний итератор ( объект-член только для демонстрации* )

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

(constructor)	создает итератор (публичная функция-член)
operator*	обращается к элементу (публичная функция-член)
operator++ operator++ (int) operator-- operator-- (int)	продвигает или уменьшает базовый итератор (публичная функция-член)

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

operator== (C++23)	сравнивает базовые итераторы (функция)
iter_move (C++23)	преобразует результат разыменования базового итератора в соответствующий тип rvalue-ссылки (функция)
iter_swap (C++23)	обменивает объекты, на которые указывают два базовых итератора (функция)