STL (Standard Template Library) 提供了一些常用的数据结构和算法的模板,1998年加入C++标准。 STL中有三个重要的概念:

  1. 容器:容纳各种数据类型的数据结构,是一系列的类模板。
  2. 迭代器:迭代器用来迭代地访问容器中的元素。
  3. 算法:用来操作容器中的元素,是一系列的函数模板。

STL 容器

STL中的容器定义在std命名空间下,需要引入头文件 <vector>, <set>, <map>, <deque>, <list>, <stack> 等。容器可以分为三大类:

  1. 顺序容器
    • vector:尾端插入元素有较高性能,动态数组实现;
    • deque:收尾插入元素都有较高性能,动态数组实现;
    • list:可以常数时间在任何地方插入元素,链表实现;
  2. 关联容器
    • set:不同元素的集合,平衡二叉树实现,检索时间是 $O(log(N))$;
    • multiset:同上,但可以包含相同元数据;
    • map:同set,但存放的是键值对;
    • multimap:同上,键可以重复;
  3. 容器适配器:stackqueuepriority_queue

这些容器有一些通用的方法:emptysizeswapmax_size。前两类容器支持迭代器,称为第一类容器。 顺序容器还有以下通用方法:front, back, pop_back, push_back

容器之间的比较取决于第一个不等的元素;如果长度相同且所有元素相等,两个容器相等;如果一个是另一个的子序列,则较短的容器小于较长的容器。

存储键值对关联容器mapmultimap的迭代器是一个pair<T1, T2>的指针。 插入时,可以使用[]运算符,也可以使用insert方法,它接受一个pair<T1, T2>对象:

std::map<char,int> mymap;
mymap.insert (mymap.begin(), std::pair<char,int>('c',400));
mymap.insert (mymap.begin(), std::make_pair('c',400));

pair模板类在<utility>中定义,在<map>中已经引入了。

容器适配器是逻辑数据结构,需要用一种顺序容器来实现。例如,stack默认使用deque来实现,我们也可以指定它的实现方式。

stack<string> strstk;         // string 型栈,deque实现
stack<int, vector<int>> stk;  // int 型栈,vector实现

STL 迭代器

只有第一类容器支持迭代器(容器适配器不支持迭代器)。来个例子:

vector<int> v;
for(vector<int>::reverse_iterator r = v.rbegin(); r < v.rend(); r++){
    cout<<*r;
}

取决于不同的存储方式,不同容器支持的迭代器是不同的。这些迭代器按功能的强弱分为5类:

  1. Input Iterator:提供只读访问
  2. Output Iterator:提供只写访问
  3. Forward Iterator:支持逐个向后迭代访问
  4. Bidirectional Iterator:能够双向地逐个迭代访问
  5. Random Access Iterator:可随机访问每个元素

例如,双向迭代器不支持<>[]运算符,只能判等:

list<int> l;
for(list<int>::const_iterator i = l.begin(); i != l.end(); ++i){
    cout<<*i;
} 

vectordeque支持Random Access Iterator,listset/multisetmap/multimap支持Bidirectional Iterator。

STL 算法

STL通过函数模板提供了很多作用于容器的通用算法,例如查找、插入、删除、排序等,需要引入头文件<algorithm>

变化序列的:copy, remove, reverse, fill, replace, swap, …;不变化序列的:find, count, for_each, equal, …

这些算法的实现较为通用,也可以作用于C语言的数组。

例如,find用值来搜索一个元素的迭代器:

vector<int> v;
v.push_back(1);
v.push_back(2);
v.push_back(3);
vector<int>::iterator p = find(v.begin(), v.end(), 3);
if(p != v.end()) cout<<*p;
// 3

例如,copy用来做容器之间的拷贝:

ostream_iterator<int> output(cout, " ");
copy(v.begin(), v.end(), output);
// 1 2 3

例如,erase用来删除一个区间的元素:

v.erase(v.begin(), v.end());
// 等效于
v.clear();

例如,lower_bound(FwdIt f, FwdIt l, const T& val)用来给出小于val的坐标上限(前闭后开)。 upper_bound(FwdIt f, FwdIt l, const T& val)用来给出大于val的坐标下限(前闭后开):

std::map<char,int> mymap;
std::map<char,int>::iterator itlow,itup;

mymap['a']=20;
mymap['b']=40;
mymap['c']=60;
mymap['d']=80;
mymap['e']=100;

itlow=mymap.lower_bound ('b');  // itlow points to b
itup=mymap.upper_bound ('d');   // itup points to e (not d!)

参见: http://www.cplusplus.com/reference/map/map/upper_bound/

实现一个Iterator

为了实现上述ostream_iterator,需要了解copy的实现方式:

template<class _II, class _OI>
inline _OI copy(_II _F, _II _L, _OI _X){
    for(;_F != _L; ++_X, ++_F)
        *_X = *_F;
    return (_X);
}

因此ostream_iterator需要重载++, *=

template<class T>
class ostream_iterator{
    string sep;
    ostream& o;
public:
    ostream_iterator(ostream& _o, string _s):o(_o), sep(_s){}
    ostream_iterator& operator=(const T& v){
        o<<v<<sep; return *this;
    }
    ostream_iterator& operator*(){ return *this; }
    ostream_iterator& operator++(){ return *this; };
}

本文采用 知识共享署名 4.0 国际许可协议(CC-BY 4.0)进行许可,转载注明来源即可: https://harttle.land/2015/07/01/introduction-to-stl.html。如有疏漏、谬误、侵权请通过评论或 邮件 指出。