std::experimental::ranges::RandomAccessIterator
| template< class I > concept bool RandomAccessIterator = |
(ranges TS) | |
概念 RandomAccessIterator<I> 细化了 BidirectionalIterator，通过添加对使用 +=、+、-= 和 - 运算符的常数时间推进、使用 - 的常数时间距离计算以及使用下标的数组表示法的支持。
设 a 和 b 是类型 I 的有效迭代器，使得 b 可以从 a 到达，并设 n 是类型 ranges::difference_type_t<I> 的值，等于 b - a。仅当满足以下条件时，RandomAccessIterator<I> 才满足：
- (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-expression* 也隐式地要求该表达式的附加变体，这些变体接受给定操作数的非常量左值或（可能常量）右值，除非显式要求具有不同语义的此类表达式变体。 这些隐式表达式变体必须满足声明的表达式的相同语义要求。 实现验证变体语法的程度是未指定的。
