第九章 顺序容器

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,将迭代器be指定范围内的所有元素拷贝到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)交换c1c2的元素
swap(c1, c2)等价于c1.swap(c2)
c.assign(b, e)c中的元素替换成迭代器be表示范围中的元素,be不能指向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)将迭代器be范围内的元素,插入到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之后插入元素。由迭代器be指定范围。
lst.insert_after(p, il)在迭代器p之后插入元素。由il指定初始化列表。
lst.emplace_after(p, args)使用argsp之后的位置,创建一个元素,返回一个指向这个新元素的迭代器。若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
  • 添加、删除操作可能使迭代器失效
    • 在向容器添加元素后:
      • 如果容器是vectorstring,且存储空间被重新分配,则指向容器的迭代器、指针、引用都会失效。
      • 对于deque,插入到除首尾位置之外的任何位置都会导致指向容器的迭代器、指针、引用失效。如果在首尾位置添加元素,迭代器会失效,但指向存在元素的引用和指针不会失效。
      • 对于listforward_list,指向容器的迭代器、指针和引用依然有效。
    • 在从一个容器中删除元素后:尾后迭代器总是会失效
      • 对于listforward_list,指向容器其他位置的迭代器、引用和指针仍然有效。
      • 对于deque,如果在首尾之外的任何位置删除元素,那么指向被删除元素外其他元素的迭代器、指针、引用都会失效;如果是删除deque的尾元素,则尾后迭代器会失效,但其他不受影响;如果删除的是deque的头元素,这些也不会受影响。
      • 对于vectorstring,指向被删元素之前的迭代器、引用、指针仍然有效。

9.4 vector对象是如何增长的

vectorstring在内存中是连续保存的,如果原先分配的内存位置已经使用完,则需要重新分配新空间,将已有元素从就位置移动到新空间中,然后添加新元素。

管理容量的成员函数

操作解释
c.shrink_to_fit()capacity()减少到和size()相同大小
c.capacity()不重新分配内存空间的话,c可以保存多少个元素
c.reverse(n)分配至少能容纳n个元素的内存空间(预分配,而且如果需求容量小于当前容量,什么都不做)
  • shrink_to_fit只适用于vectorstringdeque
  • capacityreverse只适用于vectorstring

9.5 额外的string操作

构造string的其他方法

操作解释
string s(cp, n)scp指向的数组中前n个字符的拷贝,此数组至少有n个字符
string s(s2, pos2)sstring s2从下标pos2开始的字符到末尾的拷贝。若pos2 > s2.size(),则构造函数的行为未定义。
string s(s2, pos2, len2)sstring 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::nposstatic成员(类型是string::size_type,初始化值是-1,也就是string最大的可能大小)。
搜索操作解释
s.find(args)查找sargs第一次出现的位置
s.rfind(args)查找sargs最后一次出现的位置
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, poss中位置pos开始查找字符cpos默认是0
s2, poss中位置pos开始查找字符串s2pos默认是0
cp, poss中位置pos开始查找指针cp指向的以空字符结尾的C风格字符串。pos默认是0
cp, pos, ns中位置pos开始查找指针cp指向的前n个字符。posn无默认值。
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比较ss2
pos1, n1, s2比较spos1开始的n1个字符和s2
pos1, n1, s2, pos2, n2比较spos1开始的n1个字符和s2从pos2开始的n2个字符
cp比较scp指向的以空字符结尾的字符数组
pos1, n1, cp比较spos1开始的n1个字符和cp指向的以空字符结尾的字符数组
pos1, n1, cp, n2比较spos1开始的n1个字符和cp指向的地址开始n2个字符

string和数值转换

转换解释
to_string(val)一组重载函数,返回数值valstring表示
stoi(s, p, b)返回s起始子串(表示整数内容)的数值,ps中第一个非数值字符的下标,默认是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)交换ab的内容,ab必须有相同类型,包括底层容器类型也必须相同
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实现