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 .

Члены данных

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

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