1 简介
STL(Standard Template Library),标准模板库。是惠普实验室开发的一系列软件的统称,现在主要用在C++中,但引入C++之前在该技术已经存在很长时间。STL从广义上分为容器、算法、迭代器,容器和算法之间通过迭代器进行无缝连接。 STL几乎所有的代码都采用了模板类或者模板函数,这相比传统的函数和类组成的库来说提供了更好的代码重用机会。C++标准程序中隶属于STL的占到了80%以上。 容器(container)、算法(algorithm)、迭代器(iterator)为STL最常用的三大组件,大致关系如下图所示
这里的一一对应指的是类型,而不是对象,即一类容器对应一类迭代器。而一类迭代器可以对应多个容器对象。
2 六大组件
六大组件可以组合套用,分别是:容器、算法、迭代器、仿函数(函数对象)、适配器(配接器)、空间配置器。- 容器:各种数据结构,如vector、list、deque、set、map等,用来存放数据。从实现角度来看,STL容器是一种class template。(存放数据)
- 算法:各种常用算法,如sort、find、copy、for_each。从实现角度来看,STL算法是一种function template。(操作数据) 算法分为质变算法和非质变算法,质变算法是指运算过程中会更改区间内的元素的内容,如拷贝、替换、删除等;非质变算法是指运算过程中不会更改区间内的元素内容,如查找、计数、遍历、寻找极值等。
- 迭代器:扮演了容器和算法之间的胶合剂,共有五种类型。从实现角度来看,迭代器是一种将operator*,operator->,operator++,operator--等指针相关操作予以重载的class template。 所有SLT容器都附带有自己专属的迭代器,只有容器的设计者才知道如何遍历自己的元素。原生指针(native pointer)也是一种迭代器。(容器和算法的桥梁)
- 仿函数:行为类似函数,可作为算法的某种策略。从实现角度来看,仿函数是一种重载了operator()的class或者class template。(为算法提供更多的策略)
-
适配器:用来修饰容器、仿函数、迭代器接口。(为算法提供更多的参数接口)
- 空间配置器:负责空间的配置和管理。从实现角度看,配置器是一个实现了动态空间配置、空间管理、空间释放的class template。(管理容器和算法的空间)
STL六大组件的交互关系:容器通过空间配置器取得数据存储空间,算法通过迭代器操作容器中的内容,仿函数可以协助算法完成不同的策略的变化,适配器可以修饰仿函数。