30分钟理解STL

要点

STL算法作为模板函数提供。为了和其他组件相区别，在本书中STL算法以后接一对圆括弧的方式表示，例如sort()。

STL另一个重要特性是它不是面向对象的。为了具有足够通用性，STL主要依赖于模板而不是封装，继承和虚函数（多态性）——OOP的三个要素。你在STL中找不到任何明显的类继承关系。这好像是一种倒退，但这正好是使得STL的组件具有广泛通用性的底层特征。另外，由于STL是基于模板，内联函数的使用使得生成的代码短小高效。

提示

确保在编译使用了STL的程序中至少要使用-O优化来保证内联扩展。STL提供了大量的模板类和函数，可以在OOP和常规编程中使用。所有的STL的大约50个算法都是完全通用的，而且不依赖于任何特定的数据类型。

下面的小节说明了三个基本的STL组件：

1）           迭代器提供了访问容器中对象的方法。例如，可以使用一对迭代器指定list或vector中的一定范围的对象。迭代器就如同一个指针。事实上，C++的指针也是一种迭代器。但是，迭代器也可以是那些定义了operator*()以及其他类似于指针的操作符地方法的类对象。

2）           容器是一种数据结构，如list，vector，和deques ，以模板类的方法提供。为了访问容器中的数据，可以使用由容器类输出的迭代器。

3）           算法是用来操作容器中的数据的模板函数。例如，STL用sort()来对一个vector中的数据进行排序，用find()来搜索一个list中的对象。函数本身与他们操作的数据的结构和类型无关，因此他们可以在从简单数组到高度复杂容器的任何数据结构上使用。

一 、头文件和名字空间

为了避免和其他头文件冲突， STL的头文件不再使用常规的.h扩展。为了包含标准的string类，迭代器和算法，用下面的指示符：

#include <string>

#include <iterator>

#include <algorithm>

你的编译器可能不能识别名字空间。名字空间就好像一个信封，将标志符封装在另一个名字中。标志符只在名字空间中存在，因而避免了和其他标志符冲突。例如，可能有其他库和程序模块定义了sort()函数，为了避免和STL地sort()算法冲突，STL的sort()以及其他标志符都封装在名字空间std中。STL的sort()算法编译为std::sort()，从而避免了名字冲突。

尽管你的编译器可能没有实现名字空间，你仍然可以使用他们。为了使用STL，可以将下面的指示符插入到你的源代码文件中，典型地是在所有的#include指示符的后面：

using namespace std;

二、常用容器的特性

 

三．容器的一种分类

连续内存的容器：这种类型容器包含vector、deque。特点是在一块连续的内存块上存放数据，所以有数据插入和删除的时候，如果不是在序列的或者两端那么花费的代价是非常大的，因为需要保证连续内存，同时给新元素腾出空间或者填充删除元素的空间，如果存储的是复杂结构的话就要花费大量的时间进行拷贝操作（可以存储复杂结构的指针来弥补这个缺陷，这个讨论在另个总结中进行）。

基于节点的容器：这类容器是剩余的几个list、set、multiset、map、multimap.这类容器中的数据是分别存储在不同的内存块中，可能连续也可能不连续（一般不认为是连续的），这样的容器在插入删除元素的时候修改的只是节点的指针，这样的消耗是非常小的。

 

四．使用中需要考虑的一些因素

在使用的过程中，需要考虑的问题有元素顺序、标准的一致性、迭代器能力、内存布局和C的兼容性、查找速度这些，考虑了这些问题你选择的容器应该会非常适合你当前的情景。

1.      需要大量添加新元素：

vector在大量添加元素的时候问题最大，因为他的一种最常见的内存分配实现方法是当前的容量(capacity)不足就申请一块当前容量2倍的新内存空间，然后将所有的老元素全部拷贝到新内存中，添加大量元素的时候的花费的惊人的大。如果由于其他因素必须使用vector，并且还需要大量添加新元素，那么可以使用成员函数reserve来事先分配内存，这样可以减少很多不必要的消耗。

list对这种情况的适应能力就非常好，都是常数时间的插入消耗。deque前面说过了，他是vector和list的折衷形式，内存不够了就申请一块新的内存，但并不拷贝老的元素。

2.      查找速度：

这个因素主要取决于算法，而算法最终是作用在容器中元素上的，所以这里的查找速度指的是容器能够达到的最好查找效率。

对于序列容器需要分两种情况，区分依据是元素是否排序，1)对于已经排序的序列容器，使用binary_search、lower_bound、upper_bound、equal_range可以获得对数时间复杂度的查找速度(O(logN));2)而未排序的序列容器二分查找肯定是用不了，能达到的最好的时间复杂度是线性的(O(n))。

对于关联容器，存储的时候存储的是一棵红黑树(一种更为严格的平衡二叉树,文档最后有介绍)，总是能达到对数时间复杂度(O(logN))的效率，因为关联容器是按照键值排好序的。

3.      是否是连续内存：

连续内存的容器有个明显的缺点，就是有新元素插入或老元素删除的时候，为了给新元素腾出位置或者填充老元素的空缺，同一块内存中的其他数据需要进行整体的移位，这种移位的拷贝代价有时是非常巨大的。标准容器中的vector、deque是连续内存的，其中vector是完全连续内存，而deque是vector和list的折衷实现，是多个内存块组成的，每个块中存放的元素连续内存，而内存块又像链表一样连接起来。

所以需要考虑在操作的过程中是否有在任意位置插入元素的需求，有这种需求的话尽量避免使用连续内存的vector、deque

4.      元素的排序：

序列容器中的元素不会自动排序，程序员插入什么顺序内存中就是什么顺序，而关联容器不是这样的，他会以自己的键值按照某种等价关系(equivalence)进行排序。所以默认情况下序列容器中的元素是无序的，而关联容器中的元素是有序的。

所以容器在遍历元素的时候序列容器输出的顺序和插入的顺序式一致的，关联容器就不一定了。下面给出两个例子：

输出结果如下：

 

通过例子看到序列容器vector遍历的顺序和插入的顺序是一样的，而关联容器set把插入的元素按照某种顺序重新组织了，所以选择容器的时候如果很在意插入顺序的话就选择序列容器。

五.      内存是否和C兼容：

适合的容器只有一个vector，意思就是如果需要把容器中的数据放到C类型的数组中那么不需要做多余复杂的操作，如果有vector<int> v，只需要直接使用&v[0]就可以得到v中第一个元素的指针，因为vector和C数组的内存布局是一样的，这个要求同时也是标准C++委员会制定的标准。所以能保证有这样特性的容器只有vector，那么vector以外的其他STL容器中的数据如果需要变换成C数组形式，或者C数组放到其他类型容器中，可以把vector作为一个桥梁，下面给个例子：

//假设函数void read(const int* pInt, unsigned int num);

//从pInt指针位置开始读取num个int型数据

std::set<int> mSet;

...//省略给mSet插入元素的操作

std::vector<int> mVector(mSet.begin(), mSet.end());

if (!mVector.empty())

read(&mVector[0], mVector.size());

 

六．各种容器的优缺点：

用哪种容器的选择看起来非常繁琐，头脑中如果有个每个容器大概的模型，在选择的时候会更为轻松点。

1.      Vector的数据模型就是数组。

优点：内存和C完全兼容、高效随机访问、节省空间

缺点：内部插入删除元素代价巨大、动态大小查过自身容量需要申请大量内存做大量拷贝。

2.      List的数据结构模型是链表

优点：任意位置插入删除元素常量时间复杂度、两个容器融合是常量时间复杂度

缺点：不支持随机访问、比vector占用更多的存储空间

3.      Deque的数据模型是数组和链表的折衷：

优点：高效随机访问、内部插入删除元素效率方便、两端push pop

缺点：内存占用比较高

4.      Map、set、multimap、multiset的数据结构模型是二叉树(红黑树)

优点：元素会按照键值排序、查找是对数时间复杂度、通过键值查元素、map提供了下标访问

 

七．综合一下该用什么？

 

首先说说vector、list、deque

1）如果需要随机访问，用vector

2）如果存储元素的数目已知，用vector

3）需要任意位置随机插入删除，用list

4）只有需要更多在容器的首部尾部插入删除元素，用deque

5）元素是复杂结构用list，也可以用vector存储指针(需要额外的精力去维护内存)，看需求

6）如果操作是基于键值，用set map

7）如果需要经常的搜索，用map set

8） map set的区别是map中的元素都是pair<key, value>，同时map提供下标访问[] ,也是个陷阱，这个Once在日志里讲过

 

总结：使用标准模板库 (STL)

尽管很多程序员仍然在使用标准C函数，但是这就好像骑着毛驴寻找Mercedes一样。你当然最终也会到达目标，但是你浪费了很多时间。

尽管有时候使用标准C函数确实方便(如使用sprintf()进行格式化输出)。但是C函数不使用异常机制来报告错误，也不适合处理新的数据类型。而且标准C函数经常使用内存分配技术，没有经验的程序员很容易写出bug来。.

C++标准库则提供了更为安全，更为灵活的数据集处理方式。STL最初由HP实验室的Alexander Stepanov和Meng Lee开发。最近，C++标准委员会采纳了STL，尽管在不同的实现之间仍有细节差别。

STL的最主要的两个特点：数据结构和算法的分离，非面向对象本质。访问对象是通过象指针一样的迭代器实现的；容器是象链表，矢量之类的数据结构，并按模板方式提供；算法是函数模板，用于操作容器中的数据。由于STL以模板为基础，所以能用于任何数据类型和结构。