下载本文示例代码
下载源代码
本文面向的读者：学习过C 程序设计语言（也就是说学习过Template），但是还没有接触过STL的STL的初学者。这实际上是我学习STL的一篇笔记，老鸟就不用看了。
什么是泛型程序设计
我们可以简单的理解为：使用模板的程序设计就是泛型程序设计。就像我们我们可以简单的理解面向对象程序设计就是使用虚函数的程序设计一样。
STL是什么
作为一个C 程序设计者，STL是一种不可忽视的技术。Sandard Template Library (STL)：
标准模板库,更准确的说是 C 程序设计语言标准模板库。学习过MFC的人知道，MFC是微软公司创建的 C 类库。而与之类似的是 STL
是模板库，只不过 STL 是 ANSI/ISO 标准的一部分，而 MFC 只不过是微软的一个产品而已。也就是说STL是所有C 编译器和所有操作系统平台都支持的一种库，说它是一种库是因为，虽然STL是一种标准，也就是说对所有的编译器来说，提供给C 程序设计者的接口都是一样的。也就是说同一段STL代码在不同编译器和操作系统平台上运行的结果都是相同的，但是底层实现可以是不同的。
令人兴奋的是，STL的使用者并不需要了解它的底层实现。
试想一下，如果我们有一把能打开所有锁的钥匙，那将是多么令人疯狂啊。嘎嘎。这个歪梦我做了20多年鸟。
STL的目的是标准化组件，这样你就不用重新开发它们了。你可以仅仅使用这些现成的组件。STL现在是C 的一部分，因此不用额外安装什么。它被内建在你的编译器之内。
为什么我们需要学习STL
- STL是 C 的ANSI/ISO
标准的一部分,可以用于所有C 语言编译器和所有平台(Windows/Unix/Linux..)。STL的同一版本在任意硬件配置下都是可用的；
- STL 提供了大量的可复用软件组织。例如，程序员再也不用自己设计排序，搜索算法了，这些都已经是STL的一部分了。嘎嘎，有意思吧；
- 使用STL 的应用程序保证了得到的实现在处理速度和内存利用方面都是高效的，因为STL设计者们已经为我们考虑好了；
- 使用STL编写的代码更容易修改和阅读，这是当然的鸟。因为代码更短了，很多基础工作代码已经被组件化了；
- 使用简单，虽然内部实现很复杂；
虽然，STL的优点甚多，但是STL的语法实在令初学者人头疼，许多人望而却步。可是STL是每个C 程序设计者迟早都要啃的一块骨头。因为越来越多的C 代码是用STL编写的，看不懂麻烦就大鸟。越来越多的人在用STL，不懂就无法和别人一起合作了。好事多磨嘛，早点学习早点解脱。
下面让我们来看几段代码吧：（你觉得头疼就不要看了）
//stl_cpp_1.cpp
#include
double mean(double *array, size_t n)
{
double m=0;
for(size_t i=0; i
好懂吧，除了那个std有点让人不舒服以外？
这是一段普通的没有使用STL的C 代码。再看下面一段：
//stl_cpp_2.cpp
#include
#include
int main(void)
{
std::vector a;
std::vector::const_iterator i;
a.push_back(1);
a.push_back(2);
a.push_back(3);
a.push_back(4);
a.push_back(5);
for(i=a.begin(); i!=a.end(); i){
std::cout<<(*i)<
如果你真的没有接触过STL的话，你会问，呀，vector 是啥呀？我会告诉你，那是一排美女。嘎嘎。这可不是个比喻，表想歪鸟。这是一段纯种的STL代码，看到尖括号了吧，知道那是模板了吧。看到a.push_back(5),a.begin(),a.end()你不感觉奇怪么？可是我们并没有定义这些函数啊。
//stl_cpp_3.cpp
#include
#include
int main(void)
{
std::vector q;
q.push_back(10);
q.push_back(11);
q.push_back(12);
std::vector v;
for(int i=0; i<5; i){
v.push_back(i);
}
std::vector::iterator it = v.begin() 1;
it = v.insert(it, 33);
v.insert(it, q.begin(), q.end());
it = v.begin() 3;
v.insert(it, 3, -1);
it = v.begin() 4;
v.erase(it);
it = v.begin() 1;
v.erase(it, it 4);
v.clear();
return 0;
}
这一段你又看到了新东西了吧，iterator？？？
不罗嗦了，等你看完这篇文章，回头再看就简单了。在正式介绍STL之前，我们需要花点时间来了解一下模板和命名空间。
关于模板的其他细节，读者可以参阅《C Templates 中文版》（有点费脑子哦）。在这里，我只简单的介绍一下模板类和函数模板的概念。
模板是C 中实现代码重用机制的一种工具，可以实现类型参数化，把类型定义为参数。函数模板和类模板允许用户构造模板函数和模板类。
图1
下面我们来看一段函数模板的例子：
//stl_cpp_4.cpp
#include
#include
//定义函数模板
template //template 是关键字，T 表示一种待实例化的类型
//template 也是对的
T max(T a, T b)//函数模板，函数名为 max，此函数有2个T类型的参数，返回类型为T
{
return (a>b)?a:b;
}
//在此例实例化的时候，T可以是多种类型的，int,char,string…
int main(void)
{
int x=2,y=6;
double x1=9.123,y1=12.6543;
cout<<"把T实例化为int:"<
下面再看看，类模板：
//stl_cpp_5.cpp
#include
//定义名为ex_class的类模板
template < typename T> class ex_class
{
T value;
public:
ex_class(T v) { value=v; }
void set_value(T v) { value=v; }
T get_value(void) {return value;}
};
//main()函数中测试ex_class类模板
int main(void)
{
//测试int类型数据
ex_class a(5),b(10);
cout<<"a.value:"< ch(''A'');
cout<<"ch.value:"< x(5.5);
cout<<"x.value:"<
命名空间（名字空间）
命名空间是C 的一种机制，用来把单个标识符下的大量有逻辑联系的程序实体组合到一起。此标识符作为此组群的名字。命名空间用关键字namespace 来定义：
//stl_cpp_6.cpp
#include
using namespace std;
namespace printA
{
print() {cout<<"using namespace printA….."<
一个namespace是指一个具名的范围（named scope）。namespace被用来将相关的声明划归在一起，将不相关的代码部分隔开。命名空间只是命名了一个特殊的作用域，当程序很大，而且需要多人合作的时候，命名空间就显得特别的重要。比如2个程序员A,B 在同一个程序中定义了函数 pop(),如果没有使用命名空间，则会出错，而且这种错误难以检测出来。为了安全起见，他们可以定义不同的命名空间 A和B，在用的时候可以使用A::pop()和B::pop()来区分。
在STL中，标准库的全部成员在预先定义的命名空间std中。如果要用类模板vector ，有两种方法：一是在程序的前面添加预处理指令：
#include
using namespace std;
第二种方法是：
#include
using std::vector;
动态绑定和静态绑定
所谓绑定是指，对于参与多态行为的类型，他们具有多态行为的接口是在公共基类的设计中就预先确定的。而非绑定则对于参与多态行为的类型，他们的接口没有预先定义。
在C 中通过继承实现的多态是动态绑定，通过模板实现的多态是静态绑定。动态绑定的接口是在运行期间（动态）完成的，静态绑定的接口是在编译期间（静态）完成的。好了，有了以上的知识我们可以来学习STL
了。
STL 的组成
STL有三大核心部分：容器（Container）、算法（Algorithms）、迭代器（Iterator），容器适配器（container
adaptor），函数对象(functor)，除此之外还有STL其他标准组件。
- 容器：装东西的东西，装水的杯子，装咸水的大海，装人的教室……STL里的容器是可容纳一些数据的模板类；
- 算法：就是往杯子里倒水，往大海里排污，从教室里撵人……STL里的算法，就是处理容器里面数据的方法，操作；
- 迭代器：往杯子里倒水的水壶，排污的管道，撵人的那个物业管理人员……STL里的迭代器：遍历容器中数据的对象；
对存储于容器中的数据进行处理时，迭代器能从一个成员移向另一个成员。他能按预先定义的顺序在某些容器中的成员间移动。对普通的一维数组、向量、双端队列和列表来说，迭代器是一种指针。
知道了吧？嘎嘎，当然了，你猜到了，那是我在瞎扯蛋。
下面让我们来看看专家是怎么说的：
- 容器（container）：容器是数据在内存中组织的方法，例如，数组、堆栈、队列、链表或二叉树（不过这些都不是STL标准容器）。STL中的容器是一种存储T（Template）类型值的有限集合的数据结构,容器的内部实现一般是类。这些值可以是对象本身，如果数据类型T代表的是Class的话。
- 算法（algorithm）：算法是应用在容器上以各种方法处理其内容的行为或功能。例如，有对容器内容排序、复制、检索和合并的算法。在STL中，算法是由模板函数表现的。这些函数不是容器类的成员函数。相反，它们是独立的函数。令人吃惊的特点之一就是其算法如此通用。不仅可以将其用于STL容器，而且可以用于普通的C＋＋数组或任何其他应用程序指定的容器。
- 迭代器(iterator)：一旦选定一种容器类型和数据行为(算法)，那么剩下唯一要他做的就是用迭代器使其相互作用。可以把达代器看作一个指向容器中元素的普通指针。可以如递增一个指针那样递增迭代器，使其依次指向容器中每一个后继的元素。迭代器是STL的一个关键部分，因为它将算法和容器连在一起。
下面我将依次介绍STL的这三个主要组件。
容器
STL中的容器有队列容器和关联容器，容器适配器（congtainer adapters：stack,queue，priority
queue），位集（bit_set），串包(string_package)等等。
在本文中，我将介绍list,vector，deque等队列容器，和set和multisets,map和multimaps等关联容器，一共7种基本容器类。
队列容器（顺序容器）：队列容器按照线性排列来存储T类型值的集合，队列的每个成员都有自己的特有的位置。顺序容器有向量类型、双端队列类型、列表类型三种。
基本容器——顺序容器
向量（vector容器类）：＃include ，vector是一种动态数组，是基本数组的类模板。其内部定义了很多基本操作。既然这是一个类，那么它就会有自己的构造函数。vector 类中定义了4中种构造函数：
默认构造函数，构造一个初始长度为0的空向量，
如：vector v1;
带有单个整形参数的构造函数，此参数描述了向量的初始大小。这个构造函数还有一个可选的参数，这是一个类型为T的实例，描述了各个向量种各成员的初始值；
如：vector v2(init_size,0); 如果预先定义了：int init_size;他的成员值都被初始化为0；
复制构造函数，构造一个新的向量，作为已存在的向量的完全复制，
如：vector v3(v2);
带两个常量参数的构造函数，产生初始值为一个区间的向量。区间由一个半开区间[first,last](MS
word的显示可能会有问题，first前是一个左方括号，last后面是一个右圆括号)来指定。
如：vector v4（first,last）
下面一个例子用的是第四种构造方法，其它的方法读者可以自己试试。
//stl_cpp_7.cpp
//程序：初始化演示
#include
#include
#include
using namespace std;
int ar[10] = { 12, 45, 234, 64, 12, 35, 63, 23, 12, 55 };
char* str = "Hello World";
int main(void)
{
vector vec1(ar, ar 10); //first=ar,last=ar 10,不包括ar 10
vector vec2(str, str strlen(str)); //first=str,last= str strlen(str),不包括最后一个
cout<<"vec1:"<::const_iterator p=vec1.begin();p!=vec1.end(); p)
cout<<*p;
cout<<''\n''<<"vec2:"<::const_iterator p1=vec2.begin();p1!=vec2.end(); p1)
cout<<*p1;
getchar();
return 0;
}
为了帮助理解向量的概念，这里写了一个小例子，其中用到了vector的成员函数：begin()，end()，push_back()，assign()，front()，back()，erase()，empty()，at()，size()。
//stl_cpp_8.cpp
#include
#include
using namespace std;
typedef vector INTVECTOR;//自定义类型INTVECTOR
//测试vector容器的功能
void main(void)
{
//vec1对象初始为空
INTVECTOR vec1;
//vec2对象最初有10个值为6的元素
INTVECTOR vec2(10,6);
//vec3对象最初有3个值为6的元素，拷贝构造
INTVECTOR vec3(vec2.begin(),vec2.begin() 3);
//声明一个名为i的双向迭代器
INTVECTOR::iterator i;
//从前向后显示vec1中的数据
cout<<"vec1.begin()--vec1.end():"<
push_back()是将数据放入vector（向量）或deque（双端队列）的标准函数。Insert()是一个与之类似的函数，然而它在所有容器中都可以使用，但是用法更加复杂。end()实际上是取末尾加一，以便让循环正确运行--它返回的指针指向最靠近数组界限的数据。
在Java里面也有向量的概念。Java中的向量是对象的集合。
其中，各元素可以不必同类型，元素可以增加和删除，不能直接加入原始数据类型。
双端队列（qeque容器类）：#include
deque（读音：deck，意即：double queue）容器类与vector类似，支持随机访问和快速插入删除，它在容器中某一位置上的操作所花费的是线性时间。与vector不同的是，deque还支持从开始端插入数据：
push_front()。此外deque也不支持与vector的capacity()、reserve()类似的操作。
//stl_cpp_9.cpp
#include
#include
using namespace std;
typedef deque INTDEQUE;//有些人很讨厌这种定义法，呵呵
//从前向后显示deque队列的全部元素
void put_deque(INTDEQUE deque, char *name)
{
INTDEQUE::iterator pdeque;//仍然使用迭代器输出
cout << "The contents of " << name << " : ";
for(pdeque = deque.begin(); pdeque != deque.end(); pdeque )
cout << *pdeque << " ";//注意有 "*"号哦，没有"*"号的话会报错
cout<
上面我们演示了deque如何进行插入删除等操作，像erase(),assign()是大多数容器都有的操作。关于deque的其他操作请参阅附录。
表（List容器类）：#include
List又叫链表，是一种双线性列表，只能顺序访问（从前向后或者从后向前），图2是list的数据组织形式。与 前面两种容器类有一个明显的区别就是：它不支持随机访问。要访问表中某个下标处的项需要从表头或表尾处（接近该下标的一端）开始循环。而且缺少下标预算符：operator[]。
图2
同时，list仍然包涵了erase(),begin(),end(),insert(),push_back(),push_front()这些基本函数，下面我们来演示一下list的其他函数功能。
merge()：合并两个排序列表；
splice()：拼接两个列表；
sort()：列表的排序；
//stl_cpp_10.cpp
#include
#include
#include
using namespace std;
void PrintIt(list n)
{
for(list::iterator iter=n.begin(); iter!=n.end(); iter)
cout<<*iter<<" ";//用迭代器进行输出循环
}
int main(void)
{
list listn1,listn2;
//给listn1,listn2初始化
listn1.push_back(123);
listn1.push_back(0);
listn1.push_back(34);
listn1.push_back(1123);
//now listn1:123,0,34,1123
listn2.push_back(100);
listn2.push_back(12);
//now listn2:12,100
listn1.sort();
listn2.sort();
//给listn1和listn2排序
//now listn1:0,34,123,1123 listn2:12,100
PrintIt(listn1);
cout<
上面并没有演示splice()函数的用法，这是一个拗口的函数。用起来有点麻烦。图3所示是splice函数的功能。将一个列表插入到另一个列表当中。list容器类定义了splice()函数的3个版本：
splice(position,list_value);
splice(position,list_value,ptr);
splice(position,list_value,first,last);
list_value是一个已存在的列表，它将被插入到源列表中，position是一个迭代参数，他当前指向的是要进行拼接的列表中的特定位置。
图3
listn1:123,0,34,1123 listn2:12,100
执行listn1.splice(find(listn1.begin(),listn1.end(),0),listn2);之后，listn1将变为：123，12，100，34，1123。即把listn2插入到listn1的0这个元素之前。其中，find()函数找到0这个元素在listn1中的位置。值得注意的是，在执行splice之后，list_value将不复存在了。这个例子中是listn2将不再存在。
第二个版本当中的ptr是一个迭代器参数，执行的结果是把ptr所指向的值直接插入到position当前指向的位置之前.这将只向源列表中插入一个元素。
第三个版本的first和last也是迭代器参数，并不等于list_value.begin(),list_value.end()。First指的是要插入的列的第一个元素，last指的是要插入的列的最后一个元素。
如果listn1:123,0,34,1123 listn2:12,43，87，100 执行完以下函数之后
listn1.splice(find(listn1.begin(),listn1.end(),0), listn2.begin(),--listn2.end());
listn1:123,43,87,0,34,1123 listn2:12,100
以上，我们学习了vector,deque,list三种基本顺序容器，其他的顺序容器还有：slist,bit_vector等等。
另一种容器——关联容器（有点费解哦，出去让脑子清醒一下再回来看）
与前面讲到的顺序容器相比，关联容器更注重快速和高效地检索数据的能力。这些容器是根据键值（key）来检索数据的，键可以是值也可以是容器中的某一成员。这一类中的成员在初始化后都是按一定顺序排好序的。
集和多集（set 和multiset 容器类）：#include
一个集合（set）是一个容器，它其中所包含的元素的值是唯一的。这在收集一个数据的具体值的时候是有用的。集合中的元素按一定的顺序排列，并被作为集合中的实例。如果你需要一个键/值对（pair）来存储数据，map（也是一个关联容器，后面将马上要讲到）是一个更好的选择。一个集合通过一个链表来组织，在插入操作和删除操作上比向量（vector）快，但查找或添加末尾的元素时会有些慢。
在集中，所有的成员都是排列好的。如果先后往一个集中插入：12，2，3，123，5，65
则输出该集时为：2，3，5，12，65，123
集和多集的区别是：set支持唯一键值，set中的值都是特定的，而且只出现一次；而multiset中可以出现副本键，同一值可以出现多次。
Set和multiset的模板参数：
template
第一个参数key是所存储的键的类型，第二个参数是为排序值而定义的比较函数的类型，第三个参数是被实现的存储分配符的类型。在有些编译器的具体实现中，第三个参数可以省略。第二个参数使用了合适形式的迭代器为键定义了特定的关系操作符，并用来在容器中遍历值时建立顺序。集的迭代器是双向，同时也是常量的，所以迭代器在使用的时候不能修改元素的值。
Set定义了三个构造函数：
默认构造函数：
explicit set(const Compare&=compare());
如：set > set1;
less是一个标准类，用于形成降序排列函数对象。升序排列是用greater。
通过指定某一预先定义的区间来初始化set对象的构造函数：template set(InputIterator, InputIterator,\ const Compare&=compare());
如：set >set2(vector1.begin(),vector1.end());
复制构造函数：
set（const set）;
如：set >set3(set2);
下面我们来看一个简单的集和多集的插入例程：
//stl_cpp_11.cpp
#include
#include
using namespace std;
int main(void)
{
set set1;
for(int i=0; i<10; i)
set1.insert(i);
for(set::iterator p=set1.begin();p!=set1.end(); p)
cout<<*p<<"";
if(set1.insert(3).second)//把3插入到set1中
//插入成功则set1.insert(3).second返回1，否则返回0
//此例中，集中已经有3这个元素了，所以插入将失败
cout<<"set insert success";
else
cout<<"set insert failed";
int a[] = {4, 1, 1, 1, 1, 1, 0, 5, 1, 0};
multiset A;
A.insert(set1.begin(),set1.end());
A.insert(a,a 10);
cout<::iterator p=A.begin();p!=A.end(); p)
cout<<*p<<" ";
cin.get();
return 0;
}
在集之间可以进行并集（set_union()）、交集(set_intersection())、差集(set_diffrence())d等操作，功能强大。
映射和多重映射（map 和multimap）：#include
映射和多重映射基于某一类型Key的键集的存在，提供对T类型的数据进行快速和高效的检索。对map而言，键只是指存储在容器中的某一成员。Map不支持副本键，multimap支持副本键。Map和multimap对象包涵了键和各个键有关的值，键和值的数据类型是不相同的，这与set不同。set中的key和value是Key类型的，而map中的key和value是一个pair结构中的两个分量。Map支持下表运算符operator[],用访问普通数组的方式访问map，不过下标为map的键。在multimap中一个键可以对应多个不同的值。
下面的例程说明了map中键与值的关系。
//stl_cpp_12.cpp
#include
#include
从以上例程中，我们可以看到map对象的行为和一般数组的行为类似。Map允许两个或多个值使用比较操作符。下面我们再看看multimap:
//stl_cpp_13.cpp
#include
#include
