可逆容器(Reversible Container)

類目：容器

描述

可逆容器是一個(gè)有雙向迭代器的前向容器。它可以向后向后迭代通過容器。

改善自

Forward Container

相關(guān)類型

介紹了兩個(gè)新的類型。此外，迭代器類型和常量迭代器類型必須滿足比前向容器(Forward Container)更嚴(yán)格的要求。迭代器類型和反向迭代器類型必須是雙向迭代器(Bidirectional Iterators)，而不僅僅是前向迭代器(ForWard Iterators)。

反向迭代器類型(Reverse iterator type)            X::reverse_iterator    一個(gè)反向迭代器適配器的基迭代器類型是容器的迭代器類型。遞增反向迭代器(rever_iterator)類型對(duì)象向后移動(dòng)通過容器：Reverse Iterator適配器映射了++操作符和--操作符。
常量反向迭代器類型(Const reverse iterator type)  X::const_reverse_iterator  一個(gè)反向迭代器適配器的基迭代器是容器的常量迭代器類型。[1]

標(biāo)記法

X    反向容器模式類型
a,b  類型X對(duì)象

定義

有效表達(dá)式

除了前向容器(Forward Container)中的表達(dá)式外，下面的表達(dá)式也必須有效
名稱                      表達(dá)式     類型要求   返回類型
范圍起始Beginning of range a.rbegin()           如果a是可變的，那么是reverse_iterator,否則為const_reverse_iterator[1]
范圍結(jié)束End of range       a.rend()             如果a是可變的，那么是reverse_iterator，否則為const_reverse_iterator[1]

表達(dá)式語義

一個(gè)表達(dá)式的語義只有在這種情況下定義，當(dāng)它沒有在前向容器(Forward Container)中定義，或者有額外的信息。
名稱                      表達(dá)式 前提     語義                                后置
逆向范圍起始Beginning of range a.rbegin()    相當(dāng)于X::reverse_iterator(a.end())。 a.rbegin()是提領(lǐng)或者是past-the-end。當(dāng)a.size() == 0是，它為past-the-end。
逆向范圍結(jié)束End of reverse range a.rend()    相當(dāng)于X::reverse_iterator(a.begin())。 a.rend()是past-the-end。

復(fù)雜性保證

rbegin()和rend()運(yùn)行時(shí)復(fù)雜性是攤銷時(shí)間為常數(shù)。

不變因素

有效范圍          [a.rbegin(), a.rend())是一個(gè)有效范圍。
等待范圍          a.begin()到a.end()之間的距離和a.rbegin()到a.rend()之間的距離是一樣的。

模型

vector
list
deque

注釋

[1]一個(gè)容器的迭代器類型和常量迭代器類型有可能是相同的類型：一個(gè)容器不需要提供可變的迭代器。因此反向迭代器類型和常量反向迭代器類型也可能是相同的。

參見

Iterator overview, Bidirectional Iterator, Sequence