双向迭代器


类别: 迭代器	组件类型: 概念

双向迭代器是一种既可以递增又可以递减的迭代器。双向迭代器可以递减的要求是区分双向迭代器和前向迭代器的唯一之处。

除了前向迭代器中定义的表达式外，以下表达式必须有效。

名称	表达式	类型要求	返回类型
前递减	`--i`		`X&`
后递减	`i--`		`X`

表达式的语义仅在前向迭代器中未定义的情况下定义。

名称	表达式	前提条件	语义	后置条件
前递减	`--i`	`i`是可解引用或越界。存在可解引用的迭代器`j`这样`i == ++j`.	`i`被修改为指向前一个元素。	`i`是可解引用的。`&i = &--i`. 如果`i == j`, 那么`--i == --j`. 如果`j`是可解引用的，并且`i == ++j`, 那么`--i == j`.
后递减	`i--`	`i`是可解引用或越界。存在可解引用的迭代器`j`这样`i == ++j`.	等价于 { X tmp = i; --i; return tmp; }

双向迭代器上操作的复杂度保证为摊销常数时间。

递增和递减的对称性如果i是可解引用的，那么++i; --i;是一个空操作。类似地，--i; ++i;是一个空操作。