C++ 具名要求： LegacyInputIterator

 

C++

编译器支持

独立式和宿主式

语言

标准库

标准库头文件

具名要求

特性测试宏 (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 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) 范围 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) 时钟 (C++11) TrivialClock (C++11)

 

LegacyInputIterator 是一个 LegacyIterator，它可以从所指向的元素读取。LegacyInputIterator 仅保证单次遍历算法的有效性：一旦 LegacyInputIterator i 递增后，其先前值的所有副本都可能失效。

要求

类型	定义
X	一个输入迭代器类型
T	X 的值类型 (即 std::iterator_traits<X>::value_type)
R	std::iterator_traits<X>::reference
值	定义
i, j	类型为 X 或 const X 的值
r	类型为 X& 的值
其他	定义
m	可能表示数据成员或成员函数的标识符

如果满足以下所有条件，则 X 满足 LegacyInputIterator

• X 满足 LegacyIterator。
• X 满足 EqualityComparable。
• 以下表达式是良构的，并具有指定的语义

表达式	类型	语义
i != j	满足 BooleanTestable 的类型 (C++20 前) 建模 boolean-testable 的类型 (C++20 起)	先决条件	i 和 j 在 域 == 中。
		效果	等价于 !(i == j)。
*i	R，可转换为 T	先决条件	i 是 可解引用的。
		效果	表达式 (void)*i, *i 等价于 *i。 如果 i 和 j 在 == 的域中，且 i == j，则 *i 等价于 *j。
i->m		先决条件	i 是可解引用的。
		效果	等价于 (*i).m。
++r	X&	先决条件	r 是可解引用的。
		后置条件	r 是可解引用的或 r 是过尾 (past-the-end) 的。 r 先前值的任何副本不再需要是可解引用的或在 == 的域中。
(void)r++		效果	等价于 (void)++r。
*r++	可转换为 T	效果	等价于 T x = *r; ++r; return x;。

相等域

术语== 的域 在通常的数学意义上使用，表示可以使用 == 进行比较的值的集合。此集合可能会随时间变化。

每种算法都对其使用的迭代器值的相等域施加额外的要求。这些要求可以从算法对 == 和 != 的使用中推断出来。

注解

对于不是 LegacyForwardIterator 的输入迭代器 X，std::iterator_traits<X>::reference 不必是引用类型：解引用输入迭代器可能会按值返回代理对象或 std::iterator_traits<X>::value_type 本身（如 std::istreambuf_iterator 的情况）。

概念 对于 std::iterator_traits 的定义，定义了以下仅用于说明的概念。 template<class I> 概念 __LegacyInputIterator = __LegacyIterator<I> && std::equality_comparable<I> && requires(I i) {     typename std::incrementable_traits<I>::difference_type;     typename std::indirectly_readable_traits<I>::value_type;     typename std::common_reference_t<std::iter_reference_t<I>&&,                                      typename std::indirectly_readable_traits<I>::value_type&>;     *i++;     typename std::common_reference_t<decltype(*i++)&&,                                      typename std::indirectly_readable_traits<I>::value_type&>;     requires std::signed_integral<typename std::incrementable_traits<I>::difference_type>; }; 其中仅用于说明的概念 __LegacyIterator 在 LegacyIterator 中描述。

(C++20 起)

缺陷报告

以下行为变更缺陷报告被追溯应用于先前发布的 C++ 标准。

DR	应用于	已发布行为	正确行为
LWG 98	C++98	*i++ 的返回类型必须为 T	它可以是任何可转换为 T 的类型
LWG 2114 (P2167R3)	C++98	到 bool 的可转换性太弱 反映实现的期望	要求已加强

参见

input_iterator (C++20)	指定类型为输入迭代器，即可以读取其引用值，并且可以进行前置和后置递增 (概念)
迭代器库	提供迭代器、迭代器特征、适配器和实用函数的定义