STL 六大组件 功能与运用

STL 提供六大组件，彼此可以组合套用：

1 容器（containers）：各种数据结构，如vector，list，deque，set，map，用来存放数据，从实现的角度来看，STL容器是一种class template，就体积而言，这一部分很像冰山在海角下的比率。

2 算法（algorithms）：各种常用算法如：sort，search，copy，erase...。从实现的角度来看，STL算法是一种function template。

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

4 仿函数（functors）：行为类似函数，可作为算法的某种策略（policy），从实现的角度来看，仿函数是一种重载了operateor[]的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。

这六大组件的交互关系：container（容器） 通过 allocator（配置器） 取得数据储存空间，algorithm（算法）通过 iterator（迭代器）存取 container（容器） 内容，functor（仿函数） 可以协助 algorithm（算法） 完成不同的策略变化，adapter（配接器） 可以修饰或套接 functor（仿函数）。如下图：