泛型编程——容器种类

  STL具有容器概念和容器类型。概念是具有名称（如容器、序列容器、关联容器）的通用类别，容器类型是可用于创建具体容器对象的模板。C++11以前的容器类型分别是：deque、list、queue、priority_queue、stack、vector、map、multimap、set、multiset和bitset；C++11新增了forward_list、unordered_map、unordered_multimap、unordered_set和unordered_multiset,且不将bitset视为容器。

容器概念
  没有与基本容器概念对应的类型，但概念描述了所有容器类都通用的元素。它是一种概念化的抽象基类，说它概念化是因为容器类并不真正使用继承机制。容器概念指定了所有STL容器类都必须满足的一系列要求。
  容器是存储其它对象的对象。被存储的对象必须是同一种类型的。它们可以是OOP意义上的对象也可以是内置类型值。存储在容器中的数据为容器所有，意味着当容器过期时，存储在容器中的数据也将过期（如果数据是指针的话，则它指向的数据并不一定过期）
  不能将任何类型的对象存储在容器中，具体地说，类型必须是可赋值构造函数和可赋值的。基本类型满足这些要求；只要类定义没有将复制构造函数和赋值运算符声明为私有或保护的，则也满足这种要求。

一些基本的容器特征

表达式	返回类型	说明	复杂度
X::iterator	指向T的迭代器类型	满足正向迭代器要求的任何迭代器	编译时间
X::value_type	T	T的类型	编译时间
X u;		创建一个名为u的空容器	固定
X();		创建一个匿名的空容器	固定
X u(a);	调用复制构造函数后u = a	线性
X u = a		作用同X u(a)	线性
r = a	X &	调用赋值运算符后r==a	线性
(&a)->~X()	void	对容器中每个元素应用析构函数	线性
a.begin()	迭代器	返回指向容器第一个元素的迭代器	固定
a.end()	迭代器	返回超尾值迭代器	固定
a.size()	无符号整形	返回元素个数，等价于a.end()-a.begin()	固定
a.swap(b)	void	交换a和b的内容	固定
a==b	可转换为bool	如果a和b的长度相同，且a中每个元素都等于（==为真）b中相应的元素，则为真	线性
a!=b	可转换为bool	返回!(a==b)	线性

上表中的"复杂度“”一列描述了执行操作所需的时间。从快到慢依次为：
• 编译时间；在编译时执行，执行时间为0；
• 固定时间；操作发生在运行阶段，与元素数目无关；
• 线性时间：时间与元素数目成正比；
复杂度要求是STL特征，虽然实现细节可以隐藏，但性能规格应公开。

C++11新增的容器要求

表达式	返回类型	说明	复杂度
X u(rv);		调用移动构造函数后，u的值与rv的原始值相同	线性
X u = rv;		作用同X u(rv)
a = rv	X &	调用移动赋值运算符后，u的值与rv的原始值相同	线性
a.cbegin()	const_iterator	返回指向容器第一个元素的const迭代器	固定
a.cend()	const_iterator	返回超尾值const迭代器	固定

  赋值构造和复制赋值以及移动构造和移动赋值之间的差别在于，复制操作保留源对象，而移动操作可修改源对象，还可能转让所有权，而不做任何赋值。如果源对象是临时的，移动操作的效率将高于常规复制。

序列
  序列是一种重要的改进，因为7种STL容器类型（deque、C++11新增的forward_list,list,queue,priority_queue,stack和vector）都是序列。序列概念增加了迭代器至少是正向迭代器这样的要求，这保证了元素将按特定顺序排列，不会在两次迭代之间发生变化。
序列的要求

表达式	返回类型	说明
X a(n, t)		声明一个名为a的由n个t值组成的序列
X (n, t)		创建一个由n个t值组成的匿名序列
X a(i,j)		声明一个名为a的序列，并将其初始化为区间[i,j)的内容
X(i, j)		创建一个匿名序列，并将其初始化为区间[i,j)的内容
a.insert(p,t)	迭代器	将t插入到p的前面
a.insert(p,n,t)	void	将n个t插入到p的前面
a.insert(p,i,j)	void	将区间[i,j)的内容插入到p的前面
a.erase§	迭代器	删除p指向的元素
a.erase(p,q)	迭代器	删除区间[p,q)中的元素
a.clear()	void	等价于erase(begin(), end())

下面分别介绍这7种序列容器类型
（1）vector
  vector是数组的一种类表示，它提供了自动内存管理功能，可以动态的改变vector对象的长度，并随着元素的添加和删除而增大和缩小。它提供了对元素的随机访问。在尾部添加和删除元素的时间是固定的，但在头部或中间插入和删除元素的复杂度为线性时间。
  vector还是可反转容器概念的模型。这增加了两个类方法：rbegin()和rend()，前者返回一个指向反转序列的第一个元素的迭代器，后者返回反转序列的超尾迭代器。
  vector模板类是最简单的序列类型，除非其它类型的特殊优点能更好的满足程序的要求，否则应默认使用这种类型。

（2）deque
  deque模板类表示双端队列，通常被简称为deque。在STL中，其实现类似于vector容器，支持随机访问。主要区别在于，从deque对象的开始位置插入和删除元素的时间是固定的，而不像vector中 那样是线性时间的。尽管deque和vector都提供对元素的随机访问和在序列中部执行线性时间的插入和删除操作，但vector容器执行这些操作时速度要快。

（3）list
  list模板类表示双向链表。除了第一个和最后一个元素外，每个元素都与前后的元素相链接，这意味着可以双向遍历链表。list和vector之间关键的区别在于，list在链表中任一位置进行插入和删除的时间都是固定的。vector强调的是随机访问，list强调的是元素的快速插入和删除。
  list也是可反转容器，但它不支持数组表示法和随机访问。与适量迭代器不同的是，从容器中插入或删除元素之后，链表迭代器指向元素将不变。
list成员函数

函数	说明
void merge(list<T, Alloc>& x)	将链表x与调用链表合并，两个链表必须已经排序。合并后的经过排序的链表保存在调用链表中，x为空，这个函数的复杂度为线性时间
void remove(const T & val)	从链表中删除val的所有实例，这个函数的复杂度为线性复时间
void sort()	使用<运算符对链表进行排序;N个元素的复杂度为NlogN
void splice(iterator pos, list<T, Alloc>x)	将链表x的内容插入到pos的前面，x将为空。这个函数的复杂度为固定时间
void unique()	将联系的相同元素压缩为单个元素。这个函数的复杂度为线性时间

(4)forward_list(C++11)
  单向链表，在这种链表中，每个节点都只链接到下一个节点，而没有链接到前一个节点。因此forward_list只需要正向迭代器，而不需要双向迭代器。它是不可反转的容器。

(5)queue
  queue模板类是一个适配器类。queue模板让底层类展示典型的队列接口。它比deque的限制更多，它不允许随机访问队列元素，甚至不允许遍历队列。它把使用限制在定义队列的基本操作上，可以将元素添加到队尾，从队首删除元素，查看队首和对尾的值，检查元素数目和测试队列是否为空。
queue的操作

方法	说明
bool empty() const	如果队列为空，则返回true；否则返回false
size_type size() const	返回队列中元素的数目
T & front()	返回指向队首元素的引用
T & back()	返回指向队尾元素的引用
void push (const T & x)	在队尾插入x
void pop()	删除队首元素

注意：pop()是一个删除数据的方法，而不是检索数据的方法。如果要使用队列中的值，应首先使用front()来检索这个值，然后使用pop()将它从队列中删除。

(6)priority_queue
  priority_queue模板类是另一个适配器，它支持的操作与queue相同。两者最主要的区别在于，在priority_queue中，最大的元素被移到队首。内部区别在于，默认的底层类是vector。

priority_queue<int> pq1;
priority_queue<int> pq2(greater<int>);

(7)stack
  与queue相似，stack也是一个适配器类，它给底层类提供了典型的栈接口。
  stack模板的限制比vector更多，它不允许随机访问栈元素，甚至不允许遍历栈，它把使用限制在定义栈的基本操作上，即可以将压入推到栈顶、从栈顶弹出元素、查看栈顶的值、检查元素数目和测试栈是否为空。
stack的操作

方法	说明
bool empty() const	如果栈为空，则返回true，否则返回false
size_type size() const	返回栈中的元素数目
T & top()	返回指向栈顶元素的引用
void push(const T& x)	在栈顶部插入x
void pop()	删除栈顶元素

  如果要使用栈中的值，必须首先使用top()来检索这个值，然后使用pop()将它从栈中删除。

(8)array（C++11）
  模板类array是文件array中定义的，它并非STL容器，因为长度是固定的。因此没有定义调整容器大小的操作。但定义了对它来说有意义的成员函数，如operator和at()。可将很多标准STL算法用于array对象，如copy()和for_each()。

关联容器
  关联容器是对容器概念的另一个改进。关联容器将值与键关联在一起，并使用键来查找。对于关联容器来说，表达式X::key_type指出了键的类型。关联容器的优点在于，它提供了对元素的快速访问。
  关联容器通常是使用某种树实现的。STL提供了4种关联容器：set 、multiset、 map和multimap，前两种定义在set头文件，后两种定义在map头文件。
  最简单的关联容器是set，其值类型与键相同，键是唯一的，这意味着集合中不会有多个相同的键。multiset类似set，只是可能有多个值的键相同。
  在map中，值与键的类型不同，键是唯一的，每个键只对应一个值。multimap与map相似，只是一个键可以与多个值相关联。

(1)set示例
它是关联集合，可反转，可排序，且键是唯一的，所以不能存储多个相同的值。

set<string> A;
set<string, less<string>>A;

第二个参数是可选的，可用于指示用来对键进行排序的比较函数或对象。默认情况下使用less<>。

(2)multimap示例
与set相似，multimap也是可反转的、经过排序的关联容器，但键和值的类型不同。且同一个键可能与多个值相关联。
基本的multimap声明使用模板参数指定键的类型和存储的值类型。

multimap<int, string> codes;

第三个参数是可选的，指出用于对键进行排序的比较函数或对象。在默认情况下，将使用模板less<>，该模板将键类型作为参数。
为将信息结合在一起，实际的值类型将键类型和数据类型结合为一对，为此，STL使用模板类pair<class T, class U>将这两种值存储到一个对象中。如果keytype是键类型，而datetype是存储的数据类型，则值类型为pair<const keytype, datatype>。

无序关联容器（C++11）
  无序关联容器是对容器概念的另一种改进。与关联容器一样，无序关联容器也将值与键关联起来，并使用键来查找值。但底层的差别在于，关联容器是基于树结构的，而无序关联容器是基于数据结构哈希表的，这旨在提高添加和删除元素的速度以及提高查找算法的效率。有4种无序关联容器：unordered_set unordered_multiset unordered_map和unordered_multimap。