C++ 命名需求: LegacyRandomAccessIterator
一个 LegacyRandomAccessIterator 是一个 LegacyBidirectionalIterator,它可以在恒定时间内移动到指向任何元素的位置。
如果一个 LegacyRandomAccessIterator it 来自一个 Container,那么 it 的 value_type
与容器的相同,所以解引用 (*it) 将获取容器的 value_type
。
指向数组元素的指针满足 LegacyRandomAccessIterator 的所有要求。
内容 |
[编辑] 要求
类型 It
满足 LegacyRandomAccessIterator,如果
- 类型
It
满足 LegacyBidirectionalIterator
并且,给定
-
value_type
,由 std::iterator_traits<It>::value_type 表示的类型 -
difference_type
,由 std::iterator_traits<It>::difference_type 表示的类型 -
reference
,由 std::iterator_traits<It>::reference 表示的类型 - i,a,b,类型为
It
或 const It 的对象 - r,类型为
It
的左值 - n,类型为
difference_type
的整数
以下表达式必须有效并具有指定的效用
表达式 | 返回值类型 | 操作语义 | 注释 | ||||
---|---|---|---|---|---|---|---|
r += n | It&
|
difference_type m = n; if (m >= 0) while (m--) ++r; |
| ||||
a + n
n + a |
It
|
It temp = a; return temp += n; |
| ||||
r -= n | It& |
return r += -n; | n 的绝对值必须在 difference_type 的可表示值范围内。 | ||||
i - n | It |
It temp = i; return temp -= n; |
|||||
b - a | difference_type |
return n; (见先决条件) |
先决条件
后置条件
| ||||
i[n] | 可转换为 reference |
*(i + n) | |||||
a < b |
|
等效于 return b - a > 0; | 先决条件
严格的完全排序关系
| ||||
a > b |
|
b < a | 与 a < b 相反的完全排序关系 | ||||
a >= b |
|
!(a < b) | |||||
a <= b |
|
!(a > b) |
上述规则意味着 LegacyRandomAccessIterator 也实现了 LessThanComparable。
一个可变的 LegacyRandomAccessIterator 是一个 LegacyRandomAccessIterator,它还满足 LegacyOutputIterator 的要求。
概念为了定义 std::iterator_traits,定义了以下仅用于说明的概念。
where the exposition-only concept |
(自 C++20) |
[edit] 缺陷报告
以下行为更改的缺陷报告已追溯应用于先前发布的 C++ 标准。
DR | 应用于 | 发布的行为 | 正确行为 |
---|---|---|---|
LWG 299 (N3066) |
C++98 | a[n] 的返回类型要求 可转换为 const value_type& |
返回类型要求为 可转换为 reference |
LWG 448 | C++98 | a[n] 的返回类型要求 可转换为 value_type |
返回类型要求为 可转换为 const value_type&[1] |
LWG 1079 | C++98 | b - a 使用 a < b 定义, 导致循环定义 |
从定义中删除 a < b |
LWG 2114 (P2167R3) |
C++98 | 可转换为 bool 太弱,无法反映实现的预期 | 加强要求 |
- ↑ LWG 问题 299 在此解决方案后重新开放。
[edit] 另请参见
(C++20) |
指定 bidirectional_iterator 是一个随机访问迭代器,支持常数时间内推进和下标运算(概念) |
迭代器库 | 提供迭代器、迭代器特征、适配器和实用函数的定义 |