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

template< bool Const >
class /*iterator*/

ranges::join_with_view<V, Pattern>::iterator es el tipo de los iteradores devueltos por begin() y end() de ranges::join_with_view<V, Pattern>.

El estado de un iterador de esta clase se gestiona como si hubiera dos iteradores anidados:

• un iterador externo dentro del rango padre *parent_

• Si Base modela forward_range, es outer_it_.
• De lo contrario, es parent_ ->outer_it_.

• un iterador interno inner_it_ dentro del rango patrón parent_ ->pattern_ o dentro de un rango hijo del rango padre

Esta clase iteradora tiene la invariante de que el iterador interno siempre se puede desreferenciar a menos que el iterador externo no se pueda desreferenciar. Cuando se construye, incrementa o decrementa un iterador, su iterador externo podría ajustarse para mantener la invariante.

Parámetros de plantilla

Tipos anidados

Determinando el concepto de iterador

iterator_concept se define de la siguiente manera:

• Si se satisfacen todas las siguientes condiciones, iterator_concept denota std::bidirectional_iterator_tag :
  • std:: is_reference_v < InnerBase  > es true .
  • Base modela bidirectional_range .
  • InnerBase y PatternBase modelan cada uno common_range .
• De lo contrario, si se satisfacen todas las siguientes condiciones, iterator_concept denota std::forward_iterator_tag :
  • std:: is_reference_v < InnerBase  > es true .
  • Base y InnerBase modelan cada uno forward_range .
• De lo contrario, iterator_concept denota std::input_iterator_tag .

Determinación de la categoría del iterador

Dados los siguientes tipos:

• Sea OuterC como std:: iterator_traits < OuterIter  > :: iterator_category .
• Sea InnerC como std:: iterator_traits < InnerIter  > :: iterator_category .
• Sea PatternC como std:: iterator_traits < PatternIter  > :: iterator_category .

iterator_category se define si y solo si std:: is_reference_v < InnerBase  > es true , y Base y InnerBase modelan cada uno forward_range . En este caso, se define de la siguiente manera:

• Si std:: is_reference_v < std:: common_reference_t < ranges:: range_reference_t < InnerBase  > ,
  ranges:: range_reference_t < PatternBase  >> es false , iterator_category denota std::input_iterator_tag .
• En caso contrario, si se satisfacen todas las siguientes condiciones, iterator_category denota std::bidirectional_iterator_tag :
  • OuterC , InnerC , y PatternC modelan cada uno std:: derived_from < std:: bidirectional_iterator_tag > .
  • InnerBase y PatternBase modelan cada uno common_range .
• En caso contrario, si OuterC , InnerC , y PatternC modelan cada uno std:: derived_from < std:: forward_iterator_tag > , iterator_category denota std::forward_iterator_tag .
• En caso contrario, iterator_category denota std::input_iterator_tag .

Miembros de datos

Funciones miembro

Funciones no miembro