红黑树删除需维持五性质，核心是处理双黑缺陷：先定位删除节点，若双子则用后继覆盖；删黑节点后若替代为黑或NIL，则向上回溯修复，通过旋转、染色恢复黑高平衡，并统一用NIL哨兵简化空指针处理。
一、红黑树节点删除的基本流程与约束条件
当从红黑树中删除一个节点时，需维持其五条核心性质：节点颜色非红即黑；根节点为黑；所有叶节点（NIL）为黑；红节点子节点必为黑；任意节点到其每个叶子路径上黑节点数相同。删除操作可能破坏这些性质，尤其在删除黑节点后导致某条路径黑高减少。以下是实现该逻辑的关键步骤：
1、定位待删除节点，若其有两个非空子节点，则用其后继节点（右子树最左节点）覆盖其值，并转为删除后继节点。
2、若待删除节点至多一个非空子节点，则直接用该子节点替代其位置，并记录被删节点是否为黑。
3、若被删节点为黑且其替代节点为黑或为空，则触发修复过程，以恢复黑高平衡。
立即学习“C++免费学习笔记（深入）”；
二、后继节点的查找与数据迁移实现
后继节点是中序遍历中紧邻当前节点的下一个节点，对红黑树而言即右子树中的最小键节点。该节点至多有一个右子节点，因此可安全替换而不引发双子结构问题。查找过程不改变树结构，仅用于值拷贝与指针重定向。
1、从待删节点的右子节点出发，持续向左子节点移动，直至左子指针为空。
2、将后继节点的键值与卫星数据复制到待删节点的内存位置。
3、将后继节点的右子节点挂接到其父节点的左子位置，并更新父子指针关系。
4、将后继节点的原右子节点的父指针设为其新的父节点，若右子节点非空。
三、双黑缺陷的识别与向上回溯修复机制
当被删节点为黑且其替代节点亦为黑（或为NIL），则替代节点所在子树黑高减1，形成“双黑”状态。此时需将该缺陷沿父链向上传播，通过颜色翻转、旋转与重新着色组合消除。修复仅作用于从缺陷节点到根的路径，不影响其余子树。
1、将当前缺陷节点记为x，其父节点为p，兄弟节点为s。
2、若x为左子节点且s为红色，则对p执行左旋，交换p与s颜色，再重新判定s（此时s必为黑）。
3、若x为左子节点、s为黑且s的两个子节点均为黑，则将s染红，x上移至p，继续向上修复。
4、若x为左子节点、s为黑、s的左子为红而右子为黑，则对s右旋并交换其与左子颜色，再进入下一步处理。
5、若x为左子节点、s为黑、s的右子为红，则对p左旋，交换p与s颜色，并将s的右子染黑。
四、关键指针操作与NIL哨兵节点的统一处理
红黑树实现中通常采用静态NIL节点作为所有空指针的统一终点，避免空指针解引用与内存分配开销。所有叶子节点均指向该全局NIL实例，其颜色强制为黑色。所有涉及子节点访问的操作必须先判空，再通过指针比较确认是否为NIL。
1、定义全局常量指针NIL，初始化其color = BLACK，left = right = parent = NIL。
2、在构造新节点时，显式设置left = right = NIL，而非nullptr。
3、在旋转函数中，若某子节点为NIL，则其父指针仍需更新为旋转后的新父节点，确保NIL的parent字段始终有效。
4、在修复循环中，每次x上移前检查x == root，若成立则立即将x染黑并终止修复，这是唯一允许根节点颜色变更的出口点。
五、删除后颜色重置与旋转方向匹配验证
旋转操作本身不改变节点颜色，但会改变父子层级关系，进而影响后续着色决策。左旋与右旋必须严格对应当前缺陷节点在父节点中的左右方位，否则将导致路径黑高误判。所有旋转后必须同步更新参与节点的父指针，尤其是NIL节点的父指针。
1、左旋操作前确认当前节点为父节点的右子，且右子非NIL。
2、右旋操作前确认当前节点为父节点的左子，且左子非NIL。
3、旋转后立即执行new_root->parent = old_parent，若old_parent非NIL，则根据方位设置其对应子指针。
4、若旋转涉及NIL节点，例如old_parent->right == NIL，则旋转后需确保NIL->parent被正确赋值为new_root，否则后续向上修复将因父指针错误而陷入无限循环。
