C++ 命名要求： LegacyInputIterator

 

C++

编译器支持

独立和托管

语言

标准库

标准库头文件

命名要求

特性测试宏 (C++20)

语言支持库

概念库 (C++20)

元编程库 (C++11)

诊断库

通用实用程序库

字符串库

容器库

迭代器库

范围库 (C++20)

算法库

数值库

本地化库

输入/输出库

文件系统库 (C++17)

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

并发支持库 (C++11)

执行支持库 (C++26)

技术规范

符号索引

外部库

 

C++ 命名要求

基础 默认可构造 移动可构造 (C++11) 复制可构造 复制可赋值 移动可赋值 (C++11) 可析构 类型属性 标量类型 POD 类型 平凡可复制 (C++11) 平凡类型 (C++11) 标准布局类型 (C++11)   隐式生命周期类型 库范围 布尔可测试 相等可比较 小于可比较 可交换 值可交换 (C++11) 可空指针 (C++11) 哈希 (C++11) 分配器 函数对象 可调用 谓词 二元谓词 比较

容器 容器 可逆容器 分配器感知容器 序列容器 连续容器 (C++17) 关联容器 无序关联容器 (C++11)   容器元素 默认可插入 (C++11) 复制可插入 (C++11) 移动可插入 (C++11) 就地可构造 (C++11) 可擦除 (C++11) 迭代器 LegacyIterator LegacyInputIterator LegacyOutputIterator LegacyForwardIterator LegacyBidirectionalIterator LegacyRandomAccessIterator LegacyContiguousIterator (C++17) ConstexprIterator (C++20) 流 I/O 格式化输入函数 非格式化输入函数 格式化输出函数 非格式化输出函数 格式化器 基本格式化器 (C++20) 格式化器 (C++20)

随机数 种子序列 (C++11) 随机数引擎 (C++11) 随机数分布 (C++11) 均匀随机位生成器 (C++11) 随机数引擎适配器 (C++11) 并发 基本可锁 (C++11) 可锁 (C++11) 定时可锁 (C++11) 共享可锁 (C++14) 共享定时可锁 (C++14) 互斥锁 (C++11) 定时互斥锁 (C++11) 共享互斥锁 (C++17) 共享定时互斥锁 (C++14) 范围 范围适配器对象 (C++20) 范围适配器闭包对象 (C++20) 多维视图 布局映射 (C++23) 布局映射策略 (C++23) 访问器策略 (C++23) 其他 字符特征 正则表达式特征 (C++11)   位掩码类型 字面量类型 (C++11) 数值类型 一元类型特征 (C++11) 二元类型特征 (C++11) 转换特征 (C++11) 时钟 (C++11) 平凡时钟 (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)	等效于 !(i == j).	前	i 和 j 在 == 的 域 中。
	模型 boolean-testable (自 C++20)		后	没有明确的要求
*i	R，可转换为 T	表达式 (void)*i, *i 等效于 *i. 如果 i 和 j 在 == 的域中，并且 i == j，则 *i 等效于 *j.	前	i 是 可解引用 的。
			后	没有明确的要求
i->m		等效于 (*i).m.	前	i 是可解引用。
			后	没有明确的要求
++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>; }; where the exposition-only concept __LegacyIterator is described in LegacyIterator.

(自 C++20)

缺陷报告

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

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

参见

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