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 > の。

このクラスのイテレータの状態は、2つのネストしたイテレータが存在するかのように管理されます：

• 親範囲への 外部イテレータ * parent_

• Base が forward_range をモデル化する場合、それは outer_it_ である。
• そうでない場合、それは parent_  - > outer_it_ である。

• パターン範囲 parent_  - > pattern_ 内、または親範囲の子範囲内への 内部イテレータ inner_it_

このイテレータクラスは、外側のイテレータがデリファレンス可能でない場合を除き、内側のイテレータが常にデリファレンス可能であるという不変条件を持ちます。イテレータが構築、インクリメント、またはデクリメントされるとき、その外側のイテレータは不変条件を維持するために調整される可能性があります。

目次 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)	イテレータを構築する (public member function)
operator*	要素にアクセスする (public member function)
operator++ operator++ (int) operator-- operator-- (int)	基盤となるイテレータを進めるまたは戻す (public member function)

非メンバー関数

operator== (C++23)	基底となるイテレータを比較する (関数)
iter_move (C++23)	基底となるイテレータをデリファレンスした結果を、関連付けられた右辺値参照型にキャストする (関数)
iter_swap (C++23)	2つの基底となるイテレータが指すオブジェクトを交換する (関数)