【c++】深入剖析与动手实践:C++中Stack与Queue的艺术

news2025/1/21 7:58:51

Alt

🔥个人主页Quitecoder

🔥专栏c++笔记仓

Alt

朋友们大家好,本篇文章我们来到STL新的内容,stack和queue

目录

  • 1. stack的介绍与使用
    • `函数介绍`
    • `例题一:最小栈`
    • `例题二:栈的压入、弹出队列`
    • `栈的模拟实现`
  • 2.queue的介绍和使用
    • `deque的介绍`
      • `deque的缺陷`
    • `queue的模拟实现`

1. stack的介绍与使用

在这里插入图片描述

  1. stack是一种容器适配器,专门用在具有后进先出操作的上下文环境中,其删除只能从容器的一端进行元素的插入与提取操作。
  2. stack是作为容器适配器被实现的,容器适配器即是对特定类封装作为其底层的容器,并提供一组特定的成员函数来访问其元素,将特定类作为其底层的,元素特定容器的尾部(即栈顶)被压入和弹出
  3. stack的底层容器可以是任何标准的容器类模板或者一些其他特定的容器类,这些容器类应该支持以下操作:
    • empty:判空操作
    • back:获取尾部元素操作
    • push_back:尾部插入元素操作
    • pop_back:尾部删除元素操作
  4. 标准容器vector、deque、list均符合这些需求,默认情况下,如果没有为stack指定特定的底层容器,默认情况下使用deque

在这里插入图片描述

函数介绍

🔥构造函数

在这里插入图片描述

explicit stack (const container_type& ctnr = container_type());

这个构造函数定义的是 std::stack 类模板的一个构造函数,它接受一个参数,类型是 container_type。这里的 container_typestd::stack 的成员类型,它表示用于内部存储的容器类型,通常是某种顺序容器比如 std::dequestd::liststd::vector

关键字 explicit 表示这个构造函数禁止隐式类型转换。换句话说,你不能隐式地从 container_type 赋值给 std::stack 对象,而必须显式地调用构造函数:

std::deque<int> mydeque(3,100);          // deque with 3 elements
std::stack<int> first (mydeque);          // stack initialized to copy of deque

上面的代码中,我们创建了一个 std::deque<int> 对象 mydeque,然后使用它显式地构造一个 std::stack<int> 对象 first。如果没有 explicit 关键字,下面的代码也是有效的:

std::stack<int> myStack = mydeque; // 这一行在 explicit 关键字存在时是不合法的

但有 explicit 关键字时,这种隐式转换就会产生编译错误。

构造函数的参数 ctnr 还有一个默认值 container_type()。这表示如果在构造 std::stack 对象时没有提供参数,将会使用 container_type 的默认构造函数创建一个新的空容器作为 std::stack 的内部存储。这允许你像下面这样简单地创建一个空栈:

std::stack<int> myStack; // 空栈,使用默认的底层容器(通常是 std::deque)

在这种情况下,myStack 是空的,因为没有向构造函数传递任何参数,它会使用底层容器类型的默认构造函数创建一个空的内部容器

🔥empty()

在这里插入图片描述

检测stack是否为空

🔥size()

返回stack中元素的个数

🔥top()

在这里插入图片描述

返回栈顶元素的引用

🔥push()

在这里插入图片描述

将元素val压入stack中

🔥pop()

在这里插入图片描述

将stack中尾部的元素弹出

例题一:最小栈

题目链接:155.最小栈
题目描述在这里插入图片描述

为了实现上面这个栈,我们需要使用两个栈

stack<int> s1;
stack<int> s2;
  1. s1 是一个标准的栈,它用于按照后进先出的顺序存储所有推入的元素
  2. s2 是一个辅助栈,它用于跟踪 s1 中所有元素的最小值
  • MinStack():构造函数,初始化两个空栈 s1s2

  • void push(int val):在 s1 中推入 val。如果 s2 为空或者 val 小于等于 s2 的栈顶元素,也将 val 推入 s2这保证 s2 的栈顶元素始终是 s1 中当前所有元素的最小值

  • void pop()s1 中弹出一个元素。如果 s1 的栈顶元素与 s2 的栈顶元素相等,说明 s1 弹出的元素是当前的最小值,因此也需要在 s2 中弹出栈顶元素

  • int top()返回 s1 的栈顶元素,即 MinStack 的栈顶元素

  • int getMin()返回 s2 的栈顶元素,即 s1 中当前所有元素的最小值

代码实现如下:

class MinStack {
public:
    MinStack() {
    } 
    void push(int val) {
        s1.push(val);
        if(s2.empty()||s2.top()>=val)
        {
            s2.push(val);
        }
    }
    void pop() {
        if(s1.top()==s2.top())
        {
            s2.pop();
        }
        s1.pop();
    }
    
    int top() {
        return s1.top();
    }
    
    int getMin() {
       return s2.top();
    }
private:
    stack<int> s1;
    stack<int> s2;
};

例题二:栈的压入、弹出队列

题目链接:牛客
题目描述在这里插入图片描述

该函数的目的是检查给定的出栈顺序 popV 是否能由相应的入栈顺序 pushV 实现。换句话说,函数判断是否存在某种方式,使得按 pushV 指定的顺序入栈后,能够按 popV 指定的顺序出栈

代码实现如下:

class Solution {
public:
    bool IsPopOrder(vector<int>& pushV, vector<int>& popV) {
        int pushi=0,popi=0;
        stack<int> s;
        while(pushi<pushV.size())
        {
            s.push(pushV[pushi]);
            while(!s.empty()&&s.top()==popV[popi])
            {
                s.pop();
                popi++;
            }
            pushi++;
        }
        return s.empty();
    }
};

函数的实现逻辑如下:

  1. 初始化两个整型指针 pushipopi 分别为 0,表示入栈和出栈序列的开始索引

  2. 创建一个辅助的栈 s 用于模拟入栈和出栈的过程

  3. 使用一个 while 循环开始模拟入栈的过程,只要 pushi 没有指向 pushV 结尾就继续循环

  4. 在每次循环中,将 pushV 中当前位置 pushi 的元素推入栈 s

  5. 然后,使用一个内部 while 循环检查此时栈顶元素是否等于 popV 中相应位置 popi 的元素:

    • 如果相等,则从栈 s 中弹出栈顶元素,并将 popi 指针后移一位以检查下一个出栈元素
    • 如果不相等或栈已空,则中断内部 while 循环
  6. 在外部 while 循环结束一次循环之后,将 pushi 指针后移一位继续下一轮入栈操作

  7. 最后,当外部 while 循环结束时,检查栈 s 是否为空:

    • 如果栈为空,表示所有入栈的元素都能按 popV 指定的顺序出栈,返回 true
    • 如果栈不为空,表示存在无法按给定出栈顺序出栈的元素,返回 false

栈的模拟实现

namespace own
{	
	// 设计模式
	// 适配器模式 -- 转换
	// stack<int, vector<int>> st1;
	// stack<int, list<int>> st2;
	template<class T, class Container = vector<T>>
	class stack
	{
	public:
		void push(const T& x)
		{
			_con.push_back(x);
		}

		void pop()
		{
			_con.pop_back();
		}

		size_t size()
		{
			return _con.size();
		}

		bool empty()
		{
			return _con.empty();
		}

		const T& top()
		{
			return _con.back();
		}
	private:
		Container _con;
	};
}

上面的实现是简单地展示了如何用C++模板和通用编程的原则来定义一个通用的栈类,这个栈类被称为适配器。在这种上下文中,“适配器模式”是一种设计模式的用词。

在面向对象的设计模式中,适配器模式(Adapter Pattern)通常用来将一个类的接口转换成客户期望的另一个接口。适配器让那些由于接口不兼容而不能一起工作的类可以一起工作

在容器类库设计中(如标准模板库 STL 中的容器),适配器模式通常用于通过已有的容器类型(如vector, deque, list等),来实现某种特定的抽象数据类型(如栈、队列等)的接口。这样的做法使我们能够重用现有代码,并提供更丰富的操作

在上面的代码段中:

  • 定义了 stack 模板类,它接收两个模板参数:
    • T: 栈中元素的类型。
    • Container: 底层容器的类型,默认是 vector<T>

Container 是一个模板参数,它允许我们定义底层数据结构。默认使用 std::vector<T> 作为底层容器,但我们可以指定 std::deque<T>std::list<T>等容器,这是适配器模式的应用之一,我们可以切换不同的底层实现,不改变栈的接口

  • stack 类包含如下成员函数:

    • push: 向栈中添加元素
    • pop: 从栈中移除顶部元素
    • size: 返回栈中元素的数量
    • empty: 检查栈是否为空
    • top: 返回栈顶元素的引用
  • 这些成员函数中的每一个都直接调用了底层容器 Container 实例 _con 的相应操作函数,这样 stack 就提供了类似栈的接口

这个适配器堆栈类可以看作是对底层容器的一个封装,它只暴露了限定的一组操作(栈操作),提供了符合 LIFO(后进先出)原则的栈

总结来说,这个 stack 类是一个栈适配器,它利用模板为不同的底层容器提供了统一的栈接口。可以选择使用 vectordequelist等容器作为存储机制,并且无需修改外部代码

2.queue的介绍和使用

在这里插入图片描述

  1. 队列是一种容器适配器,专门用于在FIFO上下文(先进先出)中操作,其中从容器一端插入元素,另一端提取元素
  2. 队列作为容器适配器实现,容器适配器即将特定容器类封装作为其底层容器类,queue提供一组特定的成员函数来访问其元素。元素从队尾入队列,从队头出队列。
  3. 底层容器可以是标准容器类模板之一,也可以是其他专门设计的容器类。该底层容器应至少支持以下操作:
    • empty:检测队列是否为空
    • size:返回队列中有效元素的个数
    • front:返回队头元素的引用
    • back:返回队尾元素的引用
    • push_back:在队列尾部入队列
    • pop_front:在队列头部出队列
  4. 标准容器类deque和list满足了这些要求。默认情况下,如果没有为queue实例化指定容器类,则使用标准容器deque
函数声明接口说明
queue()构造空的队列
empty()检测队列是否为空,是返回true,否则返回false
size()返回队列中有效元素的个数
front()返回队头元素的引用
back()返回队尾元素的引用
push()在队尾将元素val入队列
pop()将队头元素出队列

deque的介绍

deque 成为双端队列,是一种序列容器,在两端都支持高效的元素插入和删除操作。

std::vector 相比,std::deque 提供类似的功能,但在许多实现中,deque 是由多个固定大小的数组(通常被称为块或段)组成的动态数组。这允许在两端进行快速的插入和删除操作,而不必像 std::vector 在插入(或删除)元素时将所有元素向前或向后移动。

deque 的主要特点和功能包括:

  1. 双端操作:可以在队列的前端和后端进行插入 (push_front, emplace_front) 和删除 (pop_front) 操作
    在这里插入图片描述

  2. 序列访问:可以使用下标操作符 (operator[]) 或一系列迭代器访问 deque 中的元素

  3. 迭代器失效:在两端添加或删除元素通常不会使迭代器失效,但是在 deque 中除了首尾外的任何位置插入或删除元素都可能使所有迭代器失效。这取决于具体的实现。

  4. 内存分配deque 不保证所有元素都连续存储,因此不能依赖像 std::vector 那样的内存连续性

  5. 性能:在两端插入或删除元素通常是常数时间复杂度 O(1),但是在中间位置插入或删除元素的时间复杂度通常是线性的 O(n),这取决于插入位置与最近端点的距离

在这里插入图片描述
vector的优点在于能支持下标随机访问,缺点是头部或中间插入删除的效率低,扩容有消耗

list的优点在于任意位置插入删除的效率都不错,缺点就是不支持下标的随机访问

而deque可以看做vector和list的加强版,既支持下标访问,又支持头插头删

deque并不是真正连续的空间,而是由一段段连续的小空间拼接而成的,实际deque类似于一个动态的二维数组

std::deque 的常见实现方式是使用一系列的固定大小的数组(称为缓冲区或块),这些数组被指针所管理,这些指针通常保存在一个或多个中央数组中。这种实现允许在 deque 的两端都高效地添加或删除元素,而无需移动所有元素

在这里插入图片描述

双端队列底层是一段假象的连续空间,实际是分段连续的,为了维护其“整体连续”以及随机访问的假象,落在了deque的迭代器身上,因此deque的迭代器设计就比较复杂

在这里插入图片描述
中控数组满了就扩容,它的消耗会小很多

在这里插入图片描述
它的迭代器有四个指针

  • start指向指向第一个buff的第一个数据
  • finish指向最后一个buff的最后一个数据的下一个位置

deque的缺陷

与vector比较,deque的优势是:头部插入和删除时,不需要搬移元素,效率特别高,而且在扩容时,也不需要搬移大量的元素,因此其效率是必vector高的。

与list比较,其底层是连续空间,空间利用率比较高,不需要存储额外字段

但是,deque有一个致命缺陷:不适合遍历,因为在遍历时,deque的迭代器要频繁的去检测其是否移动到某段小空间的边界,导致效率低下,而序列式场景中,可能需要经常遍历,因此在实际中,需要线性结构时,大多数情况下优先考虑vector和list,deque的应用并不多,而目前能看到的一个应用就是,STL用其作为stackqueue的底层数据结构

为什么选择deque作为stack和queue的底层默认容器?

stack是一种后进先出的特殊线性数据结构,因此只要具有push_back()pop_back()操作的线性结构,都可以作为stack的底层容器,比如vector和list都可以;queue是先进先出的特殊线性数据结构,只要具有push_backpop_front操作的线性结构,都可以作为queue的底层容器,比如list。但是STL中对stack和
queue默认选择deque作为其底层容器,主要是因为:

  1. stack和queue不需要遍历(因此stack和queue没有迭代器),只需要在固定的一端或者两端进行操作
  2. 在stack中元素增长时,deque比vector的效率高(扩容时不需要搬移大量数据);queue中的元素增长时,deque不仅效率高,而且内存使用率高

结合了deque的优点,而完美的避开了其缺陷

queue的模拟实现

#include<deque>
#include<list>
namespace own
{
    template<class T, class Con = deque<T>>
    class queue
    {
    public:
        queue() {}
        void push(const T& x) { _c.push_back(x); }
        void pop() { _c.pop_front(); }
        T& back() { return _c.back(); }
        const T& back()const { return _c.back(); }
        T& front() { return _c.front(); }
        const T& front()const { return _c.front(); }
        size_t size()const { return _c.size(); }
        bool empty()const { return _c.empty(); }
    private:
        Con _c;
    };
}

本节内容到此结束!!感谢大家阅读

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/1628738.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

架构师系列- 消息中间件(15)-kafka业务实战

7.1 顺序性场景 7.1.1 场景概述 假设我们要传输一批订单到另一个系统&#xff0c;那么订单对应状态的演变是有顺序性要求的。 已下单 → 已支付 → 已确认 不允许错乱&#xff01; 7.1.2 顺序级别 1&#xff09;全局有序&#xff1a; 串行化。每条经过kafka的消息必须严格…

系统设计 --- E2E Test System

系统设计 --- E2E Test System 什么是E2EE2E Architecture Example 什么是E2E E2E&#xff08;端到端&#xff09;测试是一种软件测试方法&#xff0c;旨在模拟真实的用户场景&#xff0c;测试整个应用程序或系统的端到端功能和交互流程。E2E 测试涵盖了从用户界面到后端系统的…

uniapp获取当前位置及检测授权状态

uniapp获取当前位置及检测授权定位权限 文章目录 uniapp获取当前位置及检测授权定位权限效果图创建js文件permission.jslocation.js 使用 效果图 Android设备 点击 “设置”&#xff0c;跳转应用信息&#xff0c;打开“权限即可”&#xff1b; 创建js文件 permission.js 新建…

视频怎么批量压缩?5个好用的电脑软件和在线网站

视频怎么批量压缩&#xff1f;有时候我们需要批量压缩视频来节省存储空间&#xff0c;便于管理文件和空间&#xff0c;快速的传输发送给他人。有些快捷的视频压缩工具却只支持单个视频导入&#xff0c;非常影响压缩效率&#xff0c;那么今天就向大家从软件和在线网站2个角度介绍…

ProcessOn已凉,绘图就用谷歌云盘+draw.io达到了巅峰

神器draw.io 首先&#xff1a;对不起ProcessOn&#xff0c;无意冒犯&#xff0c;ProcessOn并没有凉&#xff0c;而且还一直在用。谁让你们火呢&#xff0c;借词一用&#xff0c;哈哈哈哈。 4年前我用谷歌云盘时就无意间发现了draw.io这个绘图工具。 先说下如何发现的&#x…

NumPy 1.26 中文官方指南(一)

NumPy 用户指南 原文&#xff1a;numpy.org/doc/1.26/user/index.html 本指南是一个概述&#xff0c;解释了重要特性&#xff1b;细节请参阅 NumPy 参考文档。 入门指南 什么是 NumPy? 安装 NumPy 快速入门 NumPy&#xff1a;初学者的绝对基础 基础知识和用法 NumPy 基础…

java数据结构泛型

泛型 一.了解包装类二.基本数据类型对应的包装类三.装箱与拆箱四.什么是泛型&#xff1f;五.语法六.泛型类使用七.泛型的上界八.泛型方法 在学习泛型之前,我们需要先了解一下包装类。 一.了解包装类 在Java中&#xff0c;由于基本类型不是继承自Object&#xff0c;为了在泛型代…

爬虫的实战应用之短信炸弹playwright现代网页测试工具

不讲废话&#xff0c;先上原理&#xff1a; 短信炸弹&#xff0c;也就是说持续对一个手机进行发送短信&#xff0c;实现的方式就是&#xff0c;利用某些网站的登录 &#xff0c;注册的时候&#xff0c;发送短信验证码来实现。 如下图&#xff0c;其中有一个id为phone的输入框&a…

golang beego结合wire依赖注入及自动路由

1 安装wire 1.1 通过命令直接安装 go install github.com/google/wire/cmd/wirelatest 1.2 通过go get方式安装 go get github.com/google/wire/cmd/wire进入目录编译 cd C:\Users\leell\go\pkg\mod\github.com\google\wirev0.6.0\cmd\wire go build 然后将wire.exe移动到…

代码随想录:二叉树22-24

目录 700.二叉搜索树的搜索 题目 代码&#xff08;二叉搜索树迭代&#xff09; 代码&#xff08;二叉搜索树递归&#xff09; 代码&#xff08;普通二叉树递归&#xff09; 代码&#xff08;普通二叉树迭代&#xff09; 98.验证二叉搜索树 题目 代码&#xff08;中序递…

嵌入式全栈开发学习笔记---Linux基本命令2

目录 cp 源路径 目的路径 cp -r 源路径 目的路径 mv 源路径 目的路径 mv oldname newname 接下来我们继续介绍两个常用的命令 一个是拷贝文件&#xff0c;一个是剪切文件 &#xff0c;或者也可以用来改名字。 cp 源路径 目的路径 “cp”用来拷贝文件或者目录&#xff0c;…

Swagger3.0(Springdoc)日常使用记录

文章目录 前言一、默认地址二、注解OperationTag 三、SpringBoot基础配置四、Swagger导入apifox五、Swagger其他配置六 knife4j 参考文章 前言 本文并不是Swagger的使用教程&#xff0c;只是记录一下本人的操作&#xff0c;感兴趣的可以看下 一、默认地址 http://localhost:…

38-数组 _ 一维数组

38-1 数组的创建 数组是一组相同类型元素的集合。 数组的创建方式&#xff1a; type_t arr_name [const_n]; //type_t 是指数组的元素类型 //const_n是一个常量表达式&#xff0c;用来指定数组的大小 举例&#xff1a; int arr[10]; char ch[5]; double data[20]; 问&…

Vue基础:为什么要学Vue3,Vue3相较于Vue2有那些优势?

为什么要学Vue3&#xff1f; 1.框架层面 1.响应式底层API的变化 Proxy 数组下标的修改 对象动态添加属性 解释说明&#xff1a;1.vue2采用的是Object.definePrototype&#xff0c;它每次只能对单个对象中的单个数据进行劫持&#xff0c;所以在Vue2中data()中的数据一多就要进行…

香港BTC、ETH现货ETF同时通过,对行业意义几何?

香港比美国更快一步通过以太坊现货 ETF。 2024 年 4 月 15 日&#xff0c;香港嘉实国际资产管理有限公司&#xff08;Harvest Global Investments&#xff09;今天宣布&#xff0c;得到香港证监会的原则上批准&#xff0c;将推出两大数字资产&#xff08;比特币及以太坊&#…

计算公式基础

文章目录 MASMAEXMPA加权移动平均线成交量换手率MACDKDJ MA 均线一般指移动平均线。 移动平均线&#xff0c;Moving Average&#xff0c;简称MA&#xff0c;MA是用统计分析的方法&#xff0c;将一定时期内的证券价格&#xff08;指数&#xff09;加以平均&#xff0c;并把不同…

RabbitMQ工作模式(5) - 主题模式

概念 主题模式&#xff08;Topic Exchange&#xff09;是 RabbitMQ 中一种灵活且强大的消息传递模式&#xff0c;它允许生产者根据消息的特定属性将消息发送到一个交换机&#xff0c;并且消费者可以根据自己的需求来接收感兴趣的消息。主题交换机根据消息的路由键和绑定队列的路…

梦境绘师:揭秘生成对抗网络(GAN)的魔法

梦境绘师&#xff1a;揭秘生成对抗网络&#xff08;GAN&#xff09;的魔法 1 引言 在今日的深度学习领域&#xff0c;生成对抗网络&#xff08;GAN&#xff09;已成为一项无人能外的技术&#xff0c;以其独特的数据生成能力俘获了无数研究者和工程师的心。这项技术不仅在理论上…

Golang基础2-Array、Slice、Map

Array 数组 var a [5]int b:[5]int{} c:[...]int{}这样格式定义var a[5]int 和var a[10]int是不同类型从0开始下标&#xff0c;到len(a)-1遍历方式&#xff1a; for i : 0; i < len(a); i { }for index, v : range a { } 注意越界问题&#xff0c;panic值类型&#xff0c;…

知识图谱嵌入领域的重要研究:编辑基于语言模型的知识图谱嵌入

今天&#xff0c;向大家介绍一篇在知识图谱嵌入领域具有重要意义的研究论文——Editing Language Model-based Knowledge Graph Embeddings。这项工作由浙江大学和腾讯公司的研究人员联合完成&#xff0c;为我们在动态更新知识图谱嵌入方面提供了新的视角和方法。 研究背景 在…