C++ 命名要求： LegacyInputIterator

 

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)

 

一个 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 是尾后迭代器。 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> concept __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++ 标准。

缺陷报告	应用于	发布时的行为	正确的行为
LWG 98	C++98	要求 *i++ 的返回类型为 T	它可以是任何可转换为 T 的类型
LWG 2114 (P2167R3)	C++98	转换为 bool 的能力太弱 未能反映实现预期	要求已加强

参阅

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