STL_程序设计B

概述

• STL是C++标准程序库的核心，深刻影响了标准程序库的整体结构
• STL由一些可适应不同需求的集合类（collection class），以及在这些数据集合上操作的算法（algorithm）构成
• STL内的所有组件都由模板（template）构成，其元素可以是任意类型
• STL是所有C++编译器和所有操作系统平台都支持的一种库

STL组件

容器（Container） － 管理某类对象的集合
迭代器（Iterator） － 在对象集合上进行遍历
算法（Algorithm） － 处理集合内的元素
容器适配器（container adaptor）
函数对象(functor)

STL容器

STL容器类别
序列式容器－排列次序取决于插入时机和位置
关联式容器－排列顺序取决于特定准则

STL容器的共同能力
**所有容器中存放的都是值而非引用。**如果希望存放的不是副本，容器元素只能是指针。
所有元素都形成一个次序（order），可以按相同的次序一次或多次遍历每个元素

STL容器元素的条件
必须能够通过拷贝构造函数进行复制
必须可以通过赋值运算符完成赋值操作
必须可以通过析构函数完称销毁动作
序列式容器元素的默认构造函数必须可用
某些动作必须定义operator ==，例如搜寻操作
关联式容器必须定义出排序准则，默认情况是重载operator <

STL容器的共同操作

初始化（initialization）
产生一个空容器

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()－移除所有元素

STL迭代器

可遍历STL容器内全部或部分元素的对象
指出容器中的一个特定位置
迭代器的基本操作

所有容器都提供获得迭代器的函数

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

1. 为遍历元素时循环的结束时机提供了简单的判断依据（只要未到达end()，循环就可以继续）
2. 不必对空区间采取特殊处理（空区间的begin()就等于end()）

所有容器都提供两种迭代器
container::iterator以“读/写”模式遍历元素
container::const_iterator以“只读”模式遍历元素

迭代器分类
双向迭代器
可以双向行进,以递增运算前进或以递减运算后退、可以用==和!=比较。
list、set和map提供双向迭代器

list<int> l; 
for(pos=l.begin();pos!=l.end();++pos{
	…
}

随机存取迭代器
除了具备双向迭代器的所有属性，还具备随机访问能力。
可以对迭代器增加或减少一个偏移量、处理迭代器之间的距离或者使用<和>之类的关系运算符比较两个迭代器。
vector、deque和string提供随机存取迭代器

vector<int> v; 
for(pos=v.begin();pos<v.end();++pos{
	…
}

STL容器

vector

vector模拟动态数组
vector的元素可以是任意类型T，但必须具备赋值和拷贝能力（具有public拷贝构造函数和重载的赋值操作符）
必须包含的头文件#include <vector>
vector支持随机存取
vector的大小（size）和容量（capacity）

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

构造、拷贝和析构

非变动操作

赋值操作

元素存取

迭代器相关函数

迭代器持续有效，除非发生以下两种情况：
（1）删除或插入元素
（2）容量变化而引起内存重新分配

安插（insert）元素

移除（remove）元素

map/multimap

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

内部存储结构

构造、拷贝和析构

其中map可以是下列形式
map<key,value> 一个以less（<）为排序准则的map，
map<key,value,op> 一个以op为排序准则的map

非变动性操作

赋值

特殊搜寻操作

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

迭代器相关函数

安插（insert）函数

移除（remove）函数

set/multset

使用平衡二叉树管理元素
集合(Set)是一种包含已排序对象的关联容器。
必须包含的头文件#include <set>
map容器是键-值对的集合，好比以人名为键的地址和电话号码。相反地，set容器只是单纯的键的集合。当我们想知道某位用户是否存在时，使用set容器是最合适的。
set中不允许key相同的元素，multiset允许key相同的元素

Algorithm算法

泛型算法通则
所有算法的前两个参数都是一对iterators：[first，last)，用来指出容器内一个范围内的元素。
每个算法的声明中，都表现出它所需要的最低层次的iterator类型。

操作	效果
copy()	复制
copy_backward()	逆向复制
find()	搜寻
find_if()	在特定条件下搜寻
find_first_of()	搜寻某个子序列的最后一次出现的地点
max()	最大值
max_element()	最大值所在位置
min()	最小值
min_element()	最小值所在位置
replace()	取代某种元素
replace()	取代某种元素，并将结果复制到另一个
replace()	取代某种元素
replace()	取代某种元素