std::experimental::ranges:: Iterator

定義先ヘッダ <experimental/ranges/iterator>
template < class I > concept bool Iterator = requires ( I i ) { { * i } - > auto && ; // 要件: iは間接参照可能であること } && WeaklyIncrementable < I > ;		(ranges TS)

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

等価性保存

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

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

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

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

注記

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

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

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