STL源码剖析

一、STL的价值在于两个方面。

低层次，STL带给我们一套极具实用的价值的零部件，以及一个整体的组织。

高层次，以泛型思维（Generic Paradigm）为基础，系统化的，条理分明的“软件组件分类学（components taxonomy）”。从这个角度看，STL是一个抽象概念（library of abstract concepts），这些“抽象概念”包括最基础的Assignable（可被赋值）、Default Constructible（不需任何参数就可构造）、Equaity Comparable(可判断是否等同)、LessThan Comparable（可比较大小）、Regular（正规）…高阶一点的概念包括Input iterator（具有输入功能的迭代器）、Output iterator （具有输出功能的迭代器）、Forward Iterator（单项迭代器）、Bidrectional iterator（双向迭代器）、Random Access iterator（随机存储迭代器）、Unary Function（一元函数）、Binay Function（二元函数）、Predicate（传回真假值的一元判断式）、Binry Predlcate（传回真假值的二元判断式）…更高阶的概念包括Sequence continer（序列式容器）、Associative container（关联式容器）…

二、STL六大组件简介

容器（Containers）：

各种数据结构，如Vector,List,Deque,Set,Map,用来存放数据，STL容器是一种Class Template,就体积而言，这一部分很像冰山载海面的比率。

2、算法（Algorithms）：

各种常用算法如Sort,Search,Copy,Erase,从实现的角度来看，STL算法是一种Function Templates。

3、迭代器（Iterators）：

扮演容器与算法之间的胶合剂，是所谓的“泛型指针”，共有五种类型，以及其它衍生变化，从实现的角度来看，迭代器是一种将：Operators*,Operator->,Operator++,Operator–等相关操作予以重载的Class Template。所有STL容器都附带有自己专属的迭代器——是的，只有容器设计者才知道如何遍历自己的元素，原生指针（Native pointer）也是一种迭代器。

4、仿函数（Functors）：

行为类似函数，可作为算法的某种策略（Policy）,从实现的角度来看，仿函数是一种重载了Operator()的Class 或 Class Template。一般函数指针可视为狭义的仿函数。

5、配接器（适配器）（Adapters）：

一种用来修饰容器（Containers）或仿函数（Functors）或迭代器（Iterators）接口的东西，例如：STL提供的Queue和Stack，虽然看似容器，其实只能算是一种容器配接器，因为 它们的底部完全借助Deque，所有操作有底层的Deque供应。改变Functor接口者，称为Function Adapter;改变Container接口者，称为Container Adapter;改变Iterator接口者，称为Iterator Adapter。配接器的实现技术很难一言蔽之，必须逐一分析。

6、配置器（Allocators）：

负责空间配置与管理，从实现的角度来看，配置器是一个实现了动态空间配置、空间管理、空间释放的Class Template。

STL六大组建的交互关系：

Container通过Allocator 取得数据存储空间，Algorithm 通过 Iterator存取Container内容，Functor 可以协助Algorithm完成不同的策略变化，Adapter可以修饰或套接Functor。

——《STL源码剖析》