STL 学习总结一 —— STL实现原理及其实现

STL实现原理及其实现

STL 简介

STL提供了六大组件，彼此之间可以组合套用，这六大组件分别为：

• 容器
• 算法
• 迭代器
• 仿函数
• 适配器
• 空间配置器

六大组件之间的交互关系为：

1. 容器通过空间配置器取得数据存储空间
2. 算法通过迭代器存储容器中的内容
3. 仿函数可以协助算法完成不同的策略的变化
4. 适配器可以修饰仿函数

容器

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

算法

各种常用的算法，如find, ‘sort’, copy, for_each。从实现的角度来看，STL算法是一种function template

迭代器

扮演了容器与算法之间的胶合剂，共有五种类型，从实现的角度来看，迭代器是一种将operator *, operator->, oprator++, operator--等指针相关操作予以重载的class template

所有STL容器都附带有自己专属的迭代器，只有容器的设计者才知道如何遍历自己的元素。

原生指针(native pointer)也是一种迭代器。

仿函数

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

适配器

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

STL提供的queue 和 stack， 虽然看似是容器，但是其实只能算是一种容器适配器，因为他们底部完全借助于deque，所有操作都由底层的deque供应。

空间适配器

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

一般的分配器的std::alloctor都含有两个函数——allocate和deallocate，这两个函数分别调用 operator new()和operator delete()，这两个函数的底层又分别是malloc和free。但是每次malloc都会带来额外开销（因为每次malloc一个元素都要电邮一定的附加信息）

容器之间的实现关系及分类：

STL 优点

STL具有高可重用性、高性能、高移植性、跨平台的优点。

1. 高可重用性：

   STL中几乎所有的代码都采用了模板类和模板函数的方式实现，这相比于传统的由函数和类组成的库来说，提供了更好的代码重用的机会。

2. 高性能：

   如map可以高效的从十万条记录里面查找出指定的记录，因为map是采用红黑树的变体实现的。

3. 高移植性：

   如在项目A上用STL编写的模块，可以直接移植到项目B上。

STL的一个重要特性是 将数据和操作分离

数据由容器类别加以管理，操作则由可定制的算法定义。迭代器在两者之间充当 “粘合剂”，以使算法可以和容器交互运作。