深读源码-java集合之TreeMap源码分析(三)

2023-11-07 09:32

本文主要是介绍深读源码-java集合之TreeMap源码分析(三),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

删除元素

删除元素本身比较简单,就是采用二叉树的删除规则。

(1)如果删除的位置有两个叶子节点,则从其右子树中取最小的元素放到删除的位置,然后把删除位置移到替代元素的位置,进入下一步。

(2)如果删除的位置只有一个叶子节点(有可能是经过第一步转换后的删除位置),则把那个叶子节点作为替代元素,放到删除的位置,然后把这个叶子节点删除。

(3)如果删除的位置没有叶子节点,则直接把这个删除位置的元素删除即可。

(4)针对红黑树,如果删除位置是黑色节点,还需要做再平衡。

(5)如果有替代元素,则以替代元素作为当前节点进入再平衡。

(6)如果没有替代元素,则以删除的位置的元素作为当前节点进入再平衡,平衡之后再删除这个节点。

public V remove(Object key) {// 获取节点Entry<K,V> p = getEntry(key);if (p == null)return null;V oldValue = p.value;// 删除节点deleteEntry(p);// 返回删除的valuereturn oldValue;
}private void deleteEntry(Entry<K,V> p) {// 修改次数加1modCount++;// 元素个数减1size--;if (p.left != null && p.right != null) {// 如果当前节点既有左子节点,又有右子节点// 取其右子树中最小的节点Entry<K,V> s = successor(p);// 用右子树中最小节点的值替换当前节点的值p.key = s.key;p.value = s.value;// 把右子树中最小节点设为当前节点p = s;// 这种情况实际上并没有删除p节点,而是把p节点的值改了,实际删除的是p的后继节点}// 如果原来的当前节点(p)有2个子节点,则当前节点已经变成原来p的右子树中的最小节点了,也就是说其没有左子节点了// 到这一步,p肯定只有一个子节点了// 如果当前节点有子节点,则用子节点替换当前节点Entry<K,V> replacement = (p.left != null ? p.left : p.right);if (replacement != null) {// 把替换节点直接放到当前节点的位置上(相当于删除了p,并把替换节点移动过来了)replacement.parent = p.parent;if (p.parent == null)root = replacement;else if (p == p.parent.left)p.parent.left  = replacement;elsep.parent.right = replacement;// 将p的各项属性都设为空p.left = p.right = p.parent = null;// 如果p是黑节点,则需要再平衡if (p.color == BLACK)fixAfterDeletion(replacement);} else if (p.parent == null) {// 如果当前节点就是根节点,则直接将根节点设为空即可root = null;} else {// 如果当前节点没有子节点且其为黑节点,则把自己当作虚拟的替换节点进行再平衡if (p.color == BLACK)fixAfterDeletion(p);// 平衡完成后删除当前节点(与父节点断绝关系)if (p.parent != null) {if (p == p.parent.left)p.parent.left = null;else if (p == p.parent.right)p.parent.right = null;p.parent = null;}}
}

删除再平衡

经过上面的处理,真正删除的肯定是黑色节点才会进入到再平衡阶段。

因为删除的是黑色节点,导致整颗树不平衡了,所以这里我们假设把删除的黑色赋予当前节点,这样当前节点除了它自已的颜色还多了一个黑色,那么:

(1)如果当前节点是根节点,则直接涂黑即可,不需要再平衡;

(2)如果当前节点是红+黑节点,则直接涂黑即可,不需要平衡;

(3)如果当前节点是黑+黑节点,则我们只要通过旋转把这个多出来的黑色不断的向上传递到一个红色节点即可,这又可能会出现以下四种情况:

(假设当前节点为父节点的左子节点)

情况策略
1)x是黑+黑节点,x的兄弟是红节点(1)将兄弟节点设为黑色;
(2)将父节点设为红色;
(3)以父节点为支点进行左旋;
(4)重新设置x的兄弟节点,进入下一步;
2)x是黑+黑节点,x的兄弟是黑节点,且兄弟节点的两个子节点都是黑色(1)将兄弟节点设置为红色;
(2)将x的父节点作为新的当前节点,进入下一次循环;
3)x是黑+黑节点,x的兄弟是黑节点,且兄弟节点的右子节点为黑色,左子节点为红色(1)将兄弟节点的左子节点设为黑色;
(2)将兄弟节点设为红色;
(3)以兄弟节点为支点进行右旋;
(4)重新设置x的兄弟节点,进入下一步;
3)x是黑+黑节点,x的兄弟是黑节点,且兄弟节点的右子节点为红色,左子节点任意颜色(1)将兄弟节点的颜色设为父节点的颜色;
(2)将父节点设为黑色;
(3)将兄弟节点的右子节点设为黑色;
(4)以父节点为支点进行左旋;
(5)将root作为新的当前节点(退出循环);

(假设当前节点为父节点的右子节点,正好反过来)

情况策略
1)x是黑+黑节点,x的兄弟是红节点(1)将兄弟节点设为黑色;
(2)将父节点设为红色;
(3)以父节点为支点进行右旋;
(4)重新设置x的兄弟节点,进入下一步;
2)x是黑+黑节点,x的兄弟是黑节点,且兄弟节点的两个子节点都是黑色(1)将兄弟节点设置为红色;
(2)将x的父节点作为新的当前节点,进入下一次循环;
3)x是黑+黑节点,x的兄弟是黑节点,且兄弟节点的左子节点为黑色,右子节点为红色(1)将兄弟节点的右子节点设为黑色;
(2)将兄弟节点设为红色;
(3)以兄弟节点为支点进行左旋;
(4)重新设置x的兄弟节点,进入下一步;
3)x是黑+黑节点,x的兄弟是黑节点,且兄弟节点的左子节点为红色,右子节点任意颜色(1)将兄弟节点的颜色设为父节点的颜色;
(2)将父节点设为黑色;
(3)将兄弟节点的左子节点设为黑色;
(4)以父节点为支点进行右旋;
(5)将root作为新的当前节点(退出循环);

让我们来看看TreeMap中的实现:

/*** 删除再平衡*(1)每个节点或者是黑色,或者是红色。*(2)根节点是黑色。*(3)每个叶子节点(NIL)是黑色。(注意:这里叶子节点,是指为空(NIL或NULL)的叶子节点!)*(4)如果一个节点是红色的,则它的子节点必须是黑色的。*(5)从一个节点到该节点的子孙节点的所有路径上包含相同数目的黑节点。*/
private void fixAfterDeletion(Entry<K,V> x) {// 只有当前节点不是根节点且当前节点是黑色时才进入循环while (x != root && colorOf(x) == BLACK) {if (x == leftOf(parentOf(x))) {// 如果当前节点是其父节点的左子节点// sib是当前节点的兄弟节点Entry<K,V> sib = rightOf(parentOf(x));// 情况1)如果兄弟节点是红色if (colorOf(sib) == RED) {// (1)将兄弟节点设为黑色setColor(sib, BLACK);// (2)将父节点设为红色setColor(parentOf(x), RED);// (3)以父节点为支点进行左旋rotateLeft(parentOf(x));// (4)重新设置x的兄弟节点,进入下一步sib = rightOf(parentOf(x));}if (colorOf(leftOf(sib))  == BLACK &&colorOf(rightOf(sib)) == BLACK) {// 情况2)如果兄弟节点的两个子节点都是黑色// (1)将兄弟节点设置为红色setColor(sib, RED);// (2)将x的父节点作为新的当前节点,进入下一次循环x = parentOf(x);} else {if (colorOf(rightOf(sib)) == BLACK) {// 情况3)如果兄弟节点的右子节点为黑色// (1)将兄弟节点的左子节点设为黑色setColor(leftOf(sib), BLACK);// (2)将兄弟节点设为红色setColor(sib, RED);// (3)以兄弟节点为支点进行右旋rotateRight(sib);// (4)重新设置x的兄弟节点sib = rightOf(parentOf(x));}// 情况4)// (1)将兄弟节点的颜色设为父节点的颜色setColor(sib, colorOf(parentOf(x)));// (2)将父节点设为黑色setColor(parentOf(x), BLACK);// (3)将兄弟节点的右子节点设为黑色setColor(rightOf(sib), BLACK);// (4)以父节点为支点进行左旋rotateLeft(parentOf(x));// (5)将root作为新的当前节点(退出循环)x = root;}} else { // symmetric// 如果当前节点是其父节点的右子节点// sib是当前节点的兄弟节点Entry<K,V> sib = leftOf(parentOf(x));// 情况1)如果兄弟节点是红色if (colorOf(sib) == RED) {// (1)将兄弟节点设为黑色setColor(sib, BLACK);// (2)将父节点设为红色setColor(parentOf(x), RED);// (3)以父节点为支点进行右旋rotateRight(parentOf(x));// (4)重新设置x的兄弟节点sib = leftOf(parentOf(x));}if (colorOf(rightOf(sib)) == BLACK &&colorOf(leftOf(sib)) == BLACK) {// 情况2)如果兄弟节点的两个子节点都是黑色// (1)将兄弟节点设置为红色setColor(sib, RED);// (2)将x的父节点作为新的当前节点,进入下一次循环x = parentOf(x);} else {if (colorOf(leftOf(sib)) == BLACK) {// 情况3)如果兄弟节点的左子节点为黑色// (1)将兄弟节点的右子节点设为黑色setColor(rightOf(sib), BLACK);// (2)将兄弟节点设为红色setColor(sib, RED);// (3)以兄弟节点为支点进行左旋rotateLeft(sib);// (4)重新设置x的兄弟节点sib = leftOf(parentOf(x));}// 情况4)// (1)将兄弟节点的颜色设为父节点的颜色setColor(sib, colorOf(parentOf(x)));// (2)将父节点设为黑色setColor(parentOf(x), BLACK);// (3)将兄弟节点的左子节点设为黑色setColor(leftOf(sib), BLACK);// (4)以父节点为支点进行右旋rotateRight(parentOf(x));// (5)将root作为新的当前节点(退出循环)x = root;}}}// 退出条件为多出来的黑色向上传递到了根节点或者红节点// 则将x设为黑色即可满足红黑树规则setColor(x, BLACK);
}

删除元素举例

假设我们有下面这样一颗红黑树。

treemap-delete1

我们删除6号元素,则从右子树中找到了最小元素7,7又没有子节点了,所以把7作为当前节点进行再平衡。

我们看到7是黑节点,且其兄弟为黑节点,且其兄弟的两个子节点都是红色,满足情况4),平衡之后如下图所示。

treemap-delete2

我们再删除7号元素,则从右子树中找到了最小元素8,8有子节点且为黑色,所以8的子节点9是替代节点,以9为当前节点进行再平衡。

我们发现9是红节点,则直接把它涂成黑色即满足了红黑树的特性,不需要再过多的平衡了。

treemap-delete3

这次我们来个狠的,把根节点删除,从右子树中找到了最小的元素5,5没有子节点,所以把5作为当前节点进行再平衡。

我们看到5是黑节点,且其兄弟为红色,符合情况1),平衡之后如下图所示,然后进入情况2)。

treemap-delete4

对情况2)进行再平衡后如下图所示。

treemap-delete5

然后进入下一次循环,发现不符合循环条件了,直接把x涂为黑色即可,退出这个方法之后会把旧x删除掉(见deleteEntry()方法),最后的结果就是下面这样。

treemap-delete6


未完待续,下一节我们一起探讨红黑树遍历元素的操作。


原文链接:https://www.cnblogs.com/tong-yuan/p/10657620.html

这篇关于深读源码-java集合之TreeMap源码分析(三)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/362742

相关文章

Spring Boot中WebSocket常用使用方法详解

《SpringBoot中WebSocket常用使用方法详解》本文从WebSocket的基础概念出发,详细介绍了SpringBoot集成WebSocket的步骤,并重点讲解了常用的使用方法,包括简单消... 目录一、WebSocket基础概念1.1 什么是WebSocket1.2 WebSocket与HTTP

SpringBoot+Docker+Graylog 如何让错误自动报警

《SpringBoot+Docker+Graylog如何让错误自动报警》SpringBoot默认使用SLF4J与Logback,支持多日志级别和配置方式,可输出到控制台、文件及远程服务器,集成ELK... 目录01 Spring Boot 默认日志框架解析02 Spring Boot 日志级别详解03 Sp

java中反射Reflection的4个作用详解

《java中反射Reflection的4个作用详解》反射Reflection是Java等编程语言中的一个重要特性,它允许程序在运行时进行自我检查和对内部成员(如字段、方法、类等)的操作,本文将详细介绍... 目录作用1、在运行时判断任意一个对象所属的类作用2、在运行时构造任意一个类的对象作用3、在运行时判断

java如何解压zip压缩包

《java如何解压zip压缩包》:本文主要介绍java如何解压zip压缩包问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录Java解压zip压缩包实例代码结果如下总结java解压zip压缩包坐在旁边的小伙伴问我怎么用 java 将服务器上的压缩文件解压出来,

SpringBoot中SM2公钥加密、私钥解密的实现示例详解

《SpringBoot中SM2公钥加密、私钥解密的实现示例详解》本文介绍了如何在SpringBoot项目中实现SM2公钥加密和私钥解密的功能,通过使用Hutool库和BouncyCastle依赖,简化... 目录一、前言1、加密信息(示例)2、加密结果(示例)二、实现代码1、yml文件配置2、创建SM2工具

Spring WebFlux 与 WebClient 使用指南及最佳实践

《SpringWebFlux与WebClient使用指南及最佳实践》WebClient是SpringWebFlux模块提供的非阻塞、响应式HTTP客户端,基于ProjectReactor实现,... 目录Spring WebFlux 与 WebClient 使用指南1. WebClient 概述2. 核心依

Spring Boot @RestControllerAdvice全局异常处理最佳实践

《SpringBoot@RestControllerAdvice全局异常处理最佳实践》本文详解SpringBoot中通过@RestControllerAdvice实现全局异常处理,强调代码复用、统... 目录前言一、为什么要使用全局异常处理?二、核心注解解析1. @RestControllerAdvice2

Spring IoC 容器的使用详解(最新整理)

《SpringIoC容器的使用详解(最新整理)》文章介绍了Spring框架中的应用分层思想与IoC容器原理,通过分层解耦业务逻辑、数据访问等模块,IoC容器利用@Component注解管理Bean... 目录1. 应用分层2. IoC 的介绍3. IoC 容器的使用3.1. bean 的存储3.2. 方法注

Spring事务传播机制最佳实践

《Spring事务传播机制最佳实践》Spring的事务传播机制为我们提供了优雅的解决方案,本文将带您深入理解这一机制,掌握不同场景下的最佳实践,感兴趣的朋友一起看看吧... 目录1. 什么是事务传播行为2. Spring支持的七种事务传播行为2.1 REQUIRED(默认)2.2 SUPPORTS2

怎样通过分析GC日志来定位Java进程的内存问题

《怎样通过分析GC日志来定位Java进程的内存问题》:本文主要介绍怎样通过分析GC日志来定位Java进程的内存问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、GC 日志基础配置1. 启用详细 GC 日志2. 不同收集器的日志格式二、关键指标与分析维度1.