红黑树删除后平衡修正的核心难点在于空指针判断与颜色语义的耦合：必须将nullptr视为黑色但禁止对其取color，所有指针访问前需判空，着色与旋转须严格配对且顺序正确，递归易栈溢出应优先采用迭代实现。
红黑树删除后平衡修正不是靠“记住四种旋转+着色情形”就能写对的——真正卡住你的，是删除节点后父/兄弟/侄子节点的多重空指针判断、颜色状态组合爆炸，以及 nullptr 节点是否参与颜色比较的隐含约定。
为什么直接套“LL/LR/RL/RR + recolor”模板会崩溃
多数教程把删除平衡简化为“类比AVL的四种旋转”，但红黑树删除修复的核心逻辑不在旋转本身，而在如何把“双黑”问题沿路径向上转移或就地消解。一旦你把 nullptr 当作黑色节点（标准实现要求），就必须在每一步检查 node->left、node->right、sibling、sibling->left、sibling->right 是否为空——漏一个，segmentation fault 立刻出现。
常见错误现象：core dumped 发生在调用 sibling->color 或 sibling->left->color 时；或修复后树违反“根必黑”“红节点子必黑”等性质，但程序不崩溃，只在后续插入/查找时出错。
实操建议：
- 所有指针访问前加
if (x && x->left)类型防护，不要依赖“画图时假设非空” - 统一约定：
nullptr视为黑色节点，但nullptr->color非法——必须先判空再取色 - 用辅助函数封装安全取色：
auto nodeColor(Node* n) { return n ? n->color : BLACK; } - 删除后修复入口函数只接收被删节点的“替代位置”（可能是
nullptr），而非原节点
deleteFixup 的真实分支逻辑：从兄弟节点状态切入
标准教材把情形分为“兄弟红/黑，侄子黑/红”，但实际编码中，应以 sibling 颜色为第一层判断，再结合其子节点颜色和结构——因为只有兄弟是红，才必须先旋转变黑；其余情形都围绕“让兄弟变红，自己上移双黑”展开。
关键参数差异：
- 当
sibling->color == RED：必须先对父节点做一次旋转（方向取决于 sibling 是左/右孩子），再重设 sibling 指针——此时新 sibling 必为黑，进入后续情形 - 当
sibling->color == BLACK且两个侄子全黑：将 sibling 染红，把双黑上推至父节点，递归处理父节点 - 当
sibling->color == BLACK且远侄子黑、近侄子红：先对 sibling 做一次内旋（如 sibling 是右孩子，对其左孩子旋），更新 sibling 指针，进入“远侄子红”情形 - 当
sibling->color == BLACK且远侄子红：旋转父节点（方向同 sibling 侧），交换父与 sibling 颜色，并将远侄子染黑——双黑在此终结
性能影响：递归版本易栈溢出（极端左斜树删除根）；迭代版需显式维护当前节点与父节点引用，但避免了递归开销。推荐迭代，用 while (node != root && nodeColor(node) == BLACK) 控制循环。
着色操作必须和旋转严格配对，顺序不能反
旋转只是结构调整，着色才是恢复红黑性质的关键。例如“兄弟黑 + 远侄子红”情形中，若先旋转后忘改色，或颜色改错位置（比如把父节点染红却没把远侄子染黑），会导致连续红节点或黑高不一致。
典型错误代码片段：
rotateLeft(parent); parent->color = RED; // ❌ 错：这里 parent 已不是原 parent sibling->color = BLACK;
正确做法：
- 旋转前保存关键指针：
Node* oldParent = parent;，Node* oldSibling = sibling; - 旋转后，新 sibling 是原 parent 的新孩子，需根据旋转方向重新获取：
sibling = parent->right;（若刚做了 leftRotate） - 着色只作用于旋转后明确存在的节点，且优先处理底层（侄子），再中层（sibling），最后顶层（parent）
- 所有着色操作必须在旋转完成、指针关系稳定后执行
测试时最容易忽略的边界：删除叶子、删除红色单孩子、删除黑色双孩子
很多实现能过“删除中间黑节点”，但在以下场景失败：
- 删除唯一红色叶子：
root变nullptr，deleteFixup入参为nullptr，未处理直接访问parent - 删除红色节点带一个黑色孩子：替代节点是黑色孩子，它继承红色父的颜色？不——它保持黑色，但黑高不变，无需修复？错！它现在是双黑（因父被删，它承担了父的黑性），必须走修复流程
- 删除黑色节点且无孩子（即叶子）：
replacement是nullptr，此时nodeColor(nullptr) == BLACK成立，必须作为双黑起点进入deleteFixup
建议在 remove 函数末尾加断言：assert(nodeColor(replacement) == BLACK); —— 如果删的是红节点，replacement 应为黑（或 nullptr）；如果删的是黑节点，replacement 必须补黑（即视为双黑）。这个断言能早暴露逻辑断裂点。
复杂点始终在空指针与颜色语义的耦合上：你写的不是“树”，是一组带颜色标记的指针链；而 nullptr 是唯一没有内存但有颜色含义的实体。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
