std::experimental::ranges:: Incrementable

定義先ヘッダ <experimental/ranges/iterator>
template < class I > concept bool Incrementable = Regular < I > && WeaklyIncrementable < I > && requires ( I i ) { { i ++ } - > Same < I > && ; } ;		(ranges TS)

Incrementable<I> コンセプトは、インクリメント可能な型（前置および後置インクリメント演算子を持つ）に対する要件を定義します。インクリメント操作（ WeaklyIncrementable で要求されるものを含む）は等価性を保存することが要求され、その型は EqualityComparable であることが要求されます。

a と b を型 I のインクリメント可能なオブジェクトとする。 Incrementable<I> は以下の条件を満たす場合にのみ成立する：

• bool(a == b) が真の場合、 bool(a++ == b) も真である。
• bool(a == b) が真の場合、 bool(void(a++), a) == ++b) も真である。

等価性保存

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

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

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

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

注記

a が b と等しいという要件は、 ++a が ++b と等しいことを意味し、 Incrementable 型でのマルチパスアルゴリズムの使用を可能にします。