C++ 具名要求：遗留随机访问迭代器 (LegacyRandomAccessIterator)

遗留随机访问迭代器 (LegacyRandomAccessIterator) 是能在常数时间内移动到指向任何元素的遗留双向迭代器 (LegacyBidirectionalIterator) 。

指向数组元素的指针满足所有遗留随机访问迭代器 (LegacyRandomAccessIterator) 的要求。

类型 It 满足遗留随机访问迭代器 (LegacyRandomAccessIterator) ，若

且给定

则下列表达式必须合法且拥有其指定的效果

表达式	返回类型	操作语义	注意
r += n	It&	difference_type m = n; if (m >= 0) while (m--) ++r; else while (m++) --r; return r;	`n` 可为正或负复杂度为常数（即实现不能按操作语义所示实际执行循环）
a + n n + a	It	It temp = a; return temp += n;	`n` 可为正或负 a + n == n + a
r -= n	It&	return r += -n;	`n` 的绝对值必须在 `difference_type` 的可表示值范围内。
i - n	It	It temp = i; return temp -= n;
b - a	`difference_type`	return n;	前条件：存在 `difference_type` 类型的值 `n` 满足 a+n==b 后条件： b == a + (b - a)
i[n]	可转换到 `reference`	*(i + n)
a < b	可语境转换到 bool	b - a > 0	严格全序关系： `!(a < a)` 若 `a < b` 则 `!(b < a)` 若 `a < b` 且 `b < c` 则 `a < c` `a < b` 或 `b < a` 或 `a == b` （表达式恰有一者为 true）
a > b	可按语境转换到 bool	b < a	与 a < b 相反的全序关系
a >= b	可按语境转换到 bool	!(a < b)
a <= b	可按语境转换到 bool	!(a > b)

上述规则隐含了遗留随机访问迭代器 (LegacyRandomAccessIterator) 亦实现可小于比较 (LessThanComparable) 。

可变（mutable）遗留随机访问迭代器 (LegacyRandomAccessIterator) 是还额外满足遗留输出迭代器 (LegacyOutputIterator) 要求的遗留随机访问迭代器 (LegacyRandomAccessIterator) 。

为了定义 std::iterator_traits，定义了以下仅用于阐释的概念：

template<class I> concept __LegacyRandomAccessIterator = __LegacyBidirectionalIterator<I> && std::totally_ordered<I> && requires(I i, typename std::incrementable_traits<I>::difference_type n) { { i += n } -> std::same_as<I&>; { i -= n } -> std::same_as<I&>; { i + n } -> std::same_as<I>; { n + i } -> std::same_as<I>; { i - n } -> std::same_as<I>; { i - i } -> std::same_as<decltype(n)>; { i[n] } -> std::convertible_to<std::iter_reference_t<I>>; };

其中仅用于阐释的概念 __LegacyBidirectionalIterator 描述于 LegacyBidirectionalIterator#概念。

(C++20 起)

(C++20)

指定 bidirectional_iterator 为随机访问迭代器，支持常数时间内的前进和下标访问
(概念)

CppDS.com