std::experimental::ranges::WeaklyIncrementable
來自 cppreference.com
< cpp | experimental | ranges
| 定義於標頭檔案 <experimental/ranges/iterator> |
||
| template< class I > concept bool WeaklyIncrementable = |
(ranges TS) | |
概念 WeaklyIncrementable<I> 指定了可以遞增（使用前置和後置遞增運算子）的型別的要求。遞增操作不必保持相等性，且該型別不必是 EqualityComparable。
令 i 是型別 I 的物件。i 被稱為是 可遞增的 (incrementable)，如果它在前置遞增和後置遞增的域中。WeaklyIncrementable<I> 僅在以下情況滿足：
- ++i 和 i++ 具有相同的域；
- 如果 i 是可遞增的，那麼
- ++i 和 i++ 都將 i 推進到下一個元素；且
- ++i 引用與 i 相同的物件。
[編輯] 相等性保持
如果一個表示式在給定相等輸入時產生相等輸出，則稱其為保持相等性。
- 表示式的輸入由其運算元組成。
- 表示式的輸出由其結果以及被表示式修改的所有運算元（如果有的話）組成。
所有要求保持相等性的表示式還必須是穩定的：在沒有顯式介入修改輸入物件的情況下，對具有相同輸入物件的表示式的兩次求值必須產生相等的輸出。
[編輯] 注意
對於 WeaklyIncrementable 型別，a 等於 b 並不意味著 ++a 等於 ++b。對這類型別操作的演算法應該是單趟的，並且永遠不要嘗試兩次透過相同的值。
