STL -几个容器介绍

一、STL简介
STL（Standard Template Library，标准模板库)是惠普实验室开发的一系列软件的统称。它是由Alexander Stepanov、Meng Lee和David R Musser在惠普实验室工作时所开发出来的。现在虽说它主要出现在C++中，但在被引入C++之前该技术就已经存在了很长的一段时间。
STL的代码从广义上讲分为三类：algorithm（算法）、container（容器）和iterator（迭代器），几乎所有的代码都采用了模板类 和模版函数的方式，这相比于传统的由函数和类组成的库来说提供了更好的代码重用机会。在C++标准中，STL被组织为下面的13个头文 件：<algorithm>、<deque>、<functional>、<iterator>、<vector>、<list>、<map>、<memory>、<numeric>、<queue>、<set>、<stack> 和<utility>。以下笔者就简单介绍一下STL各个部分的主要特点。
二、算法
大家都能取得的一个共识是函数库对数据类型的选择对其可重用性起着至关重要的作用。举例来说，一个求方根的函数，在使用浮点数作为其参数类型的情况下的可 重用性肯定比使用整型作为它的参数类性要高。而C++通过模板的机制允许推迟对某些类型的选择，直到真正想使用模板或者说对模板进行特化的时候，STL就 利用了这一点提供了相当多的有用算法。它是在一个有效的框架中完成这些算法的——你可以将所有的类型划分为少数的几类，然后就可以在模版的参数中使用一种 类型替换掉同一种类中的其他类型。
STL提供了大约100个实现算法的模版函数，比如算法for_each将为指定序列中的每一个元素调用指定的函数，stable_sort以你所指定的 规则对序列进行稳定性排序等等。这样一来，只要我们熟悉了STL之后，许多代码可以被大大的化简，只需要通过调用一两个算法模板，就可以完成所需要的功能 并大大地提升效率。
算法部分主要由头文件<algorithm>，<numeric>和<functional>组 成。<algorithm>是所有STL头文件中最大的一个（尽管它很好理解），它是由一大堆模版函数组成的，可以认为每个函数在很大程度上 都是独立的，其中常用到的功能范围涉及到比较、交换、查找、遍历操作、复制、修改、移除、反转、排序、合并等等。<numeric>体积很 小，只包括几个在序列上面进行简单数学运算的模板函数，包括加法和乘法在序列上的一些操作。<functional>中则定义了一些模板类， 用以声明函数对象。
三、容器
在实际的开发过程中，数据结构本身的重要性不会逊于操作于数据结构的算法的重要性，当程序中存在着对时间要求很高的部分时，数据结构的选择就显得更加重要。
经典的数据结构数量有限，但是我们常常重复着一些为了实现向量、链表等结构而编写的代码，这些代码都十分相似，只是为了适应不同数据的变化而在细节上有所 出入。STL容器就为我们提供了这样的方便，它允许我们重复利用已有的实现构造自己的特定类型下的数据结构，通过设置一些模版类，STL容器对最常用的数 据结构提供了支持，这些模板的参数允许我们指定容器中元素的数据类型，可以将我们许多重复而乏味的工作简化。
容器部分主要由头文 件<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) 允许键对有相等的次序的映射                <map>
四、迭代器
下面要说的迭代器从作用上来说是最基本的部分，可是理解起来比前两者都要费力一些（至少笔者是这样）。软件设计有一个基本原则，所有的问题都可以通过引进 一个间接层来简化，这种简化在STL中就是用迭代器来完成的。概括来说，迭代器在STL中用来将算法和容器联系起来，起着一种黏和剂的作用。几乎STL提 供的所有算法都是通过迭代器存取元素序列进行工作的，每一个容器都定义了其本身所专有的迭代器，用以存取容器中的元素。
迭代器部分主要由头文件<utility>,<iterator>和<memory>组 成。<utility>是一个很小的头文件，它包括了贯穿使用在STL中的几个模板的声明，<iterator>中提供了迭代器 使用的许多方法，而对于<memory>的描述则十分的困难，它以不同寻常的方式为容器中的元素分配存储空间，同时也为某些算法执行期间产生 的临时对象提供机制,<memory>中的主要部分是模板类allocator，它负责产生所有容器中的默认分配器。

set的使用

#include <iostream>
#include <set>
#include <vector>
using namespace std;

int main()
{
vector<int> v;
for(int i = 0; i < 5; ++i)
   v.push_back(i);

set<int> sett(v.begin(), v.end());    //可以用其他容器初始化set
set<int>::iterator iter, iter2;

sett.insert(8);   //插入元素

iter = sett.find(2);         //查看元素是否存在的方法一：find（）
if(iter != sett.end())
   cout << "ok, found it" << endl;

for(iter = sett.begin(); iter != sett.end(); ++iter)
   cout << *iter << endl;

sett.erase(1);   //删除元素

if(!sett.count(1))   //查看元素是否存在的方法二：count（）
   cout << "ok, Not found it" << endl;

iter2 = sett.upper_bound(4);
for(iter = sett.begin(); iter != iter2; ++iter)
   cout << *iter << endl;

return 0;
}

 

注意事项：

1.当只想知道一个值是否存在时，使用set容器是最合适的。
2.正如不能修改map中元素的键部分一样，set中的键也为const。在获取指向set中某元素的迭代器后，只能对其做读操作，而不能做写操作

lower_bound（） Returns an iterator to the first element in a set with a key that is equal to or greater than a specified key. upper_bound（） Returns an iterator to the first element in a set with a key that is greater than a specified key.

map的使用

#include <iostream>
#include <map>
#include <string>
using namespace std;

int main()
{
map<string, int> m;
map<string, int>::iterator iter;
typedef map<string, int>::value_type mType;

string s;
while(cin >> s)  
   m[s]++;         //很重要的一种插入元素的方法，下标法

m.insert( make_pair("hello", 1) );    //另外两种插入元素的办法
m.insert( mType("world", 2) );

for(iter = m.begin(); iter != m.end(); ++iter)
   cout << iter->first << " " << iter->second << endl;    //读取元素的办法

iter = m.find("hello");           //查找元素的方法（1）find函数，注意检测的办法
if(iter != m.end())
   cout << "yes, found it" << endl;

m.erase(iter);            //删除元素的erase函数，还有第三个版本，参数是iterator的begin和end
m.erase("world");

if(m.count("world"))        //查找元素的方法（2）cout函数，返回0或者1，表示有或无
   cout << "error" << endl;

return 0;
}

注意事项：

使用下标访问map与使用下标访问数组或vector的行为截然不同：用下标访问不存在的元素将导致在map容器中添加一个新的元素，它的键即为该下标值。

multimap的使用

#include <iostream>
#include <map>
using namespace std;

int main()
{
typedef multimap<int, int> M;
M m;
multimap<int, int>::iterator iter;
typedef pair<int, int> Int_pair;

m.insert(Int_pair(3,3)); //插入一个元素的办法，不同于map
m.insert(Int_pair(4,4));
m.insert(Int_pair(3,4));
m.insert(Int_pair(2,2));

for(iter = m.begin(); iter != m.end(); iter++)     //遍历multimap的方法，跟其他的容器一样
   cout << iter->first << " " << iter->second << endl;

iter = m.find(2);    //find返回的是第一个找到的元素的位置
if(iter == m.end()) cout << "can not find 2/n";   //注意判断没有找到的办法
else cout << iter->second << endl;

pair<M::iterator, M::iterator> range;    //前面说了find只能返回第一个位置
range = m.equal_range(3);                    //要是想得到全部，只能这样啦。。。
for(iter = range.first; iter != range.second; iter++)
   cout << iter->first << " " << iter->second << endl;

int num = m.count(3);         //恩，返回满足条件的元素的个数，因为是multimap嘛。。。
cout << num << endl;
return 0;
}

还有几个函数也挺有用的，列在这里吧：

clear() :清空

empty(): 测试是否为空

erase(): 删除某个元素，或是某个区间内的元素

low_bound(); 比输入的元素小的第一个元素的iterator

upper_bound(): 比输入的元素大的第一个元素的iterator

也支持rbegin()和rend()函数

vector实现多维数组

#include <iostream>
#include <vector>
using namespace std;

vector< vector<int> >m (3, vector<int>(5));

int main()
{
for(int i = 0; i < m.size(); i++)
{
   for(int j = 0; j < m[i].size(); j++)
    cout << m[i][j] << "/t";
   cout << endl;
}
return 0;
}

vector的构造函数中，有下面的形式：
vector(
   size_type _Count,
   const Type& _Val
);

采用这种形式，可以实现，每维数组大小不同。可以重新确定每维数组的大小：

void reshape_m(int ns)
{
for(int i = 0; i < m.size(); i++)
   m[i].resize(ns);
}

所有的sort算法的参数都需要输入一 个范围，[begin, end)。这里使用的迭代器(iterator)都需是随机迭代器(RadomAccessIterator)

以下是所有STL sort算法函数的名字列表:

函数名	功能描述
sort	对给定区间所有元素进行排序
stable_sort	对给定区间所有元素进行稳定排序
partial_sort	对给定区间所有元素部分排序
partial_sort_copy	对给定区间复制并排序
nth_element	找出给定区间的某个位置对应的元素
is_sorted	判断一个区间是否已经排好序
partition	使得符合某个条件的元素放在前面

注意最后一个，符合条件的是放在前半部分的。可以用splice提取想要的部分。