您现在的位置是:首页 >技术交流 >C++ STL学习之【容器适配器】网站首页技术交流

C++ STL学习之【容器适配器】

夜 默 2023-05-31 00:00:03
简介C++ STL学习之【容器适配器】

✨个人主页: 夜 默
🎉所属专栏: C++修行之路
🎊每篇一句: 图片来源

  • A year from now you may wish you had started today.
    • 明年今日,你会希望此时此刻的自己已经开始行动了。

夕阳西下



🌇前言

适配器(配接器)是 STL 中的六大组件之一,扮演着轴承、转换器的角色,使得 STL 中组件的使用更为灵活,比如 栈和队列 就是属于适配器而非容器,以及神秘的反向迭代器也属于适配器

具有多种功能的电源适配器,可以满足多种需求

电源转换器


🏙️正文

1、适配器模式

从应用角度出发,STL 中的适配器可以分为三类:

  • 容器适配器 container adapters
  • 迭代器适配器 iterator adapters
  • 仿函数适配器 functor adapters

其中,容器适配器 可修改底层为指定容器,如由 vector 构成的栈、由 list 构成的队列;迭代器适配器可以 实现其他容器的反向迭代器(后续介绍);最后的仿函数适配器就厉害了,几乎可以 无限制的创造出各种可能的表达式

本文介绍的是容器适配器,即 队列,最后还会介绍一下常作为这两种容器适配器的默认底层容器 双端队列

适配器
出自 《STL源码剖析》


2、栈 stack

stack 是一种特殊的数据结构,主要特点为 先进后出 FILO,主要操作有:入栈、出栈、查看栈顶元素、判断栈空等;栈在原则上是不允许进行中部或头部操作的,这样会破坏栈结构的完整性

栈在生活中比较少见,比较形象的例子是米缸,最先倒进去的米总是最后才能吃到,这正好契合了栈先进后出的思想
栈

官方文档中 stack 的接口也是比较少的

栈的介绍
栈的接口
可以看出,栈有两个模板参数

  • 参数1:T 栈中的元素类型,同时也是底层容器中的元素类型
  • 参数2:Container 实现栈时用到的底层容器,这里为缺省参数,缺省结构为 双端队列 deque

如何优雅的创建一个栈对象?

#include <iostream>
#include <stack>
#include <vector>
#include <list>

using namespace std;

int main()
{
	stack<int> s;	//默认底层容器为 deque

	stack<int, vector<int>> sv;	//显示实例化底层容器为 vector
	
	stack<char, list<char>> sl;	//显示实例化底层容器为 list

	cout << typeid(s).name() << endl;	//查看具体类型
	cout << typeid(sv).name() << endl;
	cout << typeid(sl).name() << endl;

	return 0;
}

结果
注意: 关于参数3 allocator 是空间配置器,这里先不作讲解,后续再学习

2.1、常用接口学习

学习使用接口时,直接使用默认的底层容器即可(不需要传递模板参数2)

因为接口少且非常简单,所以上手起来很方便

#include <iostream>
#include <stack>

using namespace std;

int main()
{
	stack<int> s;	//构造一个栈对象

	cout << "Original:>" << endl;
	cout << "empty(): " << s.empty() << endl;
	cout << "size(): " << s.size() << endl;

	cout << endl << "Push:>" << endl;
	s.push(1);	//入栈3个元素
	s.push(2);
	s.push(3);
	cout << "empty(): " << s.empty() << endl;
	cout << "size(): " << s.size() << endl;
	cout << "top(): " << s.top() << endl;

	cout << endl << "Pop:>" << endl;
	s.pop();	//出栈两次
	s.pop();
	cout << "empty(): " << s.empty() << endl;
	cout << "size(): " << s.size() << endl;
	cout << "top(): " << s.top() << endl;

	return 0;
}

结果

栈的常用接口就这几个,多用几次就熟悉了

2.2、模拟实现

因为是容器适配器,所以在模拟实现时,需要借助其他容器,这里选择使用 vector

#pragma once
#include <vector>

using namespace std;

namespace Yohifo
{
	//这里选择模板参数2 底层容器 的缺省值为 vector
	template<class T, class Container = vector<int>>
	class stack
	{
	public:
		//需要提供一个带缺省参数的构造函数,因为默认构造函数不接受传参
		stack(const Container& c = Container())
			:_c(c)
		{}

		//不需要显式的去写析构函数,默认生成的够用了
		//同理拷贝构造、赋值重载也不需要

		bool empty() const
		{
			return _c.empty();
		}

		size_t size() const
		{
			return _c.size();
		}

		//top 需要提供两种版本
		T& top()
		{
			return _c.back();
		}

		const T& top() const
		{
			return _c.back();
		}

		//选取的底层容器必须支持尾部操作
		void push(const T& val)
		{
			_c.push_back(val);
		}

		void pop()
		{
			//空栈不能弹出,可在底层容器中检查出来
			_c.pop_back();
		}

	private:
		Container _c;	//成员变量为具体的底层容器
	};
}

适配器的厉害之处就在于 只要底层容器有我需要的函数接口,那么我就可以为其适配出一个容器适配器,比如 vector 构成的栈、list 构成的栈、deque 构成的栈,甚至是 string 也能适配出一个栈,只要符合条件,都可以作为栈的底层容器,当然不同结构的效率不同,因此库中选用的是效率较高的 deque 作为默认底层容器

图解


3、队列 queue

队列 queue 是另一种特殊的数据结构,遵循先进先出 FIFO,主要操作:入队、出队、判断队空、查看队头尾元素等

队列是一种生活中无处不见的场景,比如食堂打饭、柜台办理业务、排队出车站等等,所谓先来后到,形容的就是队列了
队列

作为容器适配器,queue 官方提供的接口也是一样的少

文档
文档
和栈一样,队列也有两个模板参数:

  • 参数1:T 队列中的元素类型,同时也是底层容器中的元素类型
  • 参数2:Container 实现队列时用到的底层容器,这里为缺省参数,缺省结构为 双端队列 deque

双端队列的优点在于高效的头尾操作和极致的空间使用,正好符合 栈和队列 的特殊需求

创建队列对象时,我们也可以指定其底层容器

#include <iostream>
#include<queue>
#include <vector>
#include <list>

using namespace std;

int main()
{
	queue<int> qDeque;	//默认使用 deque
	queue<double, vector<double>> qVector;	//指定使用 vector
	queue<char, list<char>> qList;	//指定使用 list

	cout << typeid(qDeque).name() << endl;	//查看具体类型
	cout << typeid(qVector).name() << endl;
	cout << typeid(qList).name() << endl;
	return 0;
}

结果

3.1、常用接口学习

queue 中的接口与 stack 差不多,不过 queue 出元素时是在队头操作,同时它支持访问队头、队尾元素,而 stack 只能访问栈顶元素

#include <iostream>
#include <queue>

using namespace std;

int main()
{
	queue<int> q;	//构建出一个队列对象

	cout << "Original:>" << endl;
	cout << "empty(): " << q.empty() << endl;
	cout << "size(): " << q.size() << endl;

	cout << endl << "Push:>" << endl;
	q.push(1);
	q.push(2);
	q.push(3);
	q.push(4);
	q.push(5);
	cout << "empty(): " << q.empty() << endl;
	cout << "size(): " << q.size() << endl;
	cout << "front(): " << q.front() << endl;
	cout << "back(): " << q.back() << endl;

	cout << endl << "Pop:>" << endl;
	q.pop();
	q.pop();
	q.pop();
	cout << "empty(): " << q.empty() << endl;
	cout << "size(): " << q.size() << endl;
	cout << "front(): " << q.front() << endl;
	cout << "back(): " << q.back() << endl;

	return 0;
}

结果

3.2、模拟实现

队列的模拟实现也是相当简单,这里选用 list 作为底层容器

#pragma once
#include <list>

using namespace std;

namespace Yohifo
{
	template<class T, class Container = list<T>>
	class queue
	{
	public:
		queue(const Container& c = Container())
			:_c(c)
		{}

		//这里也不需要提供拷贝构造、赋值重载、析构函数

		bool empty() const
		{
			return _c.empty();
		}

		size_t size() const
		{
			return _c.size();
		}

		//选取的底层容器中,已经准备好了相关函数,如 front、back
		T& front()
		{
			return _c.front();
		}
		const T& front() const
		{
			return _c.front();
		}

		T& back()
		{
			return _c.back();
		}
		const T& back() const
		{
			return _c.back();
		}

		void push(const T& val)
		{
			_c.push_back(val);	//队列只能尾插
		}

		void pop()
		{
			_c.pop_front();	//队列只能头删
		}

	private:
		Container _c;	//成员变量为指定的底层容器对象
	};
}

队列和栈在进行适配时,都是在调用已有的接口,若是特殊接口,比如 toppushpop 等,进行相应转换即可

  • top -> back 尾元素
  • 栈、队列 push -> push_back 尾插
  • pop -> pop_back 尾删
  • 队列 pop -> pop_front 头删

图示适配器


4、小结

栈和队列在实际开发中作为一种辅助结构被经常使用,比如内存空间划分中的栈区,设计规则符合栈 FILO;操作系统中的各种队列,如阻塞队列,设计规则符合 队列 FIFO。除此以外,在很多 OJ 题中,都需要借助栈和队列进行解题
应用场景
注:二叉树的最近公共祖先可以借助栈完成时间复杂度 O(N) 的解法

注意:

  • 栈和队列都属于特殊的数据结构,原则上是不支持遍历的,因为一旦进行遍历,其中的数据必然被弹出,因此两者都没有提供迭代器
  • 假设容器没有提供头尾操作,比如 mapset,那么就不能拿它们适配出 栈或队列,强行使用会报错

报错


5、双端队列 deque(了解)

双端队列是官方指定的底层容器,其结构上的特殊设计决定了它只适合于头尾操作需求高的场景:双端队列 = vector + list,设计时就想汲取二者的优点(下标随机访问 + 极致的空间使用),但鱼和熊掌不可兼得,在复杂结构的加持之下,双端队列趋于中庸,无法做到 vectorlist 那样极致,因此实际中也很少使用,比较适合当作适配器的底层容器

双端队列

双端队列的数据结构:list + vector

  • 利用 list 构造出一个 map 作为主控数组(通过链式结构链接),数组中元素为数组指针
  • 利用 vector 构造出大小为 N 的小数组(缓冲区),这些小数组才是双端队列存储元素的地方

注意: 此处的 map 并非是容器 map,仅仅是名字相同而已

将二者结合起来,就得到了复杂的双端队列
双端队列

deque 的扩容机制:只需要对中控数组 map 进行扩容,再将原 map 中的数组指针拷贝过来即可,效率比较高

deque 中的随机访问:

  1. (下标 - 前预留位) / 单个数组长度 获取对应小数组位置
  2. (下标 - 前预留位) % 单个数组长度 获取其在小数组中的对应下标

由此可见,单个数组大小(缓冲区大小)需要定长,否则访问时计算会比较麻烦,但长度定长后,会引发中间位置插入删除效率低的问题

对此 SGI 版的 STL 选择牺牲中间位置插入,提高下标随机访问速度,令小数组定长,这也是将它作为 栈和队列 默认底层容器的原因之一,因为 栈和队列 不需要对中间进行操作

因为中控数组是链式结构,因此双端队列的迭代器设计极为复杂

  • cur 指向当前需要的数据位置
  • first 指向 buffer 数组起始位置
  • last 指向 buffer 数组终止位置
  • node 反向指向中控数组

迭代器设计
这个迭代器还是一个随机迭代器,因此可以使用 std::sort

  • 无论是 deque 还是 list,直接排序的效率都不如借助 vector 间接排序效率高

deque 的缺点

  • 中间位置插入删除比较麻烦,可以令小数组长度不同解决问题,不过此时影响随机访问效率
  • 结构设计复杂,且不如 vectorlist 极致
  • 致命缺陷:不适合遍历,迭代器需要频繁检测是否移动某段小空间的边界,效率很低

凑巧的是,栈和队列 可以完美避开所有缺陷,全面汲取其优点,因此 双端队列 为容器适配器的默认底层容器

对于这种中庸且复杂的容器,只需要做简单了解就行了


🌆总结

以上就是本篇关于 C++ STL学习之【容器适配器】的全部内容了,在本文中,我们首先学习了适配器默认,了解它存在的意义及种类;其次学习和模拟实现了两种容器适配器 栈和队列;最后认识了容器适配器的默认底层容器 双端队列,见识了其复杂的结构设计及优缺点。关于适配的下一种形态:迭代器适配器 将在下文中学习,同时 反向迭代器 的神秘面纱也将被揭开

如果你觉得本文写的还不错的话,可以留下一个小小的赞👍,你的支持是我分享的最大动力!

如果本文有不足或错误的地方,随时欢迎指出,我会在第一时间改正


星辰大海

相关文章推荐

STL 之 list 类

C++ STL学习之【list的模拟实现】

C++ STL学习之【list的使用】

===============

STL 之 vector 类

C++ STL学习之【vector的模拟实现】

C++ STL学习之【vector的使用】

===============

STL 之 string 类

C++ STL学习之【string类的模拟实现】

C++ STL 学习之【string】

感谢支持

风语者!平时喜欢研究各种技术,目前在从事后端开发工作,热爱生活、热爱工作。