stack和queue基础知识

目录

前言

一、stack和queue基础四问

二、回答

2.1 C++中stack，queue 是容器么？

2.2 我们使用的stack，queue是属于那个版本的STL？

2.3 我们使用的STL中stack，queue是如何实现的？

2.4 stack，queue 提供迭代器来遍历空间么？

三、总结

---

---

前言

在学习算法的过程中，对代码随想录里面的四个问题印象很深刻，从而想着记录一下，当作笔记

一、stack和queue基础四问

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

二、回答

2.1 C++中stack，queue 是容器么？

首先我们先回顾一下C++中STL里面的六大组件

1. Container(容器)    各种数据结构，常见容器类型为：顺序容器 （vector/deque/list）、关联容器  (map/set/multimap/multiset(红黑树)/unordered_map/unordered_set(哈希表))
2. Adapter(适配器)    一种用来修饰容器（Containers）或仿函数（Functors）或迭代器（Iterators）接口的东西，例如：STL提供的Queue和Stack
3. Algorithm(算法)  各种常用算法如Sort,Search,Copy,Erase,从实现的角度来看，STL算法是一种Function Templates。
4. Iterator(迭代器)   扮演容器与算法之间的胶合剂，是所谓的“泛型指针”，共有五种类型，以及其它衍生变化。
5. Function object(函数对象)   行为类似函数，可作为算法的某种策略（Policy）,从实现的角度来看，仿函数是一种重载了Operator()的Class 或 Class Template。一般函数指针可视为狭义的仿函数。
6. Allocator(分配器)  负责空间配置与管理，从实现的角度来看，配置器是一个实现了动态空间配置、空间管理、空间释放的Class Template。

然后我们就可以知道,stack他并不是容器，而是容器适配器，栈是以底层容器完成其所有的工作，对外提供统一的接口，底层容器是可插拔的（也就是说我们可以控制使用哪种容器来实现栈的功能）。

2.2 我们使用的stack，queue是属于那个版本的STL？

首先我们先来看一下三个最为普遍的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是开源软件，源码可读性甚高

我们目前大多数是使用的GCC，所以应该是属于SGI STL。

2.3 我们使用的STL中stack，queue是如何实现的？

我们常用的SGI STL，如果没有指定底层实现的话，默认是以deque为缺省情况下栈的底层结构。deque是一个双向队列，只要封住一段，只开通另一端就可以实现栈的逻辑了。SGI STL中 队列底层实现缺省情况下一样使用deque实现的。

但是我们也可以使用vector或list来为栈的底层实现

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

SGI STL中队列一样是以deque为缺省情况下的底部结构。也可以指定底层实现

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

2.4 stack，queue 提供迭代器来遍历空间么？

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

队列中先进先出的数据结构，同样不允许有遍历行为，不提供迭代器。

---

三、总结

可以出一道面试题：栈里面的元素在内存中是连续分布的么？

这个问题有两个陷阱：

• 陷阱1：栈是容器适配器，底层容器使用不同的容器，导致栈内数据在内存中是不是连续分布。
• 陷阱2：缺省情况下，默认底层容器是deque，那么deque的在内存中的数据分布是什么样的呢？ 答案是：不连续的，deque是可以两边扩展的，而且deque里元素并不是严格的连续分布的。

队列里面的问题：

1.那么这个维护元素单调递减的队列就叫做单调队列，即单调递减或单调递增的队列。C++中没有直接支持单调队列，需要我们自己来一个单调队列

而且不要以为实现的单调队列就是 对窗口里面的数进行排序，如果排序的话，那和优先级队列又有什么区别了呢。

设计单调队列的时候，pop，和push操作要保持如下规则：

1. pop(value)：如果窗口移除的元素value等于单调队列的出口元素，那么队列弹出元素，否则不用任何操作
2. push(value)：如果push的元素value大于入口元素的数值，那么就将队列出口的元素弹出，直到push元素的数值小于等于队列入口元素的数值为止

2.通过求前 K 个高频元素，引出另一种队列就是优先级队列。

1. 要统计元素出现频率
2. 对频率排序
3. 找出前K个高频元素

1.统计元素出现的频率，这一类的问题可以使用map来进行统计。

2.对频率进行排序，这里我们可以使用一种 容器适配器就是优先级队列。

3.要用小顶堆，因为要统计最大前k个元素，只有小顶堆每次将最小的元素弹出，最后小顶堆里积累的才是前k个最大元素。

什么是优先级队列呢？

其实就是一个披着队列外衣的堆，因为优先级队列对外接口只是从队头取元素，从队尾添加元素，再无其他取元素的方式，看起来就是一个队列。

而且优先级队列内部元素是自动依照元素的权值排列。那么它是如何有序排列的呢？

缺省情况下priority_queue利用max-heap（大顶堆）完成对元素的排序，这个大顶堆是以vector为表现形式的complete binary tree（完全二叉树）。

什么是堆呢？

堆是一棵完全二叉树，树中每个结点的值都不小于（或不大于）其左右孩子的值。 如果父亲结点是大于等于左右孩子就是大顶堆，小于等于左右孩子就是小顶堆。

所以大家经常说的大顶堆（堆头是最大元素），小顶堆（堆头是最小元素），如果懒得自己实现的话，就直接用priority_queue（优先级队列）就可以了，底层实现都是一样的，从小到大排就是小顶堆，从大到小排就是大顶堆。