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(仿函数)。如下图: