前向容器(Forward Container)

容器
類(lèi)目：容器

描述

前向容器中的元素是按一定的順序排序的：這個(gè)順序不會(huì)因?yàn)榈詣?dòng)改變。一定的順序要求允許定義相等的元素（如果容器中的元素是可以比較相等的Equality Comparable）和字典序（如果容器中的元素類(lèi)型是可以比較小于的 LessThen Comparable）。

前向容器中的迭代器滿足前向迭代器的要求：因此，前向容器支持多通道算法，并允許同一個(gè)容器可以同時(shí)擁有多個(gè)激活的迭代器。

完善(Refinement of)

Container,EqualityComparable,LessThanComparable

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

除了容器總定義的，沒(méi)有其他額外的類(lèi)型。然而，迭代器類(lèi)型的要求加強(qiáng)：迭代器類(lèi)型必須是前向迭代器模式。

標(biāo)記法

X 是一個(gè)前向容器模式的類(lèi)型
a,b 類(lèi)型X的對(duì)象
T 類(lèi)型X的值

定義

有效表達(dá)式

除了容器中定義的表達(dá)式外,EqualityComparable,和LessThanComparable，下面的表達(dá)式必須是有效的。
名字                        表達(dá)式        類(lèi)型要求                返回類(lèi)型
等式(Equality)              a == b        T是EqualityComparable   可轉(zhuǎn)換成bool
不等式(Inequality)          a != b        T是EqualityComparable   可轉(zhuǎn)換成bool
小于(Less)                  a < b         T是LessThanComparable   可轉(zhuǎn)換成bool
大于(Greater)               a > b         T是LessThanComparable   可轉(zhuǎn)換成bool
小于或等于(Less or equal)   a <= b        T是LessThanComparable   可轉(zhuǎn)換成bool
大于或等于(Greater or equal)a >= b        T是LessThanComparable   可轉(zhuǎn)換成bool

表達(dá)式語(yǔ)義

一個(gè)表達(dá)式的語(yǔ)義只有在這種情況下定義，當(dāng)它沒(méi)有定義在Container, EqualityComparable, 或者LessThanComparable，或者有額外的信息。
名字                 表達(dá)式         前提  語(yǔ)義                                                                         后置
等式(Equality)       a == b               如果a.size() == b.size()而且a中的每個(gè)元素都等于b中的對(duì)應(yīng)的元素，那么返回true。否則返回false。
小于(Less)           a < b                相當(dāng)于lexicographical_compare(a,b)

復(fù)雜性擔(dān)保

等式和不等式的操作與容器的大小呈線性關(guān)系。

不變

順序 兩個(gè)不同的迭代器迭代一個(gè)前向容器的，都是以同樣的順序訪問(wèn)它的元素，提供一個(gè)沒(méi)有干預(yù)性的操作。

模型

vector
list
slist
deque
set
hash_set
map
hash_map
multiset
hash_multiset
multimap
hash_multimap

注釋

參見(jiàn)

iterator overview, Forward Iterator, Sequence