std::experimental::ranges::RandomAccessIterator
| 定義於標頭檔案 <experimental/ranges/iterator> |
||
| template< class I > concept bool RandomAccessIterator = |
(ranges TS) | |
概念 `RandomAccessIterator` 透過新增對 `+=`、`+`、`-=` 和 `-` 運算子的常數時間前進支援，以及使用 `-` 進行距離的常數時間計算，以及使用下標的陣列表示法來完善 `BidirectionalIterator`。
令 `a` 和 `b` 為型別 `I` 的有效迭代器，使得 `b` 可從 `a` 訪問，且令 `n` 為型別 ranges::difference_type_t<I> 的值，等於 b - a。`RandomAccessIterator` 僅當滿足以下條件時才成立：
- (a += n) 等於 b。
- std::addressof(a += n) 等於 std::addressof(a)。
- (a + n) 等於 (a += n)。
- (a + n) 等於 (n + a)。
- 對於任意兩個正整數 `x` 和 `y`，如果 a + (x + y) 有效，則 a + (x + y) 等於 (a + x) + y。
- a + 0 等於 a。
- 如果 (a + (n - 1)) 有效，則 --b 等於 (a + (n - 1))。
- (b += -n) 和 (b -= n) 都等於 a。
- std::addressof(b -= n) 等於 std::addressof(b)。
- (b - n) 等於 (b -= n)。
- 如果 b 可解引用，則 a[n] 有效且等於 *b。
- bool(a <= b) 為 true。
[編輯] 相等性保持
如果一個表示式在給定相等輸入時產生相等輸出，則稱其為保持相等性。
- 表示式的輸入由其運算元組成。
- 表示式的輸出由其結果以及被表示式修改的所有運算元（如果有的話）組成。
所有要求保持相等性的表示式還必須是穩定的：在沒有顯式介入修改輸入物件的情況下，對具有相同輸入物件的表示式的兩次求值必須產生相等的輸出。
除非另有說明，requires-expression 中使用的每個表示式都必須保持相等且穩定，並且表示式的評估只能修改其非常量運算元。常量運算元不得修改。
[編輯] 隱式表示式變體
一個使用對某些常量左值運算元而言不變的表示式的 *requires-表示式* 也會隱式要求該表示式的額外變體，這些變體接受非常量左值或（可能是常量的）右值作為給定運算元，除非此類表示式變體以不同的語義被明確要求。這些 *隱式表示式變體* 必須滿足所宣告表示式的相同語義要求。實現驗證這些變體語法的程度未指定。
