ICode9
精准搜索请尝试： 精确搜索
首页
编程语言>
数据库
系统相关
互联网
其他分享
Python
Java
JavaScript
android
PHP
首页 > 编程语言> 文章详细

C++ | STL 浅谈deque容器

2020-03-17 17:39:46  阅读：287  来源： 互联网

标签：deque 浅谈 iterator 容器 STL 映射 插入 dqu1


目录

一.简述deque容器

二.deque的创建方式

三.deque容器的插入和删除操作

四.deque的底层形式以及扩容方式。

五.deque容器底层内存连续的实现方法

一.简述deque容器

deque是一个双端队列容器，其在底层为一个双端队列，所需要的头文件为#include<deque>。

正如上图所示，双端队列的每一个端口都既能出，又能进。但我们一般在使用双端队列时，使用的都是受限的双端队列，即我们选定双端队列的某一端只能进（插）元素，相反的，另一端就只能出元素。

deque的底层是双端队列，所以底层的内存空间是连续的（其实是不连续的，后续我们会讲到这一点），因此我们可以使用指针的直接跳转来访问队列中的任何元素，也就是说，后续我们可以使用 迭代器+偏移 的形式来访问deque容器中的数据。所以我们将deque中的迭代器称为随机访问迭代器。

二.deque的创建方式

#include<iostream>
#include<deque>

int main()
{
	std::deque<int> dqu1;
	std::deque<int> dqu2(10);//count
	std::deque<int> dqu3(10, 20);

	int arr[] = { 12, 3, 234, 3, 6 };
	int len = sizeof(arr) / sizeof(arr[0]);
	std::deque<int> dqu4(arr, arr + len);

	return 0;
}

在构造deque容器dqu1时，调用的是deque类中默认的构造函数，（所有的容器中都有默认的构造函数），且构造的同时没有做任何事情。

在构造deque容器dqu2时，我们显式的给定了这个容器的初始大小10，并且将这10个大小的数据置为0。

在构造deque容器dqu3时，我们显式的给定了这个容器的初始大小10，且显式的将这10个大小的数据置为20。即我们给dqu3中插入了10个值为20的数据。

在构造deque容器dqu4时，我们传入的参数是一个迭代器区间，即将dqu3的开始和末尾的后一个位置传入，也就是将dqu3中的数据插入到dqu4中。

三.deque容器的插入和删除操作

#include<iostream>
#include<deque>
#include<iterator>
#include<algorithm>

template<typename Iterator>
void Show(Iterator first, Iterator last)
{
	for (first; first != last; first++)
	{
		std::cout << *first << " ";
	}
	std::cout << std::endl;
}

int main()
{
	std::deque<int> dqu1;

	for (int i = 0; i < 5; i++)
	{
		dqu1.push_front(i + 1);// 5 4 3 2 1
	}
	Show(dqu1.begin(), dqu1.end());

	for (int i = 0; i < 5; i++)
	{
		dqu1.push_back(i + 1);
	}
	Show(dqu1.begin(), dqu1.end());// 5 4 3 2 1 1 2 3 4 5

	dqu1.insert(dqu1.begin() + 3, 100);//随机访问迭代器
	Show(dqu1.begin(), dqu1.end());

	dqu1.pop_front();
	dqu1.pop_back();
	dqu1.erase(dqu1.begin() + 3);
	Show(dqu1.begin(), dqu1.end());

	return 0;
}

push_front即头插，在队头一端插入元素，时间复杂度为O(1)。

push_back即尾插，在队尾一端插入元素，时间复杂度为O(1)。

insert 即按位置插入元素，insert函数有以下五个重载，时间复杂度为O(n)

  1. iterator std::deque<_Ty, _Alloc>::insert(const_iterator _Where, _Ty && _Val)，在Where位置插入一个值为Val的元素。
  2. iterator std::deque<_Ty, _Alloc>::insert(const_iterator _Where, const _Ty & _Val)，在Where位置插入一个值为Val的元素，且这个元素的值Val不可以被修改。
  3. iterator std::deque<_Ty, _Alloc>::insert(const_iterator _Where, size_type _Count, const _Ty & _Val)，在Where位置插入Count个值为Val的元素。
  4. iterator std::deque<_Ty, _Alloc>::insert(const_iterator _Where, initializer_list<_Ty> _Ilist)，使用初始化列表在Where位置插入新的元素，例如 
    dqu1.insert(dqu1.begin(), { 1,3,4 });

     

  5. iterator std::deque<_Ty, _Alloc>::insert<_Iter, >(const_iterator _Where, _Iter _First, _Iter _Last)，按Where位置插入一个区间（Iter_First~Iter_Last）里面的元素，这个区间代表的是一个迭代器区间。

pop_front 即头删，删除队列头部的元素，时间复杂度为O(1)。

pop_back 即尾删，删除队列尾部的元素，时间复杂度为O(1)。

erase 即按位置删除元素，erase函数有以下两个重载，时间复杂度为O(n)

  1. iterator std::deque<_Ty, _Alloc>::erase(const_iterator _Where) noexcept(is_nothrow_move_assignable_v<value_type>)，删除Where这个位置的元素。
  2. iterator std::deque<_Ty, _Alloc>::erase(const_iterator _First_arg, const_iterator _Last_arg) noexcept(is_nothrow_move_assignable_v<value_type>)，删除 iterator _First~iterator _Last这个迭代器区间的所有元素。

访问即Show函数的时间复杂度为O(1)。

deque容器的特点：“头部或尾部快速地插入或删除元素以及直接访问任何元素”。

注意：上述的所有Where都是用迭代器表示的。

四.deque的底层形式以及扩容方式。

1.deque的底层形式

deque的底层如下图

因为映射区的本质是一个指针数组，因此映射区内存放的都是地址（也可以理解为指向某一地址的指针），而这个地址指的就是数据区的地址。一开始，我们初始化一个deque容器时，映射区的大小默认为2个空间，也就是说这个指针数组只能存放两个指针。

如果我们要在deque容器中插入元素时，系统就会用malloc 或者 new在堆上申请一块大的内存空间，这块内存空间就是数据区，而这个数据区的大小也是固定的，它的大小是512字节。接着指针数组中0号下标位置会存放这块数据区的地址。

设计人员当初为了标明队列的队头和队尾，引进了两个指针。分别是队头指针 pfront 和队尾指针ptail，并且一开始队头指针和队尾指针都指向队列的中间位置。当我们要在队头插入数据时，队头指针就会向前移动一格，而要插入的数据就会存放在当前队头指针所指的位置。相反的，如果我们要在队尾插入数据时，队尾指针就会向后移动一格，而要插入的数据就会存放在当前队尾指针所指的位置。

2.deque的扩容方式

以push_front的方式插入数据（头部扩容）

假如现在我们头插的方式插入n多个值为1的元素，那么pfront指针就会一直前移，知道移动到数据区的首地址为止，这种情况下pfront就不能够继续前移了，如下图

如果现在我们还要以头插的方式插入数据，那么接下来就要进行扩容操作了，具体的扩容操作如下

  1. 首先pfront指针会查看当前映射区的上端还有没有其他空的映射区。我们知道当前映射区为0号映射区（指针数组的0号下标所代表的位置），而0号映射区的上端再无其他映射区。
  2. 如果当前映射区的上端没有其他空的映射区，那么pfront指针就会查看当前映射区的下端有没有其他空的映射区。我们知道0号映射区的下端还有其他空的映射区，即1号映射区。
  3. 如果当前映射区的下端有其他空的映射区，那么系统就会把当前的数据区中的全部内容向下挪动，让下一个映射区存放当前数据区的地址。即让1号映射区存放当前数据区的地址，如下图所示
  4. 现在0号映射区就为空了，接着系统就会再开辟一个512字节大小的数据区，接着让0号映射区存放这个新的数据区的地址。
  5. 现在deque就有新的空间了，那么pfront就会指向新数据区的末尾，接着我们就又可以进行头插操作了。
  6. 如果我们有进行了n次头插，导致pfront又指向了当前数据区的首地址，这时这个新的数据区又满了
  7. 如果此时我们还要进行头插，那么就又要进行扩容了，此时系统会通过pfront找到当前的映射区，也就是0号映射区，如果当前映射区的上端没有其他空的映射区，那么pfront指针就会查看当前映射区的下端有没有其他空的映射区。我们发现现在无论是在0号映射区的上端还是下端都没有其他空的映射区了。那么此时就会对映射区进行扩容，且映射区的扩容是以倍数的形式来增长的。
  8. 接着系统会自动的把当前所有的数据区向下挪动一个映射区，如下图
  9. 现在pfront的上端就有空的映射区了，接下来的步骤就和前面的步骤一样了。0号映射区会指向一个新的数据区，接着我们就又能进行头插操作了。
  10. 重复以上步骤。

以push_back的方式插入数据（尾部扩容）

  1. 首先我们向队列的尾部插入n多个1，一直到ptail指向队列末尾为止
  2. 如果现在我们还要进行尾插操作，那么ptail会查看当前映射区的下端是否为空。如果当前映射区的下端有其他空的映射区，例如此处的1号映射区，那么1号映射区就会指向系统新开辟的一个数据区。
  3. 现在ptai就指向这个新数据区的首地址了，那么我们就又可以进行尾插操作了，直到ptail指向当前数据区的末尾为止。
  4. 现在数据区就又满了，如果此时我们还要进行尾插操作，但ptai发现当前映射区的下端已经没有空余的空间了，那么ptail就会查看当前映射区的上端有没有空余的空间，而此时映射区的上端也没有空余的空间，那么就要对映射区进行扩容了（以2倍的形式来扩容）。映射区扩充完毕后，将所有的数据区都往映射区的中间来移动。
  5. 接下来就又从步骤1开始循环了，直到下图所示
  6. 现在所有的数据的都已经满了（不包括头插的那一部分），如果还要进行头插操作，和步骤4一样，ptai首先会查看当前映射区的上端有没有空余的空间，这时我们发现0号映射区是空的，那么系统就会将所有的数据区往上挪动。
  7. 现在ptail发现当前映射区的下端有空余空间，就又从步骤2开始循环了。

现在我们就又可以进行尾插操作了。

五.deque容器底层内存连续的实现方法

其实deque容器的底层内存是不连续的，但是deque容器中的迭代器在设计当初对外屏蔽了底层内存的不连续，且对外提供了一个底层内存连续的特征。

例如，此时若有一个迭代器ptr指向如图所示位置，现在我们对迭代器进行加偏移的操作，如 ptr+2，那么迭代器ptr先会找到下一个映射区，接着通过映射区内存放着的数据区的地址，来找到下一个数据区，这样就不会发生越界的问题了，且我们也可以使用迭代器+偏移的方式来访问deque容器中的数据了。

标签：deque,浅谈,iterator,容器,STL,映射,插入,dqu1
来源： https://blog.csdn.net/ThinPikachu/article/details/104919001

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。

关于我们 | 联系我们 | 留言反馈

专注分享技术，共同学习，共同进步。侵权联系[81616952@qq.com]

Copyright (C)ICode9.com, All Rights Reserved.

ICode9版权所有