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 的定义,定义了以下仅用于说明的概念。
其中,仅用于说明的概念 |
(自 C++20 起) |
[编辑] 缺陷报告
以下行为变更的缺陷报告被追溯应用于先前发布的 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 issue 299 在此决议后重新开放。
[编辑] 参见
(C++20) |
指定 bidirectional_iterator 是一个随机访问迭代器,支持常数时间内的前进和下标操作(概念) |
迭代器库 | 提供迭代器、迭代器 traits、适配器和实用函数的定义 |