C++ 命名需求： LegacyForwardIterator

LegacyForwardIterator 是一种 LegacyIterator，可以从所指向的元素中读取数据。

与 LegacyInputIterator 和 LegacyOutputIterator 不同，它可以在多趟算法中使用。

如果一个 LegacyForwardIterator it 源自一个 Container，那么 it 的值类型与容器的值类型相同，因此解引用 (*it) 获取容器的值类型。

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

前向迭代器的 == 域是其在相同底层序列上的迭代器。

然而，值初始化的前向迭代器可以比较，并且必须与相同类型的其他值初始化迭代器比较相等。

换句话说，值初始化的前向迭代器表现得好像它们引用了同一个空序列的末尾之外的位置。

(C++14 起)

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

对于 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>>; };

其中，仅用于展示的 concept __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” 单独不提供多趟保证^[1]	还要求 “a == b 蕴含 ++a != b”^[2]
LWG 3798	C++20	`__LegacyForwardIterator` 要求 std::iter_reference_t<It> 必须是左值引用类型	也允许右值引用类型

forward_iterator (C++20)	指定`input_iterator`是前向迭代器，支持相等比较和多趟遍历 (concept) [编辑]
迭代器库	为迭代器、迭代器特性、适配器和实用函数提供定义

目录

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