红黑树删除双子节点时必须用后继或前驱替换，因其为“叶子级”节点（至多一个子节点），可避免破坏黑高一致性和结构连通性；复制键值后删除该替代节点，并继承其颜色以保障修复正确性。
红黑树删除时为什么必须用后继或前驱节点替换？
因为直接删掉带两个子节点的内部节点会破坏树结构连通性，而红黑树又要求所有路径黑高一致——不能像普通二叉搜索树那样只靠调整指针。必须用一个「叶子级」或「单子节点」的替代者来承接原节点的键值，同时最小化颜色和结构扰动。std::map 和 std::set 的底层实现正是这么做的。
实际编码中，标准做法是：若待删节点 y 有两个子节点，就找它的中序后继（右子树最左节点）x，把 x->key 和 x->value 复制到 y，然后真正删除的是 x（它至多一个子节点）。这个复制过程不改变红黑性质，但要注意：x 的颜色必须继承给 y，否则后续修复会出错。
- 后继节点一定没有左孩子（否则它就不是“最左”），但可能有右孩子
- 绝不能直接交换两个节点的指针（会导致父指针、子指针批量错乱），只能拷贝内容 + 重链接
- 如果后继节点是红色，删除它不会触发修复；如果是黑色，才需要调用
deleteFixup
删除后继节点后，deleteFixup 为什么要分四种情况处理？
因为被删节点原本是黑色，它的缺失会让从根到部分叶子的路径黑高减 1。修复的目标是让所有路径黑高恢复一致，且不违反红黑树其他规则（如不能有连续红节点、根必须黑）。这本质上是在「把黑属性向下推」或「旋转+ recolor 来局部补偿」。
四种情况不是凭空设计的，完全由被删节点 x 的兄弟节点 w 及其子节点的颜色组合决定。关键在于判断能否通过 recolor 解决，还是必须旋转：
- 情况 1：
w是红色 → 必须先左旋转黑，把问题转化成 w 为黑的情形 - 情况 2：
w黑且两子都黑 → 把w染红，把x上提一层继续修（相当于把欠的黑高往上传） - 情况 3：
w黑、w->left红、w->right黑 → 先右旋w，再进入情况 4 - 情况 4：
w黑、w->right红 → 左旋x->parent，交换颜色，强制让w->right承担缺失的黑节点
注意：所有旋转后都要更新 root 指针（如果 x->parent 原是根，旋转后新根会变）；deleteFixup 循环退出条件是 x != root && x->color == BLACK。
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
transplant 函数在删除流程中承担什么不可替代的作用？
它负责安全地「剪断旧父子关系、建立新父子关系」，是删除逻辑中唯一处理指针重链接的函数。很多手写红黑树出 bug，就是在这里漏了对父节点某侧指针的更新，或者没处理 u->parent == nullptr 的边界。
典型实现里，transplant(tree, u, v) 表示「用 v 替换 u 在树中的位置」，包括：v->parent = u->parent，然后根据 u 是其父节点的左/右孩子，把 u->parent->left 或 ->right 指向 v。如果 u->parent == nullptr，还要更新 tree->root = v。
- 它不关心颜色、不关心子树结构，只做纯指针搬运 —— 这正是它可复用的原因
- 在删后继时会被调用两次：一次把后继
x替换为其右孩子（因为x没左孩子），另一次把原节点y替换为x（完成内容继承后的逻辑替换） - 如果
v == nullptr，就等效于「删除u」，此时要确保u->parent的对应侧指针置空，否则悬垂指针导致崩溃
为什么多数教材代码删节点后不立即释放内存？
不是忘了 delete，而是刻意延迟。红黑树删除修复过程会频繁访问被删节点的父、兄弟、侄子节点，如果在 transplant 后立刻 delete u，那么在 deleteFixup 中一旦用到 u->parent->right 就可能踩到已释放内存（尤其调试模式下容易触发 abort）。
安全做法是：把真正要释放的节点指针缓存下来，在整个 deleteFixup 完成后再 delete。例如：
Node* toDelete = x; // x 是后继，即将被物理删除 // ... 执行 transplant(x, x->right) 和 deleteFixup(x) delete toDelete; // 此时 x 已彻底脱离树结构，无任何指针引用它
另外，C++11 后更推荐用 std::unique_ptr 管理节点，靠 move 语义和 RAII 自动释放，但前提是所有旋转、transplant 都正确转移了智能指针所有权 —— 这比裸指针更容易出错，初学者慎用。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
