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

template< bool Const >
class /*iterator*/

ranges::join_with_view<V, Pattern>::iterator und begin() von end() zurückgegeben werden. ranges::join_with_view<V, Pattern>Der Zustand eines Iterators dieser Klasse wird so verwaltet, als ob es zwei verschachtelte Iteratoren gäbe:

einen

• äußeren Iterator in den Elternbereich Falls *parent_

• das Konzept Baseforward_range modelliert, ist es .outer_it_Andernfalls ist es
• .parent_ ->outer_it_einen

• inneren Iterator in den Musterbereich inner_it_ oder in einen Kindbereich des Elternbereichsparent_ ->pattern_Diese Iterator-Klasse hat die Invariante, dass der innere Iterator stets dereferenzierbar ist, es sei denn, der äußere Iterator ist nicht dereferenzierbar. Wenn ein Iterator konstruiert, inkrementiert oder dekrementiert wird, kann sein äußerer Iterator angepasst werden, um die Invariante zu wahren.

Template-Parameter

Verschachtelte Typen

Bestimmung des Iterator-Konzepts

iterator_concept ist wie folgt definiert:

• Wenn alle folgenden Bedingungen erfüllt sind, bezeichnet iterator_concept std::bidirectional_iterator_tag :
  • std:: is_reference_v < InnerBase  > ist true .
  • Base modelliert bidirectional_range .
  • InnerBase und PatternBase modellieren jeweils common_range .
• Andernfalls, wenn alle folgenden Bedingungen erfüllt sind, bezeichnet iterator_concept std::forward_iterator_tag :
  • std:: is_reference_v < InnerBase  > ist true .
  • Base und InnerBase modellieren jeweils forward_range .
• Andernfalls bezeichnet iterator_concept std::input_iterator_tag .

Bestimmung der Iteratorkategorie

Gegeben die folgenden Typen:

• Sei OuterC gleich std:: iterator_traits < OuterIter  > :: iterator_category .
• Sei InnerC gleich std:: iterator_traits < InnerIter  > :: iterator_category .
• Sei PatternC gleich std:: iterator_traits < PatternIter  > :: iterator_category .

iterator_category ist genau dann definiert, wenn std:: is_reference_v < InnerBase  > true ist und sowohl Base als auch InnerBase jeweils forward_range modellieren. In diesem Fall ist es wie folgt definiert:

• Falls std:: is_reference_v < std:: common_reference_t < ranges:: range_reference_t < InnerBase  > ,
  ranges:: range_reference_t < PatternBase  >> false ist, bezeichnet iterator_category std::input_iterator_tag .
• Andernfalls, falls alle folgenden Bedingungen erfüllt sind, bezeichnet iterator_category std::bidirectional_iterator_tag :
  • OuterC , InnerC und PatternC modellieren jeweils std:: derived_from < std:: bidirectional_iterator_tag > .
  • InnerBase und PatternBase modellieren jeweils common_range .
• Andernfalls, falls OuterC , InnerC und PatternC jeweils std:: derived_from < std:: forward_iterator_tag > modellieren, bezeichnet iterator_category std::forward_iterator_tag .
• Andernfalls bezeichnet iterator_category std::input_iterator_tag .

Datenmitglieder

Memberfunktionen

Nicht-Member-Funktionen