STL的价值在于两个方面:就低层次而言,STL带给我们一套极具有价值的零部件以及一个整合的组织,就像MFC或者VCL之于windows软件开发过程一样,直接而明朗;另外STL带给我们一个高层次的,以泛型思维(Generic Paradigm)为基础的,系统化的“软件组织分类学(Components taxonomy)”,从这个角度来看,STL是一个抽象概念库,它包括最基础的Assignable,Default Constructible,Equality Comparable...
STL的创新价值在于具体叙述这些抽象概念并加以系统化。话句话说,STL所实现的是一句泛型思想架设起来的一个概念结构,形成一个严谨的接口标准,在该接口下,任何组件都具有最大的独立性,并以所谓迭代器(iterator)胶合起来,或者以配接器(adapter),或者以所谓仿函数 (functor)动态选择某种策略。
STL的六大组件
容器(Containers):各种数据结构,比如vector,list,deque,set,map用来存放数据,从实现的角度来看,STL容器是一种class template。
算法(Algorithms):各种算法,比如sort,search,copy,erase...从实现的角度来看,STL算法是一种function template。
迭代器(Iterators):扮演容器与算法之间的胶合剂,是所谓的“泛型指针”。共有5中类型,以及其他衍生变化。从实现角度来讲STL迭代器是一种将operator*,operator->,operator++,operator--等指针相关操作予以重载的class template。所有的STL容器都附有自己专属的迭代器。
仿函数(Functors):行为类似函数,可作为算法的某种策略,从实现角度来看,它是一种重载了operator()的class或者class template,一般的函数指针可视为狭义的仿函数。
配接器(Adapters):一种用来修饰容器或仿函数或迭代器的接口,例如STL提供的queue和stack,虽然看似容器,其实只能算是一种容器配接器,应为它们底部完全借助deque,所有操作都由底层的deque供应。改变functor接口者称为function adapter,改变container接口者称为container adapter...
配置器(Allocators):负责空间配置与管理,从实现角度来看配置器是一个实现了动态空间配置,空间管理,空间释放的class template.
STL六大组件的相互关系
container通过allocator取得数据存储空间,algorithm通过iterator存取container的内容,funtor可以协助algorithm完成不同的策略变化,adapter可以修饰或者套接functor