命名空间
变体
操作

C++ 命名需求: LegacyRandomAccessIterator

来自 cppreference.com
< cpp‎ | named req
 
 
C++ 命名需求
 

一个 LegacyRandomAccessIterator 是一个 LegacyBidirectionalIterator,它可以在恒定时间内移动到指向任何元素的位置。

如果一个 LegacyRandomAccessIterator it 来自一个 Container,那么 itvalue_type 与容器的相同,所以解引用 (*it) 将获取容器的 value_type

指向数组元素的指针满足 LegacyRandomAccessIterator 的所有要求。

内容

[编辑] 要求

类型 It 满足 LegacyRandomAccessIterator,如果

并且,给定

  • value_type,由 std::iterator_traits<It>::value_type 表示的类型
  • difference_type,由 std::iterator_traits<It>::difference_type 表示的类型
  • reference,由 std::iterator_traits<It>::reference 表示的类型
  • iab,类型为 Itconst It 的对象
  • r,类型为 It 的左值
  • n,类型为 difference_type 的整数

以下表达式必须有效并具有指定的效用

表达式 返回值类型 操作语义 注释
r += n It& difference_type m = n;

if (m >= 0) while (m--) ++r;
else while (m++) --r;
return r;

  • n 可以是正数或负数
  • 复杂度为常数(即,实现不能实际执行操作语义中显示的 while 循环)
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

满足 BooleanTestable

(直到 C++20)

模拟 boolean-testable

(自 C++20)
等效于 return b - a > 0; 先决条件
  • b - a 相同

严格的完全排序关系

  • !(a < a)
  • 如果 a < b,那么 !(b < a)
  • 如果 a < bb < c,那么 a < c
  • a < bb < aa == b
    (表达式中只有一个为真)
a > b

满足 BooleanTestable

(直到 C++20)

模拟 boolean-testable

(自 C++20)
b < a a < b 相反的完全排序关系
a >= b

满足 BooleanTestable

(直到 C++20)

模拟 boolean-testable

(自 C++20)
!(a < b)
a <= b

满足 BooleanTestable

(直到 C++20)

模拟 boolean-testable

(自 C++20)
!(a > b)

上述规则意味着 LegacyRandomAccessIterator 也实现了 LessThanComparable

一个可变LegacyRandomAccessIterator 是一个 LegacyRandomAccessIterator,它还满足 LegacyOutputIterator 的要求。

概念

为了定义 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>>;

        };

where the exposition-only concept __LegacyBidirectionalIterator is described in LegacyBidirectionalIterator.

(自 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 太弱,无法反映实现的预期 加强要求
  1. LWG 问题 299 在此解决方案后重新开放。

[edit] 另请参见

指定 bidirectional_iterator 是一个随机访问迭代器,支持常数时间内推进和下标运算
(概念) [edit]
迭代器库 提供迭代器、迭代器特征、适配器和实用函数的定义