1、容器(containers):各种数据结构,如 vector、deque、list、map 等。用来存放数据。从实现的角度来说,其实就是一种 class template。
2、算法(algorithms):各种算法如 sort、search、copy 等。从实现的角度来讲,就是一种 function template。
3、迭代器(iterators):容器和算法之间的“粘合剂”,是所谓的泛型指针。共有五种类型以及其他的衍生。从实现的角度来看,迭代器是一种将operator*, operator->, operator++, operator-- 等指针相关操作予以重载的 class template。所有的 STL 容器都附带有自己专属的迭代器。原生指针(native pointer)也是一种迭代器。
4、仿函数(functors):行为类似函数,可以作为算法的某种策略。从实现的角度来说,仿函数其实就是一种重载了 operator() 的 class 或 class template。一般的函数指针可以视为狭义的仿函数。
5、配接器(adapters):一种用来修饰容器(contains)或仿函数(functors)或迭代器(iterators)接口的东西。例如,STL 提供的 queue 和 stack,虽然看似容器,其实只能算是一种容器配接器,因为它们底部是完全的基于 deque 来实现的。改变 functor 接口者,成为 function adapter;改变container 接口者,称为 container adapter;改变 iterator 接口者,称为iterator adapter。从某种程度上来说,是基于组件的再度实现。
6、配接器(allocators):负责空间配置与管理。从实现的角度来说,配接器是一个实现了动态空间配置、空间管理、空间释放的 calss template。