草庐IT

【C++】deque的实现原理简单介绍

看到我请叫我滚去学习Orz 2024-05-08 原文

前言

deque被称为双端队列,它的出现主要是为了结合vectorlist的优点并减小它们的缺点,实际上deque确实结合了vectorlist的优点减小了它们的缺点,但是它的结合也让它自己的优点没有原始的vectorlist那么极致,导致deque变得很中庸,所以deque的应用场景也并没有那么多,它经常被用来作为stackqueue的底层容器

本篇文章我们来一起简单探讨一下deque的实现原理

deque的简单介绍

一、deque的原理介绍

deque(双端队列):是一种双开口的" 连续 "空间的数据结构,双开口的含义是:可以在头尾两端进行插入和删除操作,且时间复杂度为O(1),与vector比较,头插效率高,不需要搬移元素;与list比较,空间利用率比较高,不太容易造成内存碎片。

其实deque并不是真正连续的空间,而是由一段段连续的小空间拼接而成的,实际deque类似于一个动态的二维数组,其底层结构如下图所示:

当中控数组满了,我们也只需要对中控数组进行扩容,然后拷贝指针就行了,并不需要对真正存储数据的小数组做改动,这大大减少了拷贝数据的个数。

二、deque的一些基本特性

1、deque的随机访问

deque的随机访问有两种情况: 这与deque中的小数组的大小是否固定有关。

  • 假设我们deque中的小数组是固定大小,不能进行扩容,那么我们就可以使用除模运算进行随机访问,假设想要访问的位置是 x x x,第一个数组中的元素个数是 y y y,数组的大小固定为 n n n,想要访问的小数组是从第二个数组开始第 r o w row row个,想要访问的位置在对应小数组的第 c o l col col个。

    我们就可以通过 r o w = ( x − y ) / n row = (x - y)/n row=(xy)/n c o l = ( x − y ) % n col = (x-y)\%n col=(xy)%n从而确定我们想要访问的位置。时间复杂度是 O ( 1 ) O(1) O(1)

  • 假设我们deque的小数组可以扩容,我们的中控数组可以存放一个自定义类型,自定义类型里面有指针也有对应小数组中数据的个数。那么我们就要用从第一个数组的个数 +第二个数组的个数 +第三个数组的长度 + …直到加到某个数组时大于我们想要访问的位置,我们才能确定对应是第几个数组,然后在小数组中进行访问该元素,这样的话时间复杂度就是遍历中控数组,时间复杂度是 O ( n ) O(n) O(n)

2、deque的中间插入与删除

deque的中间插入也有两种情况: 这也与deque中的小数组的大小是否固定有关。

  • 假设我们deque中的小数组是固定大小,不能进行扩容,那么我们在中间位置进行插入或者删除时,就要移动数据,也就是说可能要把一个小数组中的数据移动到另一个小数组里。
  • 假设我们deque中的小数组是不是固定大小的。
    那么我们在中间位置进行插入就可以只对当前的小数组进行扩容然后再进行插入,这样我们就不必对其他小数组中的数据进行移动了
    如果我们对中间的数据进行删除,我们也只需要对当前的小数组进行缩容就进行了,如果小数组中的数据全部被删除了,那可以直接释放掉空间,然后调整中控数组就行了。

总结deque的随机访问与deque的中间插入与删除之间有负相关的作用。当小数组固定时,随机访问效率会变高但是中间位置的插入与删除效率会变低;当小数组不固定大小时,随机访问效率会变低但是中间位置的插入与删除效率会变高。

在STL的SGI版本中对于deque的小数组选择了固定大小,且小数组中可以存储数据的个数是8(这个大小可以通过模板参数进行调整)

三、deque的迭代器

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

deque的迭代器有四个指针,第一个cur指向小数组中要指向的数据,第二个first指向小数组中的第一个位置,第三个last指向小数组中最后一个数据的下一个,第四个node反向指向中控数组,方便遍历完一个小数组后跳到下一个小数组。

四、deque的优缺点分析

1、优点:

  1. vector比较,deque的优势是:
    • 头部插入和删除时,不需要搬移元素,效率特别高。
    • 在扩容时,也不需要搬移大量的元素,只需要搬移中控数组中的指针就行了。
  2. list比较,deque的优势是:
    • 其底层是连续空间,空间利用率比较高,不需要存储额外字段。
    • 支持随机访问

2、缺点:

  1. 中间的插入删除与随机访问不好抉择,难以两全其美。

  2. 优点没有vectorlist极致,随机访问的速度没有vector快,(vector是真正的连续空间,在计算机硬件中缓存利用率极高,在排序方面这点很重要!!!),中间位置的插入与删除没有list快(list的中间位置的插入与删除是 O ( 1 ) O(1) O(1)),deque需要进行扩容,而list根本不需要扩容

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

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


stack是一种后进先出的特殊线性数据结构,因此只要具有push_back()pop_back()操作的线性结构,都可以作为stack的底层容器,比如vectorlist都可以;

queue是先进先出的特殊线性数据结构,只要具有push_backpop_front操作的线性结构,都可以作为queue的底层容器,比如list。但是STL中对stackqueue默认选择deque作为其底层容器,主要是因为:

  1. stackqueue不需要遍历(因此stackqueue没有迭代器),只需要在固定的一端或者两端进行操作。
  2. stack中元素增长时,dequevector的效率高(扩容时不需要搬移大量数据);queue中的元素增长时,deque不仅效率高,而且内存使用率高。两个适配器都结合了deque的优点,而完美的避开了其缺陷。

有关【C++】deque的实现原理简单介绍的更多相关文章

  1. ruby - 如何根据特征实现 FactoryGirl 的条件行为 - 2

    我有一个用户工厂。我希望默认情况下确认用户。但是鉴于unconfirmed特征,我不希望它们被确认。虽然我有一个基于实现细节而不是抽象的工作实现,但我想知道如何正确地做到这一点。factory:userdoafter(:create)do|user,evaluator|#unwantedimplementationdetailshereunlessFactoryGirl.factories[:user].defined_traits.map(&:name).include?(:unconfirmed)user.confirm!endendtrait:unconfirmeddoenden

  2. ruby - 简单获取法拉第超时 - 2

    有没有办法在这个简单的get方法中添加超时选项?我正在使用法拉第3.3。Faraday.get(url)四处寻找,我只能先发起连接后应用超时选项,然后应用超时选项。或者有什么简单的方法?这就是我现在正在做的:conn=Faraday.newresponse=conn.getdo|req|req.urlurlreq.options.timeout=2#2secondsend 最佳答案 试试这个:conn=Faraday.newdo|conn|conn.options.timeout=20endresponse=conn.get(url

  3. ruby - 用 Ruby 编写一个简单的网络服务器 - 2

    我想在Ruby中创建一个用于开发目的的极其简单的Web服务器(不,不想使用现成的解决方案)。代码如下:#!/usr/bin/rubyrequire'socket'server=TCPServer.new('127.0.0.1',8080)whileconnection=server.acceptheaders=[]length=0whileline=connection.getsheaders想法是从命令行运行这个脚本,提供另一个脚本,它将在其标准输入上获取请求,并在其标准输出上返回完整的响应。到目前为止一切顺利,但事实证明这真的很脆弱,因为它在第二个请求上中断并出现错误:/usr/b

  4. ruby-on-rails - 简单的 Ruby on Rails 问题——如何将评论附加到用户和文章? - 2

    我意识到这可能是一个非常基本的问题,但我现在已经花了几天时间回过头来解决这个问题,但出于某种原因,Google就是没有帮助我。(我认为部分问题在于我是一个初学者,我不知道该问什么......)我也看过O'Reilly的RubyCookbook和RailsAPI,但我仍然停留在这个问题上.我找到了一些关于多态关系的信息,但它似乎不是我需要的(尽管如果我错了请告诉我)。我正在尝试调整MichaelHartl'stutorial创建一个包含用户、文章和评论的博客应用程序(不使用脚手架)。我希望评论既属于用户又属于文章。我的主要问题是:我不知道如何将当前文章的ID放入评论Controller。

  5. ruby - 使用 Ruby 通过 Outlook 发送消息的最简单方法是什么? - 2

    我的工作要求我为某些测试自动生成电子邮件。我一直在四处寻找,但未能找到可以快速实现的合理解决方案。它需要在outlook而不是其他邮件服务器中,因为我们有一些奇怪的身份验证规则,我们需要保存草稿而不是仅仅发送邮件的选项。显然win32ole可以做到这一点,但我找不到任何相当简单的例子。 最佳答案 假设存储了Outlook凭据并且您设置为自动登录到Outlook,WIN32OLE可以很好地完成此操作:require'win32ole'outlook=WIN32OLE.new('Outlook.Application')message=

  6. 华为OD机试用Python实现 -【明明的随机数】 2023Q1A - 2

    华为OD机试题本篇题目:明明的随机数题目输入描述输出描述:示例1输入输出说明代码编写思路最近更新的博客华为od2023|什么是华为od,od薪资待遇,od机试题清单华为OD机试真题大全,用Python解华为机试题|机试宝典【华为OD机试】全流程解析+经验分享,题型分享,防作弊指南华为o

  7. Unity 热更新技术 | (三) Lua语言基本介绍及下载安装 - 2

    ?博客主页:https://xiaoy.blog.csdn.net?本文由呆呆敲代码的小Y原创,首发于CSDN??学习专栏推荐:Unity系统学习专栏?游戏制作专栏推荐:游戏制作?Unity实战100例专栏推荐:Unity实战100例教程?欢迎点赞?收藏⭐留言?如有错误敬请指正!?未来很长,值得我们全力奔赴更美好的生活✨------------------❤️分割线❤️-------------------------

  8. 基于C#实现简易绘图工具【100010177】 - 2

    C#实现简易绘图工具一.引言实验目的:通过制作窗体应用程序(C#画图软件),熟悉基本的窗体设计过程以及控件设计,事件处理等,熟悉使用C#的winform窗体进行绘图的基本步骤,对于面向对象编程有更加深刻的体会.Tutorial任务设计一个具有基本功能的画图软件**·包括简单的新建文件,保存,重新绘图等功能**·实现一些基本图形的绘制,包括铅笔和基本形状等,学习橡皮工具的创建**·设计一个合理舒适的UI界面**注明:你可能需要先了解一些关于winform窗体应用程序绘图的基本知识,以及关于GDI+类和结构的知识二.实验环境Windows系统下的visualstudio2017C#窗体应用程序三.

  9. postman——集合——执行集合——测试脚本——pm对象简单示例02 - 2

    //1.验证返回状态码是否是200pm.test("Statuscodeis200",function(){pm.response.to.have.status(200);});//2.验证返回body内是否含有某个值pm.test("Bodymatchesstring",function(){pm.expect(pm.response.text()).to.include("string_you_want_to_search");});//3.验证某个返回值是否是100pm.test("Yourtestname",function(){varjsonData=pm.response.json

  10. Qt Designer的简单使用 - 2

    在前面两节的例子中,主界面窗口的尺寸和标签控件显示的矩形区域等,都是用C++代码编写的。窗口和控件的尺寸都是预估的,控件如果多起来,那就不好估计每个控件合适的位置和大小了。用C++代码编写图形界面的问题就是不直观,因此Qt项目开发了专门的可视化图形界面编辑器——QtDesigner(Qt设计师)。通过QtDesigner就可以很方便地创建图形界面文件*.ui,然后将ui文件应用到源代码里面,做到“所见即所得”,大大方便了图形界面的设计。本节就演示一下QtDesigner的简单使用,学习拖拽控件和设置控件属性,并将ui文件应用到Qt程序代码里。使用QtDesigner设计界面在开始菜单中找到「Q

随机推荐