红黑树删除修复比插入更难，因删除可能破坏黑高且子树结构不确定，需处理0/1/2子节点情形；真正删除的是至多一个子节点的节点，修复起点是其子节点x，仅当x为红色时可跳过修复，否则须按兄弟w及其子节点颜色分4种case处理。
红黑树删除节点后，为什么颜色修复比插入更难理解
因为删除可能破坏黑高（black-height）性质，且被删节点的子树结构不确定——它可能有0个、1个或2个子节点，而替换节点（后继或前驱）的颜色和位置会直接影响修复路径。插入最多影响向上一条路径；删除可能引发从替换点向上连续多层的旋转与 recolor。
关键判断点：delete_node 的实际替代者是 successor（右子树最左节点）还是它自己（当无右子树时）。真正执行物理删除的永远是至多一个子节点的节点，这点必须明确，否则后续修复逻辑全错。
- 若
delete_node有两个子节点：找到successor（必在右子树中），用其值覆盖delete_node，然后真正删除successor - 若
delete_node有0或1个子节点：直接用其唯一子节点（或nullptr）替换它在父节点中的指针 - 真正被删的节点记为
x，它被替换后留下的“空缺”由x->child（可能是nullptr）填补，这个x->child就是修复起点
替换后如何判断是否需要进入颜色修复循环
只有一种情况可跳过修复：x 是红色节点（即被删的是红节点，且它被一个子节点替代）。因为红节点不承担维持黑高的责任，删掉它+用子节点补位不会改变任何路径的黑节点数量。
其余所有情况都必须进入修复循环：x 是黑色，且 x->child 是 nullptr（叶子被删），或 x->child 是红色（此时它成为新叶子，但路径少了一个黑节点）。
- 修复入口条件是：
x != root && !x->color（color == false表示黑色） -
x在修复过程中始终代表“缺失一个黑节点”的那个位置，它可能指向nullptr，此时需用nil节点统一处理（避免空指针解引用） - 修复循环中，
x不再是原被删节点，而是它的替代子节点（或nil），并随旋转不断上移
四种删除修复 case 的核心区别在哪
case 区分完全取决于 x 的兄弟节点 w 的颜色，以及 w 的子节点颜色组合。本质是在“借黑”或“转黑”：要么让兄弟变黑、父变红（case 1），要么把兄弟的黑“推下去”再旋转（case 2–4）。
容易漏掉的关键细节：w->left 和 w->right 必须显式检查是否为 nullptr 或 nil，不能只靠 w->color 判断——黑节点的子节点可以是 nil（视为黑），但 nil 没有 color 字段，必须预先定义哨兵节点或统一判空。
- case 1：
w->color == RED→ 父节点变红、w变黑、左旋 → 把问题转成 case 2/3/4 - case 2：
w->color == BLACK && w->left->color == BLACK && w->right->color == BLACK→w变红，x上移到父节点，继续循环 - case 3：
w->color == BLACK && w->left->color == RED && w->right->color == BLACK→w->left变黑、w变红、右旋 → 转为 case 4 - case 4：
w->color == BLACK && w->right->color == RED→w->color = x->parent->color，父变黑，w->right变黑，左旋 → 修复结束
后继节点查找与双子节点删除的常见实现陷阱
后继节点（successor）一定没有左子节点，但它可能有右子节点——这个右子节点将直接接替 successor 的位置。很多人误以为 successor 总是叶子，导致在删除它时错误地置空其父的左指针，而忽略了右子树迁移。
另一个高频错误：在用 successor->value 覆盖 delete_node->value 后，忘记把 successor 的颜色也复制过去（如果实现中允许颜色随值移动），但标准做法是只复制值，颜色修复仍以 successor 为被删节点进行。
- 查找
successor：从delete_node->right开始，持续向左直到current->left == nullptr - 删除
successor前，先将其右子节点r = successor->right接到successor->parent的左链上（因successor是其父的左子） - 若
successor是delete_node->right（即右子树根），则delete_node->right = r，而非通过父指针操作 - 所有指针重连后，才调用
fixup_delete(r)（r即新x），不是fixup_delete(successor)
nil 节点的统一管理和 x 指针在旋转后的重新赋值——少一次 x = x->parent 或漏判 w == nil，就会触发段错误或无限循环。C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
