STL — 简介

STL — 简介

1、STL概论

长久以来，软件界一直希望建立一种可重复利用的东西，以及一种得以制造出“可重复运用的东西”的方法，让程序猿的心血不止于随时间的迁移，人事变动而烟消云散，从函数、类、函数库、类库、各种组件，从模块化设计到面向对象，为的就是复用性的提升。

复用性必须建立在某种标准之上，但是在许多环境下，就连软件开发最基本的数据结构和算法都未能有一套标准。大量程序猿被迫从事大量重复的工作，竟然是为了完成前人已经完成而自己手上并未拥有的程序代码。这不仅是人力资源的浪费，也是挫折与痛苦的来源。

为了建立数据结构和算法的一套标准，并且降低他们之间的耦合关系，以提升各自的独立性、弹性、交互操作性等，诞生了STL。

1.1 STL基本概念

STL(Standard Template Libaray,标准模版库)，是惠普实验室开发的一系列软件的统称。

STL从广义上分为：容器(container)、算法(algorithm)、迭代器(iterator)，容器和算法之间通过迭代器进行无缝链接。STL几乎所有的代码都采用模版类和模版函数，这相比传统库、组件提供了更好的重用性。

1.2 STL六大组件简介

STL提供了六大组件，彼此之间可以用组合套用，这六大组件分别是容器、算法、迭代器、适配器(配接器)、空间配置器。

容器：各种数据结构，比如vector、list、deque、set、map等，用来存放数据，从实现角度来看，STL容器是一种class template。

算法：各种常用的算法，如sort、find、copy、for_each。从实现的角度来看，STL算法是一种function tempile。

迭代器：扮演了容器与算法之间的胶合剂，共有五种类型，从实现角度来看，迭代器是一种operator*, operator->, operator++, operator–等指针相关操作予以重载的class template。所有STL容器都附带有自己专属的迭代器。只有容器的设计者才知道如何遍历自己的元素。原生指针(native pointer)也是一种迭代器。

仿函数：行为类似函数，可以为算法的某种策略。从实现角度来看，仿函数是一种重载了operator()的class或者class template。

适配器：一种用来修饰容器或者仿函数或迭代器接口的东西。

空间配置器：负责空间的配置与管理，从实现角度看，配置器是一个实现了动态空间配置、空间管理、空间释放的class template。

STL六大组件的交互关系，容器通过空间配置器取得数据存储空间，算法通过迭代器存储容器中的内容，仿函数可以协助算法完成不同的策略的变化，适配器可以修饰仿函数。

2、STL三大组件

2.1 容器

容器，置物之所也。

研究数据的特定排列方式，以利于搜索或排序或其他特殊目的，这一门学科我们称为数据结构，任何特定的数据结构都是为了实现某种特定的算法。STL容器就是将运用最广泛的一些数据结构实现出来。

常用的数据结构：数组(array)、链表(list)、树(tree)、栈(stack)、队列(queue)、集合(set)、映射表(map)，根据数据在容器中的排列特性，这些数据分为序列式容器和关联式容器两种。

序列式容器：强调值的排序，其中每个元素均有固定的位置，除非用删除或插入的操作改变这个位置。Vector/Deque/List。

关联式容器：是非线形的树结构，更准确的说是二叉树结构。各元素之间没有严格的物理上的顺序关系，也就是说元素在容器中并没有保存元素置入容器时的逻辑顺序。关联式容器另一个显著特点是：在值中选择一个值作为关键字key，这个关键字对值起到索引的作用，方便查找。Set/Multist Map/Multimap。

2.2 算法

算法，问题之解法也。

以有限的步骤，解决逻辑或数学上的问题，这一门学科叫做算法(Algorithm)。

广义而言，我们所编写的每个程序都是一个算法，其中的每个函数也都是一个算法，毕竟他们都是用来解决或大或小的逻辑问题或数学问题。STL收录的算法经过了数学上的效能分析与证明，是极具复用价值的，包括常用的排序，查找等。特定的算法往往搭配特定的数据结构，算法与数据结构相辅相成。

算法分为：质变算法和非质变算法。

质变算法：运算过程中会更改区间的元素内容，如拷贝、替换、删除等。

非质变算法：运算过程中不会更改区间的元素内容，如查找、计数、遍历等。

2.3 迭代器

迭代器(iterator)是一种抽象的设计概念，现实程序语言中并没有直接对应于这个概念的实物。在《Design Patterns》一书中提供了23种设计模式的完整描述，其中iterator模式定义如下：提供一种方法，使之能够依次寻访某个容器所含的各个元素，而又无需暴露该容器的内部表示方式。

迭代器的设计思维-STL的关键所在，STL的中心思想在与将容器(container)和算法(algorithms)分开，彼此独立设计，最后再一贴胶着剂将他们撮合在一起。从技术角度来看，容器和算法的泛型化并不困难，C++的Class template和function template可分别达到目标，如何设计出这两个之间的良好胶着剂，才是大难题。

迭代器的种类：