Standard Template Libary or C++ Standard Library

　　C++提供一套标准的library称为C++ standard library完全以template完成，所以又被称为Standard Template Library。这套library专门有于实现常用的据结构（例如arry、list......)以及常用的算法（例如push，pop，insert，delete，query，retrieval......)。

　　一般来说，STL包含六个主要的组件：

　　1.containers（泛型容器）

　　2.generic algorithms（泛型算法）

　　3.iterators（泛型指针）

　　4.function objects

　　5.adaptors

　　6.allocators

　　以下简单介绍前三个组件，让大家领略一下template的强大弹性。

一、STL Cintainers

　　STL实现了一些常用的数据结构，这些结构用来收容许多数据，所以被称为container，主要分为两大类：

　　1. sequence container：内含有序而类型一致的元素。例如vector（也就是array）和list，以及deque。deque的行为类似vector，但对于插入（insertion）和删除（deletion）第一个元素特别有效率；

　　2.associative container：这种数据结构对于查询（query）或取出（retrieval）某一个元素的动作特别有效率。例如map和set。所谓map是key/value的成对组合：key用来查询，value包含真正的数据。电话簿和字典都适合以map来完成，所以map又被 称为dictionary。

　　mapt 和set中的每一个key都只能出现一次，如果key必需出现一次以上，则另有所谓的multimap和multiset适用。

　　以下我举一个vector实例，让大家见识一下template classes的弹性。

 1 #include <vector> // STL's vector
 2 #include <iostream>
 3 using namespace std;
 4 void main(){
 5     vector<int> ivec;
 6     cout << "ivec: size: " << ivec.size() << " "
 7     << "capacity: " << ivec.capacity() << endl;
 8      for (int ix = 0; ix < 24; ix++)
 9         {
10             ivec.push_back( ix );
11             cout << "ivec: size: " << ivec.size() << " "
12           "capacity: " << ivec.capacity() << endl;
13          }
14  }               

　　程序解析：

　　第1行：使用STL vector必需导入<vector>这个头文件；

　　第3行：STL中所有的classes、functions、templates、types都定义于一个特殊的namespace std之中，第3行的用意是让我们的程序能够识别到那个std namespace。

　　第5行：声明一个vector，名称为ivec，内部可以放数据类型为int的元素。

　　第6、7行：在尚未对ivec加入任何元素之前，检查其大小与容量，所谓的大小（size）是指vector内的元素个数，所谓容量（capacity）是指这个vector目前可以装多少元素。

　　第8~13行：加入24个元素到ivec中，每加入一个元素，就检查ivec的大小与容量，这里我们用到了vector的三个member functions：push_back()、size()、capacity().

　　执行结果：

ivec: size: 0 capacity: 0
ivec: size: 1 capacity: 1
ivec: size: 2 capacity: 2
ivec: size: 3 capacity: 4
ivec: size: 4 capacity: 4
ivec: size: 5 capacity: 8
ivec: size: 6 capacity: 8
ivec: size: 7 capacity: 8
ivec: size: 8 capacity: 8
ivec: size: 9 capacity: 16
ivec: size: 10 capacity: 16
ivec: size: 11 capacity: 16
ivec: size: 12 capacity: 16
ivec: size: 13 capacity: 16
ivec: size: 14 capacity: 16
ivec: size: 15 capacity: 16
ivec: size: 16 capacity: 16
ivec: size: 17 capacity: 32
ivec: size: 18 capacity: 32
ivec: size: 19 capacity: 32
ivec: size: 20 capacity: 32
ivec: size: 21 capacity: 32
ivec: size: 22 capacity: 32
ivec: size: 23 capacity: 32
ivec: size: 24 capacity: 32

　　我们可以从执行结果归纳出两个结论：

　　1.vector的容量是可以变化的；

　　2.vector的容量（capacity）变化，是以power of 2累增；

二、STL Generic Algorithm（泛型算法）

　　为了对付STL的各种containers，以及C++本身的内置数据类型，STL提供了一组所谓的generic algorithm（泛型算法）。称之为algorithhm，是因为这些函数都用来执行最普遍的动作，比如排序、搜索、最大值、最小值等等。之所以称为generic（泛型）则是因为它们适用于各种container types，包括STL的vector，list，set，map，以及语言内置的build-in array type。

　　STL提供的generic algorithm非常多，比如一个简单的”字串倒序“实例：

 1 #include <iostream.h>
 2 #include <algorithm> // STL
 3 #include <string.h>
 4 using namespace std; // STL
 5 void main(){
 6     char* string1 = "ABCBEFGHJK";
 7     cout << string1 << endl;
 8     int N1 = strlen(string1);
 9     reverse(string1, string1 + N1);
10     cout << string1 << endl;
11  }

　　执行结果：

　　ABCDEFGHJK

　　KJHGFEDCBA

　　程序解析：

　　第2行：使用generic algorithm，必需导入<algorithm>这个头文件；

　　第4行：STL中所有的classes、functions、templates、types都定义于一个特殊的namespace std之中，第4行的用意是让我们的程序能够识别到那个std namespace。

　　第9行：使用reverse()（一个generic algorithm）来逆转字符串，此函数的两个参数都是操作对象（某个container）的iterators，分别批向第一个元素和最后一个元素。所谓iterator是一个泛型指针。

 三、STL Iterators（迭代器）

　　STL containers的弹性很大，可以让你放置自定义类型的数据。STL Container之所以能够和STL generic algorithm发生连接，靠的是它的一对iterators，使得generic algorithm能够在container身上来回移动。

　　所谓iterator，可以把它看成是一种泛型指针，它的作用是提供一般化的方法，使我们得以存取任何一种container中的任何一个元素。Iterator其实也是一个template class，它最少必需提供四个operators：

　　1.increment operator：用以移往下一个元素，例如++iter。

　　2.dereference operator：用以取出真正的元素个体，例如：*iter。

　　3.equlity operator：用以判断两个iterators是否相等，例如iter1==iter2。

　　4.inequlity operator：用以判断两个iterators是否不相等，例如：iter1 ！=iter2.

　　任何一个STL container type都必须提供两个member functions：begin()和end（），传回的iterator分别指向container的第一个和最后一个元素，下面是以先前的vector<int>ivec为例，示范iterator的声明与应用：

1 vector<int> ivec;
2 ...
3 vector<int>::iterator iter = ivec.begin();
4 vector<int>::iterator iter_end = ivec.end();
5 for (; iter != iter_end; ++iter)
6 cout << *iter << endl;

　　最后的for loop 可以将ivec内部的元素全部显示到屏幕上；