第九章 顺序容器¶
9.1 顺序容器概述¶
- 顺序容器(sequential container):元素顺序不依赖于元素的值,而是与元素加入容器时的位置相对应。
顺序容器类型¶
容器类型 | 介绍 |
---|
vector | 随机访问,尾部插入/删除快 |
deque | 随机访问,头尾插入/删除快 |
list | 双向链表。只支持双向顺序访问,任何位置插入/删除都快 |
forward_list | 单向链表。只支持单向顺序访问。任何位置插入/删除都快 |
array | 固定大小数组,随机访问。不能添加或者删除元素。 |
string | 随机访问,尾部插入/删除速度快。 |
- list 的额外内存开销相比其他大很多。
- 通常使用
vector
是最好的选择,除非你有很好的理由选择其他容器。- 如果不需要向中间插入数据,则先向vector中添加,再sort
- 如果一定要向中间插入数据,则先使用list,输入完成后再拷贝到vector中
9.2 容器库概览¶
操作 | 解释 |
---|
iterator | 此容器类型的迭代器类型 |
const_iterator | 可以读取元素但不能修改元素的迭代器类型 |
size_type | 无符号整数类型,足够保存此种容器类型最大可能的大小 |
difference_type | 带符号整数类型,足够保存两个迭代器之间的距离 |
value_type | 元素类型 |
reference | 元素的左值类型;和value_type & 含义相同 |
const_reference | 元素的const 左值类型,即const value_type & |
- 迭代器范围begin和end,其中end是指向尾后地址,左闭右开
- 当不需要修改时,尽量使用const iterator
构造函数¶
操作 | 解释 |
---|
C c; | 默认构造函数,构造空容器 |
C c1(c2); 或C c1 = c2; | 构造c2 的拷贝c1 |
C c(b, e) | 构造c ,将迭代器b 和e 指定范围内的所有元素拷贝到c |
C c{a, b, c...} | 列表初始化c |
C c(n) | 只支持顺序容器,且不包括array ,包含n 个元素,这些元素进行了值初始化 |
C c(n, t) | 包含n 个初始值为t 的元素 |
- 三种构造方式:
- 直接拷贝:将一个容器复制给另一个容器时,类型必须匹配:容器类型和元素类型都必须相同。
- 迭代器范围构造:不要求容器类型相同,容器内的元素类型也可以不同,但是要能进行类型转换
- 列表初始化
- array初始化
- 定义array需要同时指定元素类型和大小,默认初始化为0
- array只能默认初始化或列表初始化,如果定义的数组很大并且需要初始化,可以先默认初始化然后用 fill 函数填充值。
赋值和swap
¶
操作 | 解释 |
---|
c1 = c2; | 将c1 中的元素替换成c2 中的元素 |
c1 = {a, b, c...} | 将c1 中的元素替换成列表中的元素(不适用于array ) |
c1.swap(c2) | 交换c1 和c2 的元素 |
swap(c1, c2) | 等价于c1.swap(c2) |
c.assign(b, e) | 将c 中的元素替换成迭代器b 和e 表示范围中的元素,b 和e 不能指向c 中的元素,可以用不同但相容的类型赋值,或者用容器的子序列赋值 |
c.assign(il) | 将c 中的元素替换成初始化列表il 中的元素 |
c.assign(n, r) | 将c 中的元素替换为n 个值是t 的元素 |
- swap:
- 对于array,swap会真正交换它们的元素;对于其他元素,swap不交换元素,只交换数据结构,因此很快
- 对于 string,swap 后,指针、引用和迭代器会失效。对于其他容器,交换后指针指向了另一个容器的相同位置。
- 建议统一使用
swap(a,b)
- assign赋值:
assign
操作不适用于关联容器和array
=
赋值要求两边类型相同,assign只要求可以转换即可
- array赋值:
- 不能对内置数组拷贝或赋值,但是 array 可以。
- 使用一个 array 对另一个 array 赋值,需要两个array 元素类型与大小都相同。
- 不能用花括号列表对 array 赋值(只可以初始化)
操作 | 解释 |
---|
c.size() | c 中元素的数目(不支持forward_list ) |
c.max_size() | c 中可保存的最大元素数目 |
c.empty() | 若c 中存储了元素,返回false ,否则返回true |
- forward_list支持max_size和empty,但是不支持size
9.3 顺序容器操作¶
添加元素¶
操作 | 解释 |
---|
c.push_back(t) | 在c 尾部创建一个值为t 的元素,返回void |
c.emplace_back(args) | 同上 |
c.push_front(t) | 在c 头部创建一个值为t 的元素,返回void |
c.emplace_front(args) | 同上 |
c.insert(p, t) | 在迭代器p 指向的元素之前创建一个值是t 的元素,返回指向新元素的迭代器 |
c.emplace(p, args) | 同上 |
c.insert(p, n, t) | 在迭代器p 指向的元素之前插入n 个值为t 的元素,返回指向第一个新元素的迭代器 |
c.insert(p, b, e) | 将迭代器b 和e 范围内的元素,插入到p 指向的元素之前 |
c.insert(p, il) | il 是一个花括号包围中的元素值列表,将其插入到p 指向的元素之前 |
- 向vector、string或deque插入元素会使所有指向容器的迭代器、引用和指针失效。
- 头尾添加返回void,中间添加返回指向新添加元素的迭代器
- push和insert传递的是元素类型的对象,emplace则将参数传递给元素类型的构造对象
- 传递给emplace的参数必须和元素类型的构造函数相匹配。
- insert 返回值是指向添加的元素中第一个元素的迭代器
- 添加的都是元素的拷贝,不是元素本身。
访问元素¶
操作 | 解释 |
---|
c.back() | 返回c 中尾元素的引用。若c 为空,函数行为未定义 |
c.front() | 返回c 中头元素的引用。若c 为空,函数行为未定义 |
c[n] | 返回c 中下标是n 的元素的引用,n 时候一个无符号整数。若n>=c.size() ,则函数行为未定义 |
c.at(n) | 返回下标为n 的元素引用。如果下标越界,则抛出out_of_range 异常 |
删除元素¶
操作 | 解释 |
---|
c.pop_back() | 删除c 中尾元素,若c 为空,则函数行为未定义。函数返回void |
c.pop_front() | 删除c 中首元素,若c 为空,则函数行为未定义。函数返回void |
c.erase(p) | 删除迭代器p 指向的元素,返回一个指向被删除元素之后的元素的迭代器,若p 本身是尾后迭代器,则函数行为未定义 |
c.erase(b, e) | 删除迭代器[b,e) 内的元素,返回指向最后一个被删元素之后元素的迭代器,若e 本身就是尾后迭代器,则返回尾后迭代器 |
c.clear() | 删除c 中所有元素,返回void |
特殊的forward_list操作¶
- forward_list 是单向链表,添加和删除操作都会同时改变前驱和后继结点
forward_list
定义了before_begin()
,即【首前(off-the-beginning)迭代器】,允许我们再在首元素之前添加或删除元素。- 前面的insert都是在当前元素之前插入,insert_after插入到当前元素之后
操作 | 解释 |
---|
lst.before_begin() | 返回指向链表首元素之前不存在的元素的迭代器,此迭代器不能解引用。 |
lst.cbefore_begin() | 同上,但是返回的是常量迭代器。 |
lst.insert_after(p, t) | 在迭代器p 之后插入元素。t 是一个对象 |
lst.insert_after(p, n, t) | 在迭代器p 之后插入元素。t 是一个对象,n 是数量。若n 是0则函数行为未定义 |
lst.insert_after(p, b, e) | 在迭代器p 之后插入元素。由迭代器b 和e 指定范围。 |
lst.insert_after(p, il) | 在迭代器p 之后插入元素。由il 指定初始化列表。 |
lst.emplace_after(p, args) | 使用args 在p 之后的位置,创建一个元素,返回一个指向这个新元素的迭代器。若p 为尾后迭代器,则函数行为未定义。 |
lst.erase_after(p) | 删除p 指向位置之后的元素,返回一个指向被删元素之后的元素的迭代器,若p 指向lst 的尾元素或者是一个尾后迭代器,则函数行为未定义。 |
lst.erase_after(b, e) | 类似上面,删除对象换成从(b,e) 指定的范围。 |
改变容器大小¶
操作 | 解释 |
---|
c.resize(n) | 调整c 的大小为n 个元素,若n<c.size() ,则多出的元素被丢弃。若必须添加新元素,对新元素进行值初始化 |
c.resize(n, t) | 调整c 的大小为n 个元素,任何新添加的元素都初始化为值t |
迭代器¶
操作 | 解释 |
---|
c.begin() , c.end() | 返回指向c 的首元素和尾元素之后位置的迭代器 |
c.cbegin() , c.cend() | 返回const_iterator |
c.rbegin() , c.rend() | 返回指向c 的尾元素和首元素之前位置的迭代器 |
c.crbegin() , c.crend() | 返回const_reverse_iterator |
- 添加、删除操作可能使迭代器失效
- 在向容器添加元素后:
- 如果容器是
vector
或string
,且存储空间被重新分配,则指向容器的迭代器、指针、引用都会失效。 - 对于
deque
,插入到除首尾位置之外的任何位置都会导致指向容器的迭代器、指针、引用失效。如果在首尾位置添加元素,迭代器会失效,但指向存在元素的引用和指针不会失效。 - 对于
list
和forward_list
,指向容器的迭代器、指针和引用依然有效。
- 在从一个容器中删除元素后:尾后迭代器总是会失效
- 对于
list
和forward_list
,指向容器其他位置的迭代器、引用和指针仍然有效。 - 对于
deque
,如果在首尾之外的任何位置删除元素,那么指向被删除元素外其他元素的迭代器、指针、引用都会失效;如果是删除deque
的尾元素,则尾后迭代器会失效,但其他不受影响;如果删除的是deque
的头元素,这些也不会受影响。 - 对于
vector
和string
,指向被删元素之前的迭代器、引用、指针仍然有效。
9.4 vector对象是如何增长的¶
vector
和string
在内存中是连续保存的,如果原先分配的内存位置已经使用完,则需要重新分配新空间,将已有元素从就位置移动到新空间中,然后添加新元素。
管理容量的成员函数¶
操作 | 解释 |
---|
c.shrink_to_fit() | 将capacity() 减少到和size() 相同大小 |
c.capacity() | 不重新分配内存空间的话,c 可以保存多少个元素 |
c.reverse(n) | 分配至少能容纳n 个元素的内存空间(预分配,而且如果需求容量小于当前容量,什么都不做) |
shrink_to_fit
只适用于vector
、string
和deque
capacity
和reverse
只适用于vector
和string
。
9.5 额外的string操作¶
构造string的其他方法¶
操作 | 解释 |
---|
string s(cp, n) | s 是cp 指向的数组中前n 个字符的拷贝,此数组至少有n个字符 |
string s(s2, pos2) | s 是string s2 从下标pos2 开始的字符到末尾的拷贝。若pos2 > s2.size() ,则构造函数的行为未定义。 |
string s(s2, pos2, len2) | s 是string s2 从下标pos2 开始的len2 个字符的拷贝。 |
- 最初的构造函数:直接初始化(圆括号初始化)、迭代器范围初始化、列表初始化
substr操作¶
操作 | 解释 |
---|
s.substr(pos, n) | 返回一个string ,包含s 中从pos 开始的n 个字符的拷贝。 |
改变string的其他方法¶
操作 | 解释 |
---|
s.insert(pos, args) | 在pos 之前插入args 指定的字符。pos 可以使是下标或者迭代器。接受下标的版本返回指向s 的引用;接受迭代器的版本返回指向第一个插入字符的迭代器。 |
s.erase(pos, len) | 删除从pos 开始的len 个字符,如果len 被省略,则删除后面所有字符,返回指向s 的引用。 |
s.assign(args) | 将s 中的字符替换成args 指定的字符。返回一个指向s 的引用。(args不变) |
s.append(args) | 将args 指定的字符追加到s ,返回一个指向s 的引用。 |
s.replace(range, args) | 删除s 中范围range 中的字符,替换成args 指定的字符。返回一个指向s 的引用。 |
string搜索操作¶
string
类提供了6个不同的搜索函数,每个函数都有4个重载版本。- 每个搜索操作都返回一个
string::size_type
值,表示匹配发生位置的下标。如果搜索失败则返回一个名为string::npos
的static
成员(类型是string::size_type
,初始化值是-1,也就是string
最大的可能大小)。
搜索操作 | 解释 |
---|
s.find(args) | 查找s 中args 第一次出现的位置 |
s.rfind(args) | 查找s 中args 最后一次出现的位置 |
s.find_first_of(args) | 在s 中查找args 中任何一个字符第一次出现的位置 |
s.find_last_of(args) | 在s 中查找args 中任何一个字符最后一次出现的位置 |
s.find_first_not_of(args) | 在s 中查找第一个不在args 中的字符 |
s.find_first_not_of(args) | 在s 中查找最后一个不在args 中的字符 |
args必须是一下的形式之一:
args 形式 | 解释 |
---|
c, pos | 从s 中位置pos 开始查找字符c 。pos 默认是0 |
s2, pos | 从s 中位置pos 开始查找字符串s2 。pos 默认是0 |
cp, pos | 从s 中位置pos 开始查找指针cp 指向的以空字符结尾的C风格字符串。pos 默认是0 |
cp, pos, n | 从s 中位置pos 开始查找指针cp 指向的前n 个字符。pos 和n 无默认值。 |
1
2
3
4
5
6
| // 使用pos循环查找所有str包含的字符的位置
string::size_type pos = 0;
while((pos = s.find_first_of(str, pos)) != string::npos){
cout<<pos<<endl;
++pos;
}
|
s.compare的几种参数形式¶
逻辑类似于C标准库的strcmp
函数,根据s
是等于、大于还是小于参数指定的字符串,s.compare
返回0、正数或负数。
参数形式 | 解释 |
---|
s2 | 比较s 和s2 |
pos1, n1, s2 | 比较s 从pos1 开始的n1 个字符和s2 |
pos1, n1, s2, pos2, n2 | 比较s 从pos1 开始的n1 个字符和s2 从pos2开始的n2个字符 |
cp | 比较s 和cp 指向的以空字符结尾的字符数组 |
pos1, n1, cp | 比较s 从pos1 开始的n1 个字符和cp 指向的以空字符结尾的字符数组 |
pos1, n1, cp, n2 | 比较s 从pos1 开始的n1 个字符和cp 指向的地址开始n2 个字符 |
string和数值转换¶
转换 | 解释 |
---|
to_string(val) | 一组重载函数,返回数值val 的string 表示 |
stoi(s, p, b) | 返回s 起始子串(表示整数内容)的数值,p 是s 中第一个非数值字符的下标,默认是0,b 是转换所用的基数。返回int |
9.6 容器适配器(adapter)¶
- 适配器是使一事物的行为看起来像另一事物的行为的一种机制,例如
stack
可以使任何一种顺序容器以栈的方式工作。 - 默认情况下,stack和queue是基于deque实现的,priority_queue是基于vector实现的,基础容器不能是array和forward_list
- 因此可以直接使用一个deque来初始化stack和queue,使用一个有序vector初始化priority_queue
- 也可以指定实现的顺序容器:
stack<string, vector<string> > str_stk;
适配器的通用操作和类型¶
操作 | 解释 |
---|
size_type | 一种类型,须以保存当前类型的最大对象的大小 |
value_type | 元素类型 |
container_type | 实现适配器的底层容器类型 |
A a; | 创建一个名为a 的空适配器 |
A a(c) | 创建一个名为a 的适配器,带有容器c 的一个拷贝 |
关系运算符 | 每个适配器都支持所有关系运算符:== 、!= 、< 、 <= 、> 、>= 这些运算符返回底层容器的比较结果 |
a.empty() | 若a 包含任何元素,返回false ;否则返回true |
a.size() | 返回a 中的元素数目 |
swap(a, b) | 交换a 和b 的内容,a 和b 必须有相同类型,包括底层容器类型也必须相同 |
a.swap(b) | 同上 |
stack¶
操作 | 解释 |
---|
s.pop() | 删除栈顶元素,不返回。 |
s.push(item) | 创建一个新元素,压入栈顶,该元素通过拷贝或移动item 而来 |
s.emplace(args) | 同上,但元素由args 来构造。 |
s.top() | 返回栈顶元素,不删除。 |
- 定义在
stack
头文件中。 - stack可以基于deque(默认)、list、vector实现
queue和priority_queue¶
操作 | 解释 |
---|
q.pop() | 删除队首元素,但不返回。 |
q.front() | 返回队首元素的值,不删除。 |
q.back() | 返回队尾元素的值,不删除。只适用于queue |
q.top() | 返回具有最高优先级的元素值,不删除。 |
q.push(item) | 在队尾压入一个新元素。 |
q.emplace(args) | |
- 定义在
queue
头文件中。 - queue可以基于deque(默认)、list、vector实现,priority_queue可以基于deque(默认)、vector实现