C++ 命名需求： LegacyRandomAccessIterator

 

C++

编译器支持

自由（freestanding）与宿主（hosted）

语言

标准库

标准库头文件

具名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

诊断库

内存管理库

元编程库 (C++11)

通用工具库

容器库

迭代器库

范围库 (C++20)

算法库

字符串库

文本处理库

数值库

日期和时间库

输入/输出库

文件系统库 (C++17)

并发支持库 (C++11)

执行控制库 (C++26)

技术规范

符号索引

外部库

 

C++ 命名要求

基本 DefaultConstructible（可默认构造） MoveConstructible（可移动构造） (C++11) CopyConstructible（可复制构造） CopyAssignable（可复制赋值） MoveAssignable（可移动赋值） (C++11) Destructible（可析构） 类型属性 ScalarType（标量类型） PODType（POD类型） TriviallyCopyable（可平凡复制） (C++11) TrivialType（平凡类型） (C++11) StandardLayoutType（标准布局类型） (C++11)   ImplicitLifetimeType（隐式生命周期类型） 全库范围 BooleanTestable（可布尔测试） EqualityComparable（可相等比较） LessThanComparable（可小于比较） Swappable（可交换） ValueSwappable（值可交换） (C++11) NullablePointer（可空指针） (C++11) Hash（哈希） (C++11) Allocator FunctionObject（函数对象） Callable Predicate（谓词） BinaryPredicate（二元谓词） Compare

Container（容器） Container（容器） ReversibleContainer（可逆容器） AllocatorAwareContainer（分配器感知容器） SequenceContainer（序列容器） ContiguousContainer（连续容器） (C++17) AssociativeContainer（关联容器） UnorderedAssociativeContainer（无序关联容器） (C++11)   容器元素 DefaultInsertable（可默认插入） (C++11) CopyInsertable（可复制插入） (C++11) MoveInsertable（可移动插入） (C++11) EmplaceConstructible（可就地构造） (C++11) Erasable（可擦除） (C++11) 迭代器 (Iterator) LegacyIterator（传统迭代器） LegacyInputIterator（传统输入迭代器） LegacyOutputIterator（传统输出迭代器） LegacyForwardIterator（传统前向迭代器） LegacyBidirectionalIterator（传统双向迭代器） LegacyRandomAccessIterator（传统随机访问迭代器） LegacyContiguousIterator（传统连续迭代器） (C++17) ConstexprIterator（常量表达式迭代器） (C++20) 流 I/O FormattedInputFunction（格式化输入函数） UnformattedInputFunction（非格式化输入函数） FormattedOutputFunction（格式化输出函数） UnformattedOutputFunction（非格式化输出函数） 格式化器 BasicFormatter（基本格式化器） (C++20) Formatter (C++20)

随机数 SeedSequence（种子序列） (C++11) RandomNumberEngine（随机数引擎） (C++11) RandomNumberDistribution（随机数分布） (C++11) UniformRandomBitGenerator（均匀随机比特生成器） (C++11) RandomNumberEngineAdaptor（随机数引擎适配器） (C++11) 并发 BasicLockable（基本可锁定） (C++11) Lockable（可锁定） (C++11) TimedLockable（定时可锁定） (C++11) SharedLockable（共享可锁定） (C++14) SharedTimedLockable（共享定时可锁定） (C++14) Mutex (C++11) TimedMutex（定时互斥量） (C++11) SharedMutex（共享互斥量） (C++17) SharedTimedMutex（共享定时互斥量） (C++14) Ranges RangeAdaptorObject（范围适配器对象） (C++20) RangeAdaptorClosureObject（范围适配器闭包对象） (C++20) 多维视图 LayoutMapping（布局映射） (C++23) LayoutMappingPolicy（布局映射策略） (C++23) AccessorPolicy (C++23) 其他 CharTraits（字符特性） RegexTraits（正则表达式特性） (C++11)   BitmaskType（位掩码类型） LiteralType（字面量类型） (C++11) NumericType（数值类型） UnaryTypeTrait（一元类型特性） (C++11) BinaryTypeTrait（二元类型特性） (C++11) TransformationTrait（转换特性） (C++11) Clock（时钟） (C++11) TrivialClock（平凡时钟） (C++11)

 

一个 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; 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 < b 且 b < c 则 a < c a < b 或 b < a 或 a == 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>>;         }; 其中，仅用于说明的概念 __LegacyBidirectionalIterator 在 LegacyBidirectionalIterator 中描述。

(C++20 起)

缺陷报告

下列更改行为的缺陷报告追溯地应用于以前出版的 C++ 标准。

缺陷报告	应用于	发布时的行为	正确的行为
LWG 299 (N3066)	C++98	要求 a[n] 的返回类型 可转换为 const value_type&	要求返回类型 可转换为 reference
LWG 448	C++98	要求 a[n] 的返回类型 可转换为 value_type	要求返回类型 可转换为 const value_type&
LWG 1079	C++98	b - a 使用 a < b 定义， 导致循环定义	从定义中移除 a < b
LWG 2114 (P2167R3)	C++98	可转换为 bool 对于反映实现的期望来说太弱了	要求已加强

另见

random_access_iterator (C++20)	指定一个 bidirectional_iterator 是一个随机访问迭代器，支持常数时间步进和下标操作 (概念)
迭代器库	为迭代器、迭代器特性、适配器和实用函数提供定义