stack容器

stack 基本概念

栈中只有顶端的元素才可以被外界使用，因此栈不允许有遍历行为。
栈中进入数据称为 — 入栈 push

栈中弹出数据称为 — 出栈 pop

常用接口

构造函数

• stack<T> stk; //stack采用模板类实现， stack对象的默认构造形式
• stack(const stack &stk); //拷贝构造函数

赋值操作

• stack& operator=(const stack &stk); //重载等号操作符

数据存取

• push(elem) //向栈顶添加元素
• pop(); //从栈顶移除元素
• top(); //返回栈顶元素

大小操作

• empty; //返回堆栈是否为空
• size(); //返回栈的大小

queue容器

队列容器允许从一端新增元素，从另一端移除元素

队列中只有队头和队尾才可以被外界使用，因此队列不允许有遍历行为

队列中进数据称为 — 入队 push

队列中出数据称为 — 出队 pop

queue常用接口

构造函数

• queue<T> que; //queue采用模板类实现，queue对象的默认构造形式
• queue(const queue &que); //拷贝构造函数

赋值操作

• queue& operator=(const queue &que); //重载等号操作符

数据存取

• push(elem); //往队尾添加元素
• pop(); //从队头移除第一个元素
• back(); //返回最后一个元素
• front(); //返回第一个元素

大小操作

• empty(); //判断堆栈是否为空
• size(); //返回栈的大小

栈和队列的灵魂四问

该部分参考代码随想录文章

C++中stack,queue是容器吗

STL中栈和队列都是以底层容器完成其所有的工作，对外提供统一的接口，底层容器是可插拔的（也就是说我们可以控制使用哪种容器来实现栈的功能）。
所以他们被归类为contaner adapter(容器适配器)

我们使用的stack,queue属于哪个版本的STL

介绍一下，三个最为普遍的STL版本：

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

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

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

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

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

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

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

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

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

stack,queue提供迭代器来遍历空间吗

栈和队列分别是先进后出和先进先出的数据结构，都不提供走访功能，也不提供迭代器(iterator)

加一问:栈里面的元素在内存中是连续分布的么

• 陷阱1:栈是容器适配器，底层容器使用不同的容器，导致栈内数据在内存中不一定是连续分布的。
• 陷阱2:缺省情况下，默认底层容器是deque，那么deque在内存中的分布是什么样的呢？答案是：不连续的。

单调队列

定义

单调队列也是一种常用的数据结构，但是在C++中并没有这类数据结构的实现。

单调队列的单调在于其内部的元素始终按照一定的单调性（递增或递减）排列。

始终按照是什么意思呢？即在每次加入或者删除元素时都保持序列里的元素有序，即队首元素始终是最小值或者最大值，这个功能非常重要，单调队列我们就是使用的这个功能。
这种数据结构通常用于解决滑动窗口类型的问题，可以在 O(1) 时间复杂度内给出当前窗口的最大值或最小值。

实现

在实现时，需要保证队列的单调性：对于一个单调递增的队列，新进入队列的元素如果小于队尾的元素，那么队尾的元素将会被移除，直到队列单调或者队列为空。这样，队头元素始终是当前窗口的最小值。单调递减队列则相反。
例子如下所示：

1: 5
2: 8
3: 8 2
4: 8 4
5: 8 4 1

详细过程如下：

1.首先队列里面没有元素，5加进去。
2.第二个元素8大于队尾的元素，所以5要弹出去，8加进去。保持队首最大
3.第三个元素2小于队尾元素8，可以加进去，变为8 2
4.4大于队尾元素2，2弹出，4小于8，8不弹出，4加进去
5.1小于队尾元素4，1加进去，最后队列为8 4 1

代码实现

单调队列的实现通常使用双端队列（deque），它允许在队列的前端和后端都可以进行元素的添加和删除操作

#include <deque>
#include <vector>template<typename T>
class MonotonicQueue {
private:std::deque<T> data;public:// Push an element on the queue. Remove elements smaller than the incoming one// to maintain the monotonic property.void push(T val) {while (!data.empty() && data.back() < val) {data.pop_back();}data.push_back(val);}// Return the maximum elementT max() const {return data.front();}// Pop an element from the queuevoid pop(T val) {if (!data.empty() && data.front() == val) {data.pop_front();}}
};

基本应用一：滑动窗口

文章链接
给你一个整数数组 nums，有一个大小为 k 的滑动窗口从数组的最左侧移动到数组的最右侧。你只可以看到在滑动窗口内的 k 个数字。滑动窗口每次只向右移动一位。

思路与算法

由于我们需要求出的是滑动窗口的最大值，如果当前的滑动窗口中有两个下标 i和 j，其中 i 在 j 的左侧（i<j），并且 i 对应的元素不大于 j 对应的元素（nums[i]≤nums[j]），那么会发生什么呢？

当滑动窗口向右移动时，只要i还在窗口中，那么 j 一定也还在窗口中，这是 i 在 j 的左侧所保证的。因此，由于 nums[j]的存在，nums[i] 一定不会是滑动窗口中的最大值了，我们可以将 nums[i]永久地移除。

因此我们可以使用单调队列存储所有还没有被移除的下标。在单调队列中，这些下标按照从小到大的顺序被存储，并且它们在数组nums中对应的值是严格单调递减的。因为如果队列中有两个相邻的下标，它们对应的值相等或者递增，那么令前者为i，后者为 j，就对应了上面所说的情况，即 nums[i]会被移除，这就产生了矛盾。

当滑动窗口向右移动时，我们需要把一个新的元素放入队列中。为了保持队列的性质，我们会不断地将新的元素与队尾的元素相比较，如果前者大于等于后者，那么队尾的元素就可以被永久地移除，我们将其弹出队列。我们需要不断地进行此项操作，直到队列为空或者新的元素小于队尾的元素。

由于队列中下标对应的元素是严格单调递减的，因此此时队首下标对应的元素就是滑动窗口中的最大值。不过此时的最大值可能在滑动窗口左边界的左侧，并且随着窗口向右移动，它永远不可能出现在滑动窗口中了。因此我们还需要不断从队首弹出元素，直到队首元素在窗口中为止。

链接：力扣官方题解

class Solution {
public:vector<int> maxSlidingWindow(vector<int>& nums, int k) {int n = nums.size();deque<int> q;//先把第一波滑动窗口的值填入。for (int i = 0; i < k; ++i) {while (!q.empty() && nums[i] >= nums[q.back()]) {q.pop_back();}q.push_back(i);}vector<int> ans = {nums[q.front()]};for (int i = k; i < n; ++i) {while (!q.empty() && nums[i] >= nums[q.back()]) {q.pop_back();}q.push_back(i);while (q.front() <= i - k) {q.pop_front();}ans.push_back(nums[q.front()]);}return ans;}
};

优先级队列

定义

优先级队列是一种抽象数据类型，它支持普通队列的基本操作，如入队和出队。不过，在优先级队列中，每个元素都有一定的“优先级”，出队操作会移除具有最高优先级的元素，而不是最先进入队列的元素。这种队列通常用于任务调度、带优先级的待办事项管理等场合。

在 C++ 中，优先级队列通常通过使用二叉堆（特别是大顶堆或小顶堆）来实现，而且标准库 <queue> 中已经提供了模板类 std::priority_queue。

std::priority_queue 是一个容器适配器，它提供了某种特定服务策略（默认为最大堆）排序的队列。

std::priority_queue 默认情况下使用一个 std::vector 作为底层容器，并使用 std::less 作为比较函数，这意味着元素是按照严格弱序（默认为大顶堆，即最大的元素总是在队列前端）排序的。

#include <iostream>
#include <queue>// 默认情况下，C++使用最大堆实现优先级队列
std::priority_queue<int> max_heap;// 使用最小堆实现优先级队列
std::priority_queue<int, std::vector<int>, std::greater<int>> min_heap;

那么问题来了，大顶堆和小顶堆又是什么呢？

大顶堆（最大堆）、小顶堆（最小堆）

堆的概念：堆具有结构性，也就是它是采用数组表示的完全二叉树。堆还具有有序性，也就是根节点大于子节点（或者小于子节点）。

通过根节点大于子节点（或小于子节点），又可以将堆分为大顶堆和小顶堆

大顶堆：又称为最大堆，也就是树中所有父节点都要大于或等于子节点

小顶堆：又称为最小堆，也就是树中所有父节点都要小于或等于子节点

原文链接

实现

#include <iostream>
#include <queue>// 默认情况下，C++使用最大堆实现优先级队列
std::priority_queue<int> max_heap;// 使用最小堆实现优先级队列
std::priority_queue<int, std::vector<int>, std::greater<int>> min_heap;

基本操作

• top:返回优先队列中具有最高优先级的元素。对于最大堆实现的优先队列，这将是最大的元素；对于最小堆实现，则是最小的元素。
• push:向优先队列中添加一个元素。新元素的位置将根据其优先级与其他元素的比较结果来确定。
• pop: 移除具有最高优先级的元素。在最大堆优先队列中，这通常是最大元素；在最小堆中，是最小元素。
• empty: 检查优先队列是否为空。如果队列为空，返回 true；否则返回 false。
• size: 返回优先队列中元素的个数。
• emplace:这个方法可以用来直接在优先队列的底层容器中就地构造一个新元素，这样可以避免额外的拷贝或移动操作。

push和emplace

与 push 方法相比，emplace 方法可以更高效地添加元素，特别是当队列中的对象较大或拥有非平凡的构造函数时。emplace 方法接受与元素构造函数相同的参数，并且在队列的适当位置直接构造对象。

#include <iostream>
#include <queue>
#include <string>int main() {std::priority_queue<std::string> pq;// 直接在优先队列中构造元素pq.emplace("orange");pq.emplace("strawberry");pq.emplace("apple");std::cout << "The top element is " << pq.top() << '\n';return 0;
}

在这个例子中，emplace 用于直接在优先队列中构造 std::string 对象。这避免了创建临时 std::string 对象并将它们推入队列的需要。这样不仅提高了效率，而且也使代码更加简洁。

基本应用一：滑动窗口

文章链接
给你一个整数数组 nums，有一个大小为 k 的滑动窗口从数组的最左侧移动到数组的最右侧。你只可以看到在滑动窗口内的 k 个数字。滑动窗口每次只向右移动一位。

思路与算法

对于「最大值」，我们可以想到一种非常合适的数据结构，那就是优先队列（堆），其中的大根堆可以帮助我们实时维护一系列元素中的最大值。

初始时，我们将数组 nums的前 k 个元素放入优先队列中。每当我们向右移动窗口时，我们就可以把一个新的元素放入优先队列中，此时堆顶的元素就是堆中所有元素的最大值。然而这个最大值可能并不在滑动窗口中，在这种情况下，这个值在数组 nums中的位置出现在滑动窗口左边界的左侧。因此，当我们后续继续向右移动窗口时，这个值就永远不可能出现在滑动窗口中了，我们可以将其永久地从优先队列中移除。

我们不断地移除堆顶的元素，直到其确实出现在滑动窗口中。此时，堆顶元素就是滑动窗口中的最大值。为了方便判断堆顶元素与滑动窗口的位置关系，我们可以在优先队列中存储二元组 (num,index)，表示元素 num在数组中的下标为 index。

class Solution {
public:vector<int> maxSlidingWindow(vector<int>& nums, int k) {int n = nums.size();priority_queue<pair<int, int>> q;	//pair<int, int>将数组的值和对应的索引捆绑在一起for (int i = 0; i < k; ++i) {q.emplace(nums[i], i);}vector<int> ans = {q.top().first};for (int i = k; i < n; ++i) {q.emplace(nums[i], i);	//每次迭代将新元素和其索引加入优先级队列中。while (q.top().second <= i - k) {//在这个循环中，移除所有不再属于当前滑动窗口的元素//q.top().second 是队列顶部元素的索引，//如果它小于或等于 i - k，那么这个元素就不在窗口 [i - k + 1, i] 范围内，//因此需要将其从队列中弹出。q.pop();}ans.push_back(q.top().first);}return ans;}
};

链接：力扣官方题解