std::experimental::ranges::RandomAccessIterator

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

功能测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

实验性

技术规范

文件系统库 (文件系统 TS)

库基础 (库基础 TS)

库基础 2 (库基础 TS v2)

库基础 3 (库基础 TS v3)

并行扩展 (并行 TS)

并行扩展 2 (并行 TS v2)

并发扩展 (并发 TS)

并发扩展 2 (并发 TS v2)

概念 (概念 TS)

范围 (范围 TS)

反射 (反射 TS)

数学特殊函数 (特殊函数 TR)

实验性非 TS

模式匹配

线性代数

std::execution

契约

2D 图形

 

范围

概念

通用实用程序

迭代器

范围

算法

 

迭代器库

迭代器概念
可读 可写 弱可增量 可增量	迭代器 哨兵 大小哨兵	输入迭代器 前向迭代器 双向迭代器 随机访问迭代器	输出迭代器
间接可调用概念
IndirectUnaryInvocableIndirectRegularUnaryInvocable	间接一元谓词	间接关系	间接严格弱排序
通用算法要求
间接可移动 间接可移动可存储	间接可复制 间接可复制可存储	间接可交换 间接可比较	可置换 可合并 可排序
概念实用程序
indirect_result_of	projected
迭代器实用程序和操作
iter_move iter_swap	advance distance	next prev
迭代器特征
difference_type value_type reference_trvalue_reference_titer_common_reference_t iterator_category	input_iterator_tagoutput_iterator_tagforward_iterator_tagbidirectional_iterator_tagrandom_access_iterator_tag	ranges::iterator_traits std::iterator_traits<InputIterator>std::iterator_traits<OutputIterator>
迭代器适配器
reverse_iterator move_iterator move_sentinel	back_insert_iterator front_insert_iterator insert_iterator	common_iterator counted_iterator default_sentinel	danglingborrowed_iterator_t unreachable
流迭代器
istream_iterator	ostream_iterator	istreambuf_iterator	ostreambuf_iterator

 

定义在头文件 <experimental/ranges/iterator> 中
template< class I > concept bool RandomAccessIterator =     BidirectionalIterator<I> &&     DerivedFrom<ranges::iterator_category_t<I>, ranges::random_access_iterator_tag> &&     StrictTotallyOrdered<I> &&     SizedSentinel<I, I> &&     requires(I i, const I j, const ranges::difference_type_t<I> n) {         { i += n } -> Same<I>&;         { j + n }  -> Same<I>&&;         { n + j }  -> Same<I>&&;         { i -= n } -> Same<I>&;         { j - n }  -> Same<I>&&;         j[n];         requires Same<decltype(j[n]), ranges::reference_t<I>>;     };		(范围 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 。

等效性保持

如果表达式在给定相等输入的情况下产生相等输出，则该表达式为等效性保持。

• 表达式的输入由其操作数组成。
• 表达式的输出由其结果和表达式修改的所有操作数（如果有）组成。

每个需要保持相等性的表达式还需要是*稳定的*: 只要没有对这些输入对象进行显式的中间修改，两次使用相同输入对象的此类表达式评估必须具有相同的输出。

除非另有说明，否则在*需要表达式*中使用的每个表达式都必须保持相等性和稳定性，并且表达式评估只能修改其非常数操作数。常数操作数不得被修改。

隐式表达式变体

使用对某些常量左值操作数进行非修改的表达式的*需要表达式*还隐式地要求该表达式的其他变体，这些变体接受给定操作数的非常量左值或（可能为常量）右值，除非此类表达式变体具有不同的语义，并且被明确地要求。这些*隐式表达式变体*必须满足声明表达式的相同语义要求。实现验证变体语法的程度未指定。