STL

c++标准模板库

STL由一些可适应不同需求的集合类（collectionclass），以及在这些数据集合上操作的算法（algorithm）构成。所有组件都由模板（template）构成，其元素可以是任意类型

1. STL组件

容器（Container） － 管理某类对象的集合

迭代器（Iterator） － 在对象集合上进行遍历

算法（Algorithm） － 处理集合内的元素

容器适配器（container adaptor）

函数对象(functor)

2.  STL容器类别

序列式容器－排列次序取决于插入时机和位置

关联式容器－排列顺序取决于特定准则

3.  STL容器的共同能力

所有容器中存放的都是值而非引用。如果希望存放的不是副本，容器元素只能是指针。

所有元素都形成一个次序（order），可以按相同的次序一次或多次遍历每个元素

4.  STL容器元素的条件

必须能够通过拷贝构造函数进行复制

必须可以通过赋值运算符完成赋值操作

必须可以通过析构函数完称销毁动作

序列式容器元素的默认构造函数必须可用

某些动作必须定义operator ==，例如搜寻操作

关联式容器必须定义出排序准则，默认情况是重载operator <

5. STL容器的共同操作

初始化 产生一个空容器    std::list<int> l;

以另一个容器元素为初值完成初始化    

std::list<int> l;

…

std::vector<float>c(l.begin(),l.end());

以数组元素为初值完成初始化

int array[]={2,4,6,1345};

…

std::set<int>c(array,array+sizeof(array)/sizeof(array[0]));

  与大小相关的操作（size operator）

size()－返回当前容器的元素数量

empty()－判断容器是否为空

max_size()－返回容器能容纳的最大元素数量

比较（comparison）

==,!=,<,<=,>,>=

比较操作两端的容器必须属于同一类型

如果两个容器内的所有元素按序相等，那么这两个容器相等

采用字典式顺序判断某个容器是否小于另一个容器

赋值（assignment）和交换（swap）

swap用于提高赋值操作效率

与迭代器（iterator）相关的操作

begin()－返回一个迭代器，指向第一个元素

end()－返回一个迭代器，指向最后一个元素之后

rbegin()－返回一个逆向迭代器，指向逆向遍历的第一个元素

rend()－返回一个逆向迭代器，指向逆向遍历的最后一个元素之后

元素操作

insert(pos,e)－将元素e的拷贝安插于迭代器pos所指的位置

erase(beg,end)－移除[beg，end]区间内的所有元素

clear()－移除所有元素

6.  迭代器

可遍历STL容器内全部或部分元素的对象

指出容器中的一个特定位置

begin()	返回一个迭代器，指向第一个元素
end()	返回一个迭代器，指向最后一个元素之后

半开区间[beg, end)的好处：

1.为遍历元素时循环的结束时机提供了简单的判断依据（只要未到达end()，循环就可以继续）

2.不必对空区间采取特殊处理（空区间的begin()就等于end()）

迭代器分类

双向迭代器

可以双向行进,以递增运算前进或以递减运算后退、可以用==和!=比较。

list、set和map提供双向迭代器

随机存取迭代器

除了具备双向迭代器的所有属性，还具备随机访问能力。

可以对迭代器增加或减少一个偏移量、处理迭代器之间的距离或者使用<和>之类的关系运算符比较两个迭代器。

vector、deque和string提供随机存取迭代器

vector模拟动态数组

vector的元素可以是任意类型T，但必须具备赋值和拷贝能力（具有public拷贝构造函数和重载的赋值操作符）

必须包含的头文件#include <vector>

vector支持随机存取

vector的大小（size）和容量（capacity）

size返回实际元素个数，

capacity返回vector能容纳的元素最大数量。如果插入元素时，元素个数超过capacity，需要重新配置内部存储器。

构造，赋值

vector <T>c     产生空的vector

vector<T>c1(c2)  产生同类型的c1，并将复制c2的所有元素

vector<T>c(n)    利用类型T的默认构造函数和拷贝构造函数

 

非变动操作

c.size()	返回元素个数
c.empty()	判断容器是否为空
c.max_size()	返回元素最大可能数量（固定值）
c.capacity()	返回重新分配空间前可容纳的最大元素数量
c.reserve(n)	扩大容量为n

赋值操作  

c1=c2     将c2的全部元素赋值给c1

c

元素存取

front()	返回第一个元素的引用，不检查元素是否存在
back()	返回最后一个元素的引用，不检查元素是否存在

迭代器持续有效，除非发生以下两种情况：

（1）删除或插入元素

（2）容量变化而引起内存重新分配

begin()	返回一个迭代器，指向第一个元素
end()	返回一个迭代器，指向最后一个元素之后
rbegin()	返回一个逆向迭代器，指向逆向遍历的第一个元素
rend()	返回一个逆向迭代器，指向逆向遍历的最后一个元素

安插元素

c.insert(pos,e)	在pos位置插入元素e的副本，并返回新元素位置
c.insert(pos,n,e)	在pos位置插入n个元素e的副本
c.insert(pos,beg,end)	在pos位置插入区间[beg,end]内所有元素的副本
c.push_back(e)	在尾部添加一个元素e的副本

移除元素

c.pop_back()	移除最后一个元素但不返回最后一个元素
c.erase(pos)	删除pos位置的元素，返回下一个元素的位置
c.erase(beg,end)	删除区间[beg,end]内所有元素，返回下一个元素的位置
c.clear()	移除所有元素，清空容器

map/multimap

使用平衡二叉树管理元素
元素包含两部分(key,value)，key和value可以是任意类型
必须包含的头文件#include <map>
根据元素的key自动对元素排序，因此根据元素的key进行定位很快，但根据元素的value定位很慢
不能直接改变元素的key，可以通过operator []直接存取元素值
map中不允许key相同的元素，multimap允许key相同的元素

map<key,value> 一个以less（<）为排序准则的map，
map<key,value,op> 一个以op为排序准则的map
非变动性操作

c.size()	返回元素个数
c.empty()	判断容器是否为空
c.max_size()	返回元素最大可能数量
c1==c2	判断c1是否等于c2
c1!=c2	判断c1是否不等于c2
c1<c2	判断c1是否小于c2
c1>c2	判断c1是否大于c2
c1<=c2	判断c1是否大于等于c2

赋值

c1 = c2	将c2的全部元素赋值给c1
c1.swap(c2)	将c1和c2的元素互换
swap(c1,c2)	同上，全局函数

特殊搜寻操作

count(key)	返回”键值等于key”的元素个数
find(key)	返回”键值等于key”的第一个元素，找不到返回end
lower_bound(key)	返回”键值大于等于key”的第一个元素
upper_bound(key)	返回”键值大于key”的第一个元素
equal_range(key)	返回”键值等于key”的元素区间

迭代相关性

begin()	返回一个双向迭代器，指向第一个元素
end()	返回一个双向迭代器，指向最后一个元素之后

 

安插元素

c.insert(pos,e)	在pos位置为起点插入e的副本，并返回新元素位置（插入速度取决于pos）
c.insert(e)	插入e的副本，并返回新元素位置
c.insert(beg,end)	将区间[beg,end]内所有元素的副本插入到c中

移除元素

c.erase(pos)	删除迭代器pos所指位置的元素，无返回值
c.erase(val)	移除所有值为val的元素，返回移除元素个数
c.erase(beg,end)	删除区间[beg,end]内所有元素，无返回值
c.clear()	移除所有元素，清空容器

 个人心得体会

 标准模板库就是类与函数模板的大集合数据.结构和算法的分离，非面向对象本质。访问对象是通过象指针一样的迭代器实现的；
容器是象链表，矢量之类的数据结构，并按模板方式提供，容器是用来存储和组织其他对象的对象。算法是函数模板，用于操作容器中的数据。由于STL以模板为基础，所以能用于任何数据类型和结构。算法(algorithms)、迭代器(iterators)的C++库；提供了许多科学计算的基本算法和数据结构。在STL中几乎每个组件都是模板，有效的利用STL可以节省开发时间，增加开发效率。在用STL之前，我们要理解C++中如何使用模板。