C++ 命名要求： LegacyInputIterator(遗留输入迭代器)

一个 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;.	没有明确的要求

相等域

术语== 的域 在通常的数学意义上用来表示可以用 == 进行比较的值集。此集合可能会随着时间的推移而改变。

每个算法都对它使用的迭代器值的相等域提出了额外的要求。这些要求可以从算法对 == 和 != 的使用推断出来。