std::experimental::ranges:: Iterator

Iteratorコンセプトはイテレータコンセプト分類体系の基礎を形成します。すべてのイテレータはIterator要件を満たします。

等価性保存

式は、等しい入力が与えられた場合に等しい出力をもたらす場合、 equality preserving であると言います。

• 式への入力は、そのオペランドで構成されます。
• 式からの出力は、その結果と、式によって変更されたすべてのオペランド（存在する場合）で構成されます。

等価性を保持することが要求されるすべての式は、さらに stable（安定性） が要求されます：同じ入力オブジェクトに対するそのような式の2回の評価は、それらの入力オブジェクトに対する明示的な変更がない限り、等しい出力を持たなければなりません。

特に明記されていない限り、requires式で使用される各式は、等価性を保存し安定していることが要求され、式の評価は非定数オペランドのみを変更できます。定数オペランドは変更してはなりません。

注記

Iterator 自体は、イテレータのデリファレンスとインクリメントの操作のみを指定します。ほとんどのアルゴリズムは追加の操作を必要とします。例えば：

• イテレータとセンチネルの比較（ Sentinel を参照）；
• イテレータからの値の読み取り（ Readable および InputIterator を参照）；
• イテレータへの値の書き込み（ Writable および OutputIterator を参照）；
• より豊富なイテレータ移動操作（ ForwardIterator 、 BidirectionalIterator 、 RandomAccessIterator を参照）。

- > auto && 制約は、間接参照の結果型が void であってはならないことを示します。