STL即标准模板库，是一个具有工业强度的，高效的C++程序库。它被容纳于C++标准程序库（C++ Standard
Library）中，是ANSI/ISO C++标准中最新的也是极具革命性的一部分。该库包含了诸多在计算机科学领域里所
常用的基本数据结构和基本算法。为广大C++程序员们提供了一个可扩展的应用框架，高度体现了软件的可复用
性。这种现象有些类似于Microsoft Visual C++中的MFC（Microsoft Foundation Class Library），或者是
Borland C++ Builder中的VCL(Visual Component Library)。
从逻辑层次来看，在STL中体现了泛型化程序设计的思想（generic programming），引入了诸多新的名词，比
如像需求（requirements），概念（concept），模型（model），容器（container），算法（algorithmn），
迭代子（iterator）等。与OOP（object-oriented programming）中的多态（polymorphism）一样，泛型也是
一种软件的复用技术。
从实现层次看，整个STL是以一种类型参数化（type parameterized）的方式实现的，这种方式基于一个在早先
C++标准中没有出现的语言特性--模板（template）。如果查阅任何一个版本的STL源代码，你就会发现，模板
作为构成整个STL的基石是一件千真万确的事情。除此之外，还有许多C++的新特性为STL的实现提供了方便。
有趣的是，对于STL还有另外一种解释--STepanov & Lee，前者是指Alexander Stepanov，STL的创始人；而后
者是Meng Lee，她也是使STL得以推行的功臣，第一个STL成品就是他们合作完成的。这一提法源自1995年3月，
Dr.Dobb's Journal特约记者, 著名技术书籍作家Al Stevens对Alexander Stepanov的一篇专访。
一、STL的相关著作：
Matt Austern的<<Generic Programming and STL>>
Nicolaj Josuttis的<<The C++ Standard Library>>
Scott Meyers的<<Effective STL>>
侯捷的<<STL源码剖析>>
二、STL的sgi(Silicon Graphics Computer System,Inc) 版本，同时也是声名最盛的一个STL版本，该版本被纳为GNU C++标准程序库。大家可以从SGI的网站上下载其写的STL版本，网址为:http://www.sgi.com/tech/stl/download.html,另外我在程序员联合开发网上也下载了一个相关的版本，网址为：http://www.pudn.com/downloads86/sourcecode/compiler/detail330720.html，著名的STL三大库之一,SGI_TL的源代码，极具研究价值！
STL的简介（摘自百度百科）
STL = Standard Template Library，标准模板库，惠普实验室开发的一系列软件的统称。它是由Alexander
Stepanov、Meng Lee和David R Musser在惠普实验室工作时所开发出来的。这可能是一个历史上最令人兴奋的
工具的最无聊的术语。从根本上说，STL是一些“容器”的集合，这些“容器”有list,vector,set,map等，STL
也是算法和其他一些组件的集合。这里的“容器”和算法的集合指的是世界上很多聪明人很多年的杰作。STL的
目的是标准化组件，这样就不用重新开发，可以使用现成的组件。STL现在是C++的一部分，因此不用额外安装
什么。 (摘自于百度百科)
标准模板库
STL被内建在你的编译系统之内。 在C++标准中，STL被组织为下面的13个头文件：<algorithm>、<deque>
、<functional>、<iterator>、<vector>、<list>、<map>、<memory>、<numeric>、<queue>、<set>、<stack>
和<utility>。
算法
大家都能取得的一个共识是函数库对数据类型的选择对其可重用性起着至关重要的作用。举例来说，一个求方
根的函数，在使用浮点数作为其参数类型的情况下的可重用性肯定比使用整型作为它的参数类型要高。而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>组成。对于常用的一些容器和容器适配器（可以看
作由其它容器实现的容器），可以通过下表总结一下它们和相应头文件的对应关系。
迭代器
下面要说的迭代器从作用上来说是最基本的部分，可是理解起来比前两者都要费力一些（至少笔者是这样）。
软件设计有一个基本原则，所有的问题都可以通过引进一个间接层来简化，这种简化在STL中就是用迭代器来完
成的。概括来说，迭代器在STL中用来将算法和容器联系起来，起着一种黏和剂的作用。几乎STL提供的所有算
法都是通过迭代器存取元素序列进行工作的，每一个容器都定义了其本身所专有的迭代器，用以存取容器中的
元素。 迭代器部分主要由头文件<utility>,<iterator>和<memory>组成。<utility>是一个很小的头文件
，它包括了贯穿使用在STL中的几个模板的声明，<iterator>中提供了迭代器使用的许多方法，而对于<memory>
的描述则十分的困难，它以不同寻常的方式为容器中的元素分配存储空间，同时也为某些算法执行期间产生的
临时对象提供机制,<memory>中的主要部分是模板类allocator，它负责产生所有容器中的默认分配器。