红黑树删除需先用后继（右子树最左节点）替换目标节点内容，再安全删除后继：先用其唯一子节点替代其位置并更新父指针，再释放内存；随后按四种case通过旋转与变色修复双黑问题，全程须严防空指针访问与根指针丢失。
删除节点时如何安全找到后继并避免悬空指针
红黑树删除中，真正被物理移除的往往不是目标节点，而是它的后继（右子树最小值）或前驱。直接删 target 会导致父指针、子指针关系断裂，尤其当 target 有两个非空子节点时——必须用后继替代其位置，再删后继。
关键点在于：后继一定至多有一个子节点（否则它就不是最小值），所以替换后只需处理单子节点场景。但容易踩的坑是：没更新后继的父节点对它的引用，或者错误地把 target->color 直接赋给后继，忽略了颜色继承规则。
- 先保存
target->parent、target->color、target->left、target->right - 调用
find_successor(target)，它返回的是右子树中left == nullptr的最左节点 - 用后继内容覆盖
target的key和value，但保留target->color；后继节点本身将被按「叶子或单子节点」方式删除 - 若后继是
target->right，则后继的parent就是target，需特别检查并修正target->right->parent指向
删除后继时为什么必须用 replace_node 而非直接 delete
后继节点虽至多一个子节点，但它在树中的位置仍需被其子节点“顶替”，否则父节点的 left 或 right 会指向已释放内存。C++ 中直接 delete successor 后不重连，后续遍历或插入必然崩溃。
正确做法是先用 successor->child（存在则为 successor->left 或 successor->right，否则为 nullptr）替换 successor 在父节点中的链接，再 delete successor。
立即学习“C++免费学习笔记（深入）”；
- 如果
successor->left != nullptr，则child = successor->left；否则child = successor->right - 用
transplant(tree, successor, child)统一处理父子链接：若successor == successor->parent->left，则设successor->parent->left = child，反之同理 - 仅当
child != nullptr时，才执行child->parent = successor->parent - 此时才能安全
delete successor；注意不要提前释放successor再访问其成员
fix_delete 平衡调整中四种 case 的触发条件与旋转方向
删除导致黑高失衡后，修复逻辑围绕「双黑节点」展开——即当前处理节点 x 是黑色且不是根，同时它在路径上少了一个黑节点。修复不是靠给 x 染红，而是通过旋转+ recolor 把「双黑」压力转移到父节点或兄弟子树。
四个 case 的区分完全取决于兄弟节点 w 的颜色和子节点黑/红组合，不是凭感觉判断。最容易错的是 case 1 和 case 2 混淆：case 1 是 w 为红色，必须先左旋让 w 变黑、父变红，再进入 case 2/3/4；而 case 2 是 w 黑且两子皆黑，此时只能把 w 染红，把问题上推到 x->parent。
- case 1：
w->color == RED→ 对x->parent左旋（若x是右孩子）或右旋（若x是左孩子），然后交换w和x->parent颜色 - case 2：
w->color == BLACK && w->left->color == BLACK && w->right->color == BLACK→ 将w->color = RED，令x = x->parent继续向上修复 - case 3：
w->color == BLACK && w->left->color == RED && w->right->color == BLACK→ 先对w右旋，交换w和w->left颜色，再进入 case 4 - case 4：
w->color == BLACK && w->right->color == RED→ 对x->parent左旋，交换w和x->parent颜色，并置w->right->color = BLACK
实际调试时最常卡住的三个内存与状态点
写完逻辑不崩溃，不代表平衡正确。很多实现能跑通小数据，但在连续删除后出现黑高不一致、颜色非法（红节点子节点为红）、或迭代器遍历时跳过节点——问题往往藏在边界状态里。
-
nullptr节点的颜色默认视为BLACK，但代码中不能对nullptr访问->color；所有颜色判断前必须加w != nullptr检查，尤其在 case 分支里 - 旋转函数
rotate_left必须同步更新子节点的parent指针，例如左旋后old_root->parent变成new_root，而old_root->right->parent也要设为old_root - 删除后若
x是根且被设为BLACK（如 case 4 结束），要额外确保root->color = BLACK；但更常见的是忘记在transplant后重置root指针——当被删节点是原根，且后继是它右子树最小值时，新根可能已变更
红黑树删除的复杂性不在某一段逻辑，而在于状态流转的连贯性：从定位后继、到指针重连、再到逐层修复，任一环节的父子/颜色/空指针假设出错，都会导致后续操作基于错误前提运行。调试时建议用固定输入序列配合打印每步的树结构和节点颜色，比单步跟更容易暴露隐性状态错位。
