C++ 具名要求：老式向前迭代器 (LegacyForwardIterator)

 

C++

编译器支持

自立实现与有宿主实现

语言

标准库

标准库标头

具名要求

功能特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用工具库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

正则表达式库 (C++11)

并发支持库 (C++11)

技术规范

符号索引

外部库

 

C++ 具名要求

基础 DefaultConstructible MoveConstructible (C++11) CopyConstructible CopyAssignable MoveAssignable (C++11) Destructible 类型属性 ScalarType PODType 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 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) 迭代器 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) 范围 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)

 

老式向前迭代器 (LegacyForwardIterator) 是能从所指向的元素读取数据的老式迭代器 (LegacyIterator) 。

与老式输入迭代器 (LegacyInputIterator) 和老式输出迭代器 (LegacyOutputIterator) 不同，它可被用于多趟算法。

如果某个老式向前迭代器 (LegacyForwardIterator) it 源自某个容器 (Container) ，那么 it 与该容器具有相同的值类型，因此解引用 (*it) 将获得该容器的值类型。

要求

类型	定义
X	向前迭代器类型
T	X 的值类型（即 std::iterator_traits<X>::value_type）
Ref	std::iterator_traits<X>::reference
值	定义
i, j	X 或 const X 类型的值
r	X& 类型的值

在满足以下所有条件时，X 是老式向前迭代器 (LegacyForwardIterator) ：

• X 满足老式输入迭代器 (LegacyInputIterator) .
• X 满足可默认构造 (DefaultConstructible) .
• 如果 X 是可变迭代器，那么 Ref 是到 T 的引用。
• 如果 X 是常迭代器，那么 Ref 是到 const T 的引用。
• X 类型的对象提供多趟保证。
• 如果 i 与 j 相等，那么 i 和 j 要么都可解引用，要么都不可解引用。
• 如果 i 和 j 都可解引用，那么当且仅当 *i 和 *j 都绑定到相同的对象时 i == j。
• 下列表达式必须合法，并且具有指定的效果：

表达式	类型	效果
r++	可转换到 const X&	等价于 X x = r; ++r; return x;。
*i++	Ref

相等性定义域

对于向前迭代器，== 的定义域是具有相同的底层序列的迭代器。

值初始化的向前迭代器也可以用来比较，而且必须与相同类型的其他值初始化的迭代器比较相等。 也就是说，值初始化的向前迭代器如同是指代相同的空序列的尾后位置的迭代器。

(C++14 起)

多趟保证

X 类型的两个可解引用的迭代器 a 和 b 在满足以下所有条件时提供多趟保证：

• a == b 意味着 ++a == ++b。
• 满足以下任意条件：

• X 是指针类型。
• 表达式 (void)++X(a), *a 等价于表达式 *a。

概念 为了定义 std::iterator_traits，定义了以下仅用于阐述的概念： template<class It> concept __LegacyForwardIterator =     __LegacyInputIterator<It> && std::constructible_from<It> &&     std::is_reference_v<std::iter_reference_t<It>> &&     std::same_as<         std::remove_cvref_t<std::iter_reference_t<It>>,         typename std::indirectly_readable_traits<It>::value_type> &&     requires(It it) {         {  it++ } -> std::convertible_to<const It&>;         { *it++ } -> std::same_as<std::iter_reference_t<It>>;     }; 其中仅用于阐述的概念 __LegacyInputIterator<T> 描述于 LegacyInputIterator。

(C++20 起)

注解

与 std::forward_iterator 概念不同，老式向前迭代器 (LegacyForwardIterator) 要求解引用需要返回引用。

缺陷报告

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

缺陷报告	应用于	出版时的行为	正确行为
LWG 1212 (N3066)	C++98	*i++ 的类型与老式双向迭代器 (LegacyBidirectionalIterator) 要求的 *i-- 的类型不匹配	将类型改为 Ref
LWG 1311 (N3066)	C++98	“a == b 意味着 ++a == ++b”不足以提供多趟保证	也要求“a == b 意味着 ++a != b”
LWG 3798	C++20	__LegacyForwardIterator 要求 std::iter_reference_t<It> 是左值引用类型	也允许右值引用类型

参阅

forward_iterator (C++20)	指定 input_iterator 为向前迭代器，支持相等比较与多趟操作 (概念)
迭代器库	提供迭代器的定义、迭代器表征、适配器和工具函数