std::experimental::ranges::Incrementable
From cppreference.com
< cpp | experimental | ranges
| Defined in header <experimental/ranges/iterator> |
||
| template< class I > concept bool Incrementable = |
(ranges TS) | |
コンセプトIncrementable<I>は、インクリメント可能（前置および後置インクリメント演算子を使用）な型に対する要件を指定します。インクリメント操作（WeaklyIncrementableで要求されるものを含む）は等価性を保持することが要求され、型はEqualityComparableであることが要求されます。
I型のインクリメント可能なオブジェクトをaとbとします。Incrementable<I>は、以下の場合にのみ満たされます。
- もしbool(a == b) ならば、bool(a++ == b)。
- もしbool(a == b) ならば、bool(void(a++), a) == ++b)。
[編集] 等価性保持
式が**等価性保持**であるとは、等しい入力に対して等しい出力を生成することを意味します。
- 式の入力は、そのオペランドで構成されます。
- 式の出力は、その結果と、式によって変更されたすべてのオペランド（存在する場合）で構成されます。
等価性保持が要求されるすべての式は、さらに**安定**である必要があります。同じ入力オブジェクトでそのような式の2回の評価は、これらの入力オブジェクトの明示的な介入的な変更がない限り、等しい出力を持ちます。
特に断りがない限り、requires-expression で使用されるすべての式は、等価性を保持し、安定であることが要求され、式の評価は定数でないオペランドのみを変更できます。定数のオペランドは変更してはいけません。
[編集] 注記
aとbが等しいならば++aと++bも等しいという要件は、Incrementable型でのマルチパスアルゴリズムの使用を可能にします。
