C++笔记-封装红黑树实现set和map

news2025/5/24 12:08:50

1.源码及框架分析

上面就是在stl库中set和map的部分源代码。

通过上图对框架的分析,我们可以看到源码中rb_tree⽤了⼀个巧妙的泛型思想实现,rb_tree是实
现key的搜索场景,还是key/value的搜索场景不是直接写死的,⽽是由第⼆个模板参数Value决定
_rb_tree_node中存储的数据类型。
set实例化rb_tree时第⼆个模板参数给的是key,map实例化rb_tree时第⼆个模板参数给的是 pair<const key, T>,这样⼀颗红⿊树既可以实现key搜索场景的set,也可以实现key/value搜索场
景的map。
要注意⼀下,源码⾥⾯模板参数是⽤T代表value,⽽内部写的value_type不是我们我们⽇常
key/value场景中说的value,源码中的value_type反⽽是红⿊树结点中存储的真实的数据的类型。
这里可能有人会疑惑: rb_tree第⼆个模板参数Value已经控制了红⿊树结点中存储的数据类型,为什么还要传第⼀个模板 参数Key呢?尤其是set,两个模板参数是⼀样的。
这是因为红黑树中的find和erase函数只用到key,set就不用说了,map中也是只用key,所以说传第一个模板参数就是为这两个函数服务的,如果key,value两个参数类型不同也可以区分开来。
2.模拟实现map和set
要实现map和set我们要想实现以下操作:
1.实现红黑树
2.封装map和set框架,解决keyOfTree
3.iterator
4.const_iterator
5.key不支持修改的问题
6.operator[]
以上步骤中第一步我们已经完成了,下面完成剩下的步骤即可:
2.1 封装map和set框架,解决keyOfTree
这里有人不理解keyOfTree是什么,我们来设想一下:我们现在要实现泛型的红黑树,那么在insert函数中我们要比较key值该如何比较?
如果以我们上一篇实现的红黑树是没有办法解决这个问题的,毕竟set和map不一样,一个直接比较key,一个需要比较pair中的key,所以这里我们就要实现keyOfTree来返回key值。
从上图我们也可以看出来实现的是仿函数,不过这里的仿函数和之前我们讲的不太一样,之前我们讲的是仿函数来控制比较规则,这里就直接返回key值即可,并将其传给红黑树。
所以红黑树也要做出一些改变:
 
这里面insert中的比较方式就变为上图这种,这里根据map和set传入的类型来返回相应的值,这样就完美解决上面的问题,还有find中也需要更改,不过和insert中的一样,这里就不过多赘述了。
2.2实现iterator
这里实现iterator的思路和之前我们讲的list迭代器是一样的,毕竟我们在实现红黑树时和链表很像。
所以这里初始化中的解引用等操作就不过多赘述了,而实现iterator的关键就是如何++和--,大家设想一下:这里++操作该如何实现呢,迭代器++后应该到哪个结点呢?
不好操作是吧,所以我们着重来讲解这两个。
2.2.1++重载实现
以上图为例,此时迭代器在15的位置,我们都知道++后要访问的结点是18,那么该如何找到18呢?这个问题我们先放一放,我们接着往下看。
现在迭代器在25的位置,++后要找的结点是30,两种情况找的方式并不相同。
这里我直接就说结论:我们判断该怎么去找是看当前结点的右子树是否为为空,这里有人又要问:为什么要看右子树是否为空呢?
因为我们访问到当前的结点是以当前结点为根结点的子树,根结点访问完,根据中序遍历我们知道下面就该访问右子树了,所以这里我们要判断右子树是否为空。
右子树不为空,我们就要的访问右子树的最左结点,也就是右子树最小的结点。而如果右子树为空,我们就知道此时这颗子树已经访问完了,就要向上面找祖先访问了,而我们找祖先也是要找孩子是父亲左的那个祖先,也就是我们上面第一幅图中15下来要找18那种情况。
大家思考一下是不是这个理,孩子是父亲的左子树,那么按照中序遍历下面就是该访问当前子树的根结点了。
这时候有人要问:那要是一直孩子是父亲右的祖先呢?
那就一直找下去,直到找到nullptr,就如下面这种情况:
 
50下来我该去找谁呢?
按照我们上面的思路,从图中可以看出50上面没有孩子是父亲左的祖先,当前子树没有我要找的祖先,那么就要一直想上找,直到最后cur走到根结点,parent走到nullptr就停止了,那么此时50下面要访问的就是nullptr。
从图中我们也可以看出来50已经是这棵树最后一个结点了,下面要访问的肯定是nullptr。
其实这也是end()迭代器的返回值,因为end就是组后一个数据的下一个位置,正好对应上面50的下一个位置。
而begin就不用多说了,直接通过循环找整棵树最左的那个结点即可,整棵树最小的节点起始元素。
下面是代码演示:
2.2.2--重载实现
--和++逻辑就直接反过来即可,下面是代码演示:
但是只写成这样是有bug的,我们来看一个例子:
看起来没有什么问题,但是我们仔细想一下end是nullptr,直接对--it肯定会出问题的对吧。
那如何解决这种问题呢?
我们先看set和map底层是如何解决这种问题的:
底层为了解决这个问题也弄了和list一样的哨兵位header,并且它和根结点的_parent为对方,而在处理我们上面的代码时,会先判断是否在header这个位置,如果在的话就通过header的right直接找到整棵树的最右结点,它的left就是最左结点,可能与人觉得这样挺方便的。
其实不然,因为如果你要插入或者删除数据,header的laft和right还得去维护,加了header后其实也并没有多么方便,所以这里我就没有采用源代码的那种方式。
而是采用这种方式:
这里我通过再定义一个_root来解决这个问题,我们把根结点传过去,利用根结点来找到最右结点,这样也不需要再定义一个header。
这样写的缺点就是我们每次给迭代器传参都要传两个参数,不过也还好,每次都默认传_root即可。
当然这只是一个小问题,如果你不想解决这个问题也可以不这样写,迭代器还是只传一个参数即可。
2.2.3begin和end迭代器
上面我们已经说了begin和end该取什么,这里就直接演示代码:
 
完成红黑树的begin和end后在set和map中我们就直接引用即可。
2.3实现const_iterator
我们上面实现了iterator,再实现const_iterator就简单许多,和之前实现list的一样:
 
只需要写一部分代码即可,这样也就完成了const_iterator迭代器,const_iterator迭代器的实现这里就不过多赘述了。
2.4key不支持修改的问题
我们在AVL树那一章节就已经讲过像这种二叉平衡搜索树里面的数值是不能修改的,如果被修改,就不满足搜索树的规则,那么实现就没有意义了。
大家上面也看到了我在set和map中的参数中加了const,这就是这个问题的解决方法:
se就不用多说了,就key一个值,直接在前面加上const即可,map要注意一下,key不能修改,但是value是可以修改的,所以pair中只把第一个参数加上const即可。
注意我上面写的,typedef中也要在相应位置加上const,不然会报错。
2.5operator[]的实现
这个[]符号我们在map的使用那一章节已经讲过,这里就不过多赘述了。
因为实现要用到insert函数,并且参数也和我们之前实现的不一样,所以我们要对insert做出一些修改:
这里要注意在最后插入节点时要用一个临时变量来记录此时新插入的位置,因为后面我们要进行变色或者旋转等一些列操作,cur的位置可能会改变。
map中的实现和我们之前讲的时候一样,通过借助insert函数来返回pair中的second值。
我们可以通过自己写一些例子来验证[]是否可以完成我们想要的效果。
以上就是封装红黑树实现set和map的内容。

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

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

相关文章

留给王小川的时间不多了

王小川&#xff0c;这位头顶“天才少年”光环的清华学霸、搜狗输入法创始人、中国互联网初代技术偶像&#xff0c;正迎来人生中最难啃的硬骨头。 他在2023年创立的百川智能&#xff0c;被称为“大模型六小虎”之一。今年4月&#xff0c;王小川在全员信中罕见地反思过去两年工作…

国产频谱仪性能如何?矢量信号分析仪到底怎么样?

矢量信号分析仪是一种高性能的电子测量设备&#xff0c;具备频谱分析、矢量信号分析、实时频谱分析、脉冲信号分析、噪声系数测量、相位噪声测量等多种功能。它能够对各类复杂信号进行精确的频谱特性分析、调制质量评估、信号完整性检测以及干扰源定位等操作。广泛应用于通信、…

熔断器(Hystrix,Resilience4j)

熔断器 核心原理​ 熔断器通过监控服务调用失败率&#xff0c;在达到阈值时自动切断请求&#xff0c;进入熔断状态&#xff08;类似电路保险丝&#xff09;。其核心流程为&#xff1a; 关闭状态&#xff08;Closed&#xff09;​​&#xff1a;正常处理请求&#xff0c;统计失…

C++23 容器从其他兼容范围的可构造性与可赋值性 (P1206R7)

文章目录 背景与动机提案内容与实现细节提案 P1206R7实现细节编译器支持 对开发者的影响提高灵活性简化代码向后兼容性 总结 C23标准引入了对容器构造和赋值的新特性&#xff0c;这些特性使得容器能够更灵活地从其他兼容范围初始化&#xff0c;并支持从范围赋值。这些改进由提案…

多通道振弦式数据采集仪MCU安装指南

设备介绍 数据采集仪 MCU集传统数据采集器与5G/4G,LoRa/RS485两种通信功能与一体的智能数据采集仪。该产品提供振弦、RS-485等的物理接口&#xff0c;能自动采集并存储多种自然资源、建筑、桥梁、城市管廊、大坝、隧道、水利、气象传感器的实时数据&#xff0c;利用现场采集的数…

SOC-ESP32S3部分:9-GPIO输入按键状态读取

飞书文档https://x509p6c8to.feishu.cn/wiki/L6IGwHKV6ikQ08kqwAwcAvhznBc 前面我们学习了GPIO的输出&#xff0c;GPIO输入部分其实也是一样的&#xff0c;这里我们使用按键作为GPIO输入例程讲解&#xff0c;分三步走。 查看板卡原理图&#xff0c;确定使用的是哪个GPIO查看G…

Ubuntu20.04的安装(VMware)

1.Ubuntu20.04.iso文件下载 下载网址&#xff1a;ubuntu-releases-20.04安装包下载_开源镜像站-阿里云 2.创建虚拟环境 2.1打开VMware与创建新虚拟机 点击创建新虚拟机 如果没下好可以点击稍后安装操作系统 选择linux版本选择Ubuntu 64位然后点击下一步。 注意这里需要选择一…

【论文阅读】LLaVA-OneVision: Easy Visual Task Transfer

LLaVA-OneVision: Easy Visual Task Transfer 原文摘要 研究背景与目标 开发动机&#xff1a; 基于LLaVA-NeXT博客系列对数据、模型和视觉表征的探索&#xff0c;团队整合经验开发了开源大型多模态模型 LLaVA-OneVision。 核心目标&#xff1a; 突破现有开源LMM的局限&#xf…

Spring Boot 项目多数据源配置【dynamic datasource】

前言&#xff1a; 随着互联网的发展&#xff0c;数据库的读写分离、数据迁移、多系统数据访问等多数据源的需求越来越多&#xff0c;我们在日常项目开发中&#xff0c;也不可避免的为了解决这个问题&#xff0c;本篇来分享一下在 Spring Boot 项目中使用多数据源访问不通的数据…

JAVA查漏补缺(2)

AJAX 什么是Ajax Ajax&#xff08;Asynchronous Javascript And XML&#xff09;&#xff0c;即是异步的JavaScript和XML&#xff0c;Ajax其实就是浏览器与服务器之间的一种异步通信方式 异步的JavaScript 它可以异步地向服务器发送请求&#xff0c;在等待响应的过程中&…

【Web前端】JavaScript入门与基础(二)

Javascript对象 什么是对象&#xff1f;对象&#xff08;object&#xff09;是 JavaScript 语言的核心概念&#xff0c;也是最重要的数据类型。简单说&#xff0c;对象就是一组“键值对”&#xff08;key-value&#xff09;的集合&#xff0c;是一种无序的复合数据集合。 var…

Electron+vite+vue3 从0到1搭建项目,开发Win、Mac客户端

随着前端技术的发展&#xff0c;出现了所谓的大前端。 大前端则是指基于前端技术延伸出来的各种终端平台及应用场景&#xff0c;包括APP、桌面端、手表终端、服务端等。 本篇文章主要是和大家一起学习一下使用Electron 如何打包出 Windows 和 Mac 所使用的客户端APP&#xff…

python打卡day34@浙大疏锦行

知识点回归&#xff1a; CPU性能的查看&#xff1a;看架构代际、核心数、线程数GPU性能的查看&#xff1a;看显存、看级别、看架构代际GPU训练的方法&#xff1a;数据和模型移动到GPU device上类的call方法&#xff1a;为什么定义前向传播时可以直接写作self.fc1(x) ①CPU性能查…

SOC-ESP32S3部分:8-GPIO输出LED控制

飞书文档https://x509p6c8to.feishu.cn/wiki/OSQWwh95niobqUkKyDQcVgsbnFg 这节课&#xff0c;我们将会以ESP32S3外设GPIO的使用为例&#xff0c;带大家学习如何从零开始学会ESP32外设的使用。 例如&#xff0c;这节课我们的需求是&#xff0c;需要通过GPIO控制指示灯的亮灭&…

05算法学习_59. 螺旋矩阵 II

05算法学习_59. 螺旋矩阵 II 05算法学习_59. 螺旋矩阵 II题目描述&#xff1a;个人代码&#xff1a;学习思路&#xff1a;第一种写法&#xff1a;题解关键点&#xff1a; 个人学习时疑惑点解答&#xff1a; 05算法学习_59. 螺旋矩阵 II 力扣题目链接: 59. 螺旋矩阵 II 题目描…

Linux `>`/`>>` 重定向操作符深度解析与高阶应用指南

Linux `>`/`>>` 重定向操作符深度解析与高阶应用指南 一、核心功能解析1. 基础重定向2. 标准流描述符二、高阶重定向技巧1. 多流重定向2. 文件描述符操作3. 特殊设备操作三、企业级应用场景1. 日志管理系统2. 数据管道处理3. 自动化运维四、安全与权限管理1. 防误操作…

【自定义类型-联合和枚举】--联合体类型,联合体大小的计算,枚举类型,枚举类型的使用

目录 一.联合体类型 1.1--联合体类型的声明 1.2--联合体的特点 1.3--相同成员的结构体和联合体对比 1.4--联合体大小的计算 1.5--联合体练习 二.枚举类型 2.1--枚举类型的声明 2.2--枚举类型的优点 2.3--枚举类型的使用 &#x1f525;个人主页&#xff1a;草莓熊Lotso…

李宏毅《深度学习》:Self-attention 自注意力机制

一&#xff0c;问题分析&#xff1a; 什么情况下需要使用self-attention架构&#xff0c;或者说什么问题是CNN等经典网络架构解决不了的问题&#xff0c;我们需要开发新的网络架构&#xff1f; 要解决什么问题《——》对应开发self-attention架构的目的&#xff1f; 1&#…

C++初阶-list的使用1

目录 1.std::list简介 2.成员函数 2.1构造函数的使用 2.2list::operator的使用 3.迭代器 4.容量 4.1list::empty函数的使用 4.2list::size函数的使用 4.3list::max_size函数的使用 5.元素访问 6.修饰符 6.1list::assign函数的使用 6.2push_back和pop_back和push_fr…

Python web 开发 Flask HTTP 服务

Flask 是一个轻量级的 Web 应用框架&#xff0c;它基于 Python 编写&#xff0c;特别适合构建简单的 Web 应用和 RESTful API。Flask 的设计理念是提供尽可能少的约定和配置&#xff0c;从而让开发者能够灵活地构建自己的 Web 应用。 https://andi.cn/page/622189.html