STL体系结构概述

pSomng

已于 2023-12-23 12:54:27 修改

阅读量1k

点赞数 21

分类专栏： STL学习 C/C++ 文章标签： c++ stl

于 2023-12-23 12:42:53 首次发布

本文链接：https://blog.csdn.net/weixin_42792088/article/details/135167204

版权

C/C++ 同时被 2 个专栏收录

5 篇文章 0 订阅

订阅专栏

STL学习

1 篇文章 0 订阅

订阅专栏

文章目录

本文将是STL系列的第一篇文章，主要参考《STL源码剖析》，辅以网络博文，不定时更新我感兴趣的内容。

笔者在入门C++这门编程语言的时候之前，就已听腻了这个STL这个词了，特别是在OJ场景下，主要是因为采用这个库就可以避免手撸一些数据结构，有相关数据结构基础就能直接上手了。当然，这都是对STL比较浅显的认知罢了，本系列将开始学习STL的相关知识。

STL是什么？

STL是Standard Template Library的缩写，中文译作标准模板库，属于C++标准库的一部分。

STL所实现的，是依据泛型思想架设起来的一个概念结构。这个以抽象概念（abstract concepts）为主体而非以实际类（classes）为主体的结构，形成了一个严谨的接口标准。在此接口之下，任何组件都有最大的独立性，并以所谓的迭代器（iterator）胶合起来，或以适配器（adapter）互相适配，或以所谓仿函数（functor）动态选择某种策略（policy或strategy）。

STL的六大组件

STL提供六大组件，彼此之间相辅相成：

容器（containers）：各种数据结构，如vector、list、deque、map、set用来存储数据。从实现上来说，STL容器是class template，也就是说它能够支持不同类型的元素（前提是需要满足容器要求）。
算法（algorithms）：各种常用算法，如sort、search、copy等。从实现上来说，它是一种function template。
迭代器（iterators）：扮演容器与算法之间的胶合剂，是一种“泛型指针”，也可以理解成抽象化的指针，实现上是借助了C++中的操作符重载的特性，所有的STL容器都附带了一套属于自己的专属迭代器。原生指针（native pointer）也是一种迭代器。
仿函数（functiors）：行为类似于函数，可作为算法的某种策略（policy）。从实现上来说，其实就是一种重载了operator ()的class或class template，比如lambda表达式也是其中一种。
配接器（adapters）：适配器，一种用来修饰容器（containter）或仿函数（functiors）或迭代器接口的东西。比如，STL中提供的queue和stack是一种容器适配器，底层默认是deque容器。改变functor者，称之为function adapter；改变container接口者，称为container adapter；改变iterator接口者，称为iterator adapter。
配置器（allocators）：分配器，负责空间的配置和管理。从实现上看，它是一个实现了动态空间配置、空间管理、空间释放的class template。

它们之间的关系可以用下图进行表示：

在这里插入图片描述

要理解这张图，需要读者结合上面对六大组件的简单解释来分析，如果还有一些STL使用经历就更好了。

STL的实现版本

在学习C++过程，大家需要理解一个概念就是：我们学习的是一个标准（C++11、C++14、C++17等标准），而具体实现依据不同编译器，标准没规定的就是由编译器自由发挥了。在标准中没规定的东西，不要从某一个编译器实现中看到它的实现方式就说C++对这个一定是这样实现的，这是一种思维误区，这是不对的。

STL实现主要有以下的版本：