代码随想录算法训练营|Day10（上）||理论基础

理论基础内容来自代码随想录

理论基础

栈和队列的原理：队列是先进先出，栈是先进后出

思考自己使用的编程语言中栈和队列是什么样的。（这里以C++为例）

1. C++中stack 是容器么？
2. 我们使用的stack是属于哪个版本的STL？
3. 我们使用的STL中stack是如何实现的？
4. stack 提供迭代器来遍历stack空间么

首先，栈和队列是STL（C++标准库）里面的两个数据结构

三个最为普遍的STL版本：

1. HP STL 其他版本的C++ STL，一般是以HP STL为蓝本实现出来的，HP STL是C++ STL的第一个实现版本，而且开放源代码。

2. P.J.Plauger STL 由P.J.Plauger参照HP STL实现出来的，被Visual C++编译器所采用，不是开源的。

3. SGI STL 由Silicon Graphics Computer Systems公司参照HP STL实现，被Linux的C++编译器GCC所采用，SGI STL是开源软件，源码可读性甚高。

接下来学习的栈和队列也是SGI STL里面的数据结构，知道了使用版本，才知道对应的底层实现。

栈提供push和pop等等接口，所有元素必须符合先进后出规则，所以栈不提供走访功能，也不提供迭代器(iterator)。不像是set或者map提供迭代器iterator来遍历所有元素。

栈是以底层容器完成其所有的工作，对外提供统一的接口，底层容器是可插拔的（也就是说我们可以控制使用哪种容器来实现栈的功能。）

所以STL中栈往往不被归类为容器，而被归类为container adapter（容器适配器）。

那么问题来了，STL中栈是用什么容器实现的？

从下图中可以看出，栈的内部结构，栈的底层实现可以是vector，deque，list都是可以的，主要就是数组和链表的底层实现。

我们常用的SGI STL，如果没有指定底层实现的话，默认是以deque为缺省情况下栈的底层结构。

deque是一个双向队列，只要封住一段，只开通另一端就可以实现栈的逻辑了。

SGI STL中 队列底层实现缺省情况下一样使用deque实现的。

我们也可以指定vector为栈的底层实现，初始化语句如下：

std::stack<int, std::vector<int> > third;  // 使用vector为底层容器的栈

刚刚讲过栈的特性，对应的队列的情况是一样的。

队列中先进先出的数据结构，同样不允许有遍历行为，不提供迭代器，SGI TSL中队列一样是以deque为缺省情况下的底部结构。

也可以指定list为起底层实现，初始化queue的语句如下：

std::queue<int, std::list<int>> third;// 定义以list为底层容器的队列

所以STL队列也不被归类为容器，而被归类为container adapter（容器适配器）。

以上讲的都是C++语言中的情况，使用其他语言的同学也要思考栈与队列的底层实现问题，不要对数据结构的使用浅尝辄止，而要深挖其内部原理，才能夯实基础。

学习心得

数据结构没有学过，今天在学习过充逐步建立起了数据结构的概念和理解。数组、队列、栈这些就是数据结构。

不同数据结构的底层实现不同，这部分出现了新的词，不知道什么是STL，deque，缺省。

今天第一遍学习，给自己加油~~，坚持就是胜利。