C++ STL 六大组件概览

参考https://zhuanlan.zhihu.com/p/31505598
STL六大组件

• 容器（container）：在实现上，是类模板（class template）
  序列容器：vector、list、deque
  关联容器：set、map、
• 迭代器（iterator）：一套访问容器的接口，行为类似于指针。他为不同算法提供的相对统一的容器访问方式，使得设计算法时无需关注过多数据，（“算法”指广义的算法，操作数据的逻辑代码都可认为是算法。
• 算法（algorithm）：提供一套常用的算法，如sort、search、copy、erase。在实现上，可以认为是一种函数模板（function template）。
• 配置器（allocator）：为容器提供空间配置和释放，对象构造和析构的服务，也是一个class template。
• 仿函数（functor）：作为函数使用的对象，用于泛化算法中的操作。
• 配接器（adapter）：将一种容器修饰为功能不同的另一种容器，如以容器vector为基础，在其上实现stack，stack的行为也是一种容器。这就是配接器。除此之外，还有迭代器配接器和仿函数配接器。

空间配置器(allocator)

• 头文件
  “#include <memory>”
• 实际实现在三个文件中：
  stl_construct.h对象的构造和析构。
  stl_alloc.h空间的配置和释放。
  stl_uninitalized.h内存基本攻击，用于提升性能。

容器（container）
图中不带.h的文件是标准头文件，带后缀的是标准头文件对应的实现文件。
容器vector的真正实现在stl_vector.h。你会发现，序列容器queue和序列容器stack对应了不止一个文件stl_xxx.h文件，这是因为他们是一种配接器，是基于其他容器实现的。
关联容器中：set和map，即集合与映射，set和map的底层基于红黑树实现（stl_tree.h文件），查询时间为O（logn），空间复杂度为O（n）；hash_set和hash_map的底层基于哈希表实现（stl_hashtable.h文件），查询时间复杂度为O（1），空间福再度比set和map高。
算法（algorithm）
通常我们用#include<algorithm>来使用STL内部算法，其背后的实现在stl_algobase.h（基本算法）和stl_algo.h（其他算法）。
numberic为数值型算法。
迭代器（iterator）
在STL中，迭代器不是单独实现的（虽然有iterator头文件，但他只是用于实现一些特殊的迭代器），迭代器想用户和算法提供统一的数据访问方法，理应集中实现。但是各种容器千差万别，迭代器的内部实现对容器依赖较强，所以迭代器由每个容器自身包含并实现，对外开放统一的接口。