STL的代码从广义上讲分为三类:algorithm(算法)、container(容器)和iterator(迭代器),几乎所有的代码都采用了模板类和模版函数的方式,这相比于传统的由函数和类组成的库来说提供了更好的代码重用机会。
在C++标准中,STL被组织为下面的13个头文件:
<algorithm>、<deque>、<functional>、<iterator>、<vector>、<list>、<map>、<memory>、<numeric>、<queue>、<set>、<stack>和<utility>。
1、算法部分
算法部分主要由头文件 algorithm , numeric 和 functional 组成。
algorithm 是所有STL头文件中最大的一个(尽管它很好理解),它是由一大堆模版函数组成的,可以认为每个函数在很大程度上都是独立的,其中常用到的功能范围涉及到比较、交换、查找、遍历操作、复制、修改、移除、反转、排序、合并等等。
numeric 体积很小,只包括几个在序列上面进行简单数学运算的模板函数,包括加法和乘法在序列上的一些操作。
functional 中则定义了一些模板类,用以声明函数对象。
2、容器部分
容器部分主要由头文件 vector , list , deque , set , map , stack 和 queue 组成。
①向量(vector) 连续存储的元素 vector
②列表(list) 由节点组成的双向链表,每个结点包含着一个元素 list
③双队列(deque) 连续存储的指向不同元素的指针所组成的数组 deque
④集合(set) 由节点组成的红黑树,每个节点都包含着一个元素,节点之间以某种作用于元素对的谓词排列,没有两个不同的元素能够拥有相同的次序 set
⑤多重集合(multiset) 允许存在两个次序相等的元素的集合 set
⑥栈(stack) 后进先出的值的排列 stack
⑦队列(queue) 先进先出的值的排列 queue
⑧优先队列(priority_queue) 元素的次序是由作用于所存储的值对上的某种谓词决定的的一种队列(默认每次取最大值) queue
⑨映射(map) 由{键,值}对组成的集合,以某种作用于键对上的谓词排列 map
⑩多重映射(multimap) 允许键对有相等的次序的映射
3、迭代器部分
迭代器部分主要由头文件 utility , iterator 和 memory 组成。
①utility 是一个很小的头文件,它包括了贯穿使用在STL中的几个模板的声明
②iterator 中提供了迭代器使用的许多方法
③memory 它以不同寻常的方式为容器中的元素分配存储空间,同时也为某些算法执行期间产生的临时对象提供机制, memory 中的主要部分是模板类allocator,它负责产生所有容器中的默认分配器。
iterator(迭代器)是用于访问容器中元素的指示器,从这个意义上来说,iterator(迭代器)相当于数据结构中所说的”遍历指针“,也可以把iterator看作一种泛化的指针。
STL中有以下几类iterator:
输入iterator,在容器的连续区间内向前移动,可以读取容器内任意值;
输出iterator,把值写进它所指向的容器中;
前向iterator,读取队列中的值,并可以向前移动到下一位置(++p,p++);
双向iterator,读取队列中的值,并可以向前向后遍历容器;
随机访问iterator,可以直接以下标方式对容器进行访问,vector的iterator就是这种iterator;
流iterator,可以直接输出、输入流中的值。