可逆容器(Reversible Container)

類(lèi)目：容器

描述

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

改善自

Forward Container

相關(guān)類(lèi)型

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

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

標(biāo)記法

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

定義

有效表達(dá)式

除了前向容器(Forward Container)中的表達(dá)式外，下面的表達(dá)式也必須有效
名稱(chēng)                      表達(dá)式     類(lèi)型要求   返回類(lèi)型
范圍起始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á)式語(yǔ)義

一個(gè)表達(dá)式的語(yǔ)義只有在這種情況下定義，當(dāng)它沒(méi)有在前向容器(Forward Container)中定義，或者有額外的信息。
名稱(chēng)                      表達(dá)式 前提     語(yǔ)義                                后置
逆向范圍起始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ù)雜性是攤銷(xiāo)時(shí)間為常數(shù)。

不變因素

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

模型

vector
list
deque

注釋

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

參見(jiàn)

Iterator overview, Bidirectional Iterator, Sequence