C++ 命名要求：旧式双向迭代器

旧式双向迭代器 是旧式前向迭代器，它可以在两个方向上移动（即，递增和递减）。

如果 旧式双向迭代器 it 源自容器，则 it 的 value_type 与容器的相同，因此解引用 (*it) 会获得容器的 value_type。

表达式	返回	等效表达式	注释
--a	`It&`		前提条件 a 是可递减的（存在这样的 b 使得 a == ++b）后置条件 a 是可解引用的 --(++a) == a 如果 --a == --b 则 a == b a 和 --a 指代同一个迭代器对象
a--	可转换为 const It&	It temp = a; --a; return temp;
*a--	`reference`

可变旧式双向迭代器是旧式双向迭代器，它还满足旧式输出迭代器的要求。

begin 迭代器不可递减，如果计算 --container.begin()，则行为未定义。

双向迭代器不必是可解引用的才能是可递减的（特别是，end 迭代器不可解引用但可递减）。

对于 std::iterator_traits 的定义，定义了以下仅用于说明的概念。

template<class I> concept __LegacyBidirectionalIterator = __LegacyForwardIterator<I> && requires(I i) { { --i } -> std::same_as<I&>; { i-- } -> std::convertible_to<const I&>; { *i-- } -> std::same_as<std::iter_reference_t<I>>; };

其中，仅用于说明的概念 __LegacyForwardIterator 在旧式前向迭代器中描述。

（自 C++20 起）

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

DR	应用于	已发布行为	正确行为
LWG 299 (N3066)	C++98	*a-- 的返回类型需要可转换为 `T`	将返回类型更改为 `reference`^[1] 类型更改为 `reference`^[1]
LWG 383	C++98	b 需要在 --a 之后可解引用	改为 a 需要可解引用
LWG 1212 (N3066)	C++98	a-- 的返回类型与 “旧式前向迭代器” 要求的 a++ 的返回类型不匹配	将返回类型更改为 `reference`^[1] 类型更改为 `reference`

bidirectional_iterator (C++20)	指定 forward_iterator 是一个双向迭代器，支持向后移动 (concept) [编辑]
迭代器库	提供迭代器、迭代器特征、适配器和实用函数的定义

目录