(《STL源码剖析》学习笔记)
STL提供了六大组件
容器(containers)
用来存放数据,包含多种数据结构,如:vector、list、deque、set、map等。
从实现的角度来看,STL容器是一种class template。算法(algorithms)
包括各种常用算法,如:sort、search、copy、erase等。
从实现的角度来看,STL算法是一种function template。迭代器(iterators)
迭代器扮演着容器和算法之间的胶合剂,即所谓的“泛型指针”。共有五种类型以及其它衍生变化。
从实现的角度来看,迭代器是一种将operator*,operator->, operator++, operator–等指针相关操作予以重载的class template。
所有STL容器都附带有自己专属的迭代器。原生指针(native pointer)也是一种迭代器。仿函数(functors)
仿函数行为类似函数,可作为算法的某种策略。
从实现的角度来看,仿函数是一种重载了operator()的class或class template。
一般函数指针可视为狭义的仿函数。配接器(adapters)
适配器是一种用来修饰容器或仿函数或迭代器接口的东西。
例如,STL提供的queue和stack,虽然看似容器,其实只能算是一种容器配接器,因为它们的底层实现完全借助deque,所有操作都由底层的deque提供。
改变functor接口的称为function adapter; 改变container接口的,成为container adapter; 改变iterator接口的称为iterator adapter。配置器(allocators)
配置器负责空间配置与管理。
从实现的角度来看,配置器是一个实现了动态空间配置、空间管理、空间释放的class template。
六大组件的交互关系
container通过allocator取得数据存储空间,
algorithm通过iterator存取container内容,
functor可以协助algorithm完成不同的策略变化,
adapter可以修饰或套接functor。
六大组件之间的交互关系如下图所示: