红黑树插入后颜色修正的触发条件是新节点父节点为红色；此时因违反“无连续红节点”性质，需通过变色或旋转修复，其中LR/RL型须先局部旋转转为LL/RR型再处理。
红黑树插入后颜色修正的触发条件是什么
只有当新插入节点的父节点是红色时，才需要启动颜色修正流程。这是因为红黑树的性质要求“不能有两个连续的红色节点”，而插入默认为红色，所以冲突只在 parent 为红色时发生。如果 parent 是黑色，直接插入即可，无需任何调整。
实际编码中要先判断 parent 是否为空（根节点）或是否为红色，再进入修正逻辑。容易忽略的是：必须同时检查 grandparent 是否存在——若 parent 是根，则 grandparent 为 nullptr，此时只需把根涂黑，不涉及旋转。
-
uncle存在且为红色 → 执行变色：parent和uncle涂黑，grandparent涂红，然后以grandparent为当前节点向上递归处理 -
uncle为黑色或不存在 → 进入旋转分支，此时需根据node相对于parent、parent相对于grandparent的位置组合（LL/LR/RR/RL）决定旋转类型
LR/RL型失衡为什么必须先局部旋转再变色
LR（左-右）和 RL（右-左）属于“折线型”失衡，直接对 grandparent 单旋无法恢复二叉搜索树性质。比如 node 是 parent 的右子，parent 又是 grandparent 的左子，此时 node->key 介于 parent->key 和 grandparent->key 之间，但位置在 grandparent 的左子树最右下角——单旋会破坏 BST 中序顺序。
正确做法是：先对 parent 做一次单旋（LR 情况下对 parent 左旋），让结构转成 LL 型；再对 grandparent 右旋；最后统一变色（node 涂黑，grandparent 和 parent 涂红）。这个两步操作确保了 BST 性质和红黑路径长度一致。
立即学习“C++免费学习笔记（深入）”；
- LL/RR 型：直接对
grandparent右旋 / 左旋，再交换parent和grandparent颜色 - LR/RL 型：先对
parent单旋（方向与外侧相反），再对grandparent反向单旋，最后设node为黑、parent和grandparent为红 - 所有旋转后必须更新父指针，尤其注意旋转后原
grandparent的父节点要指向新子树根
rotate_left 和 rotate_right 实现中最易出错的指针更新
旋转本身不难，但漏掉某条父子链接就会导致树断裂或循环引用。以 rotate_left 为例：设 x 为旋转中心，y = x->right，常见错误是只改了 x->right = y->left 和 y->left = x，却忘了 y->parent = x->parent 和 x->parent = y，更关键的是：若 x 原来是 root 或某个子树的左/右孩子，必须把 y 接回原来 x 的位置。
推荐写法是在旋转函数开头就记录 old_parent = x->parent，旋转结束后判断：if (!old_parent) root = y; 否则若 x == old_parent->left，则 old_parent->left = y，否则 old_parent->right = y。这个分支判断不能省略，否则非根节点旋转后整棵子树会脱离主树。
-
rotate_left(x)中，y->parent必须设为x->parent，不是x -
y->left的旧父指针（即x）必须重置其parent字段，否则x->parent仍指向原父，造成逻辑错乱 - 旋转后
x成为y的左子，因此x->parent = y必须执行，且不能放在更新y->parent之前（避免覆盖）
删除后修复比插入更复杂的关键原因
插入最多引入一个红色节点，最多破坏“无连续红节点”这一条；而删除可能删掉一个黑节点，直接导致某条根到叶的路径上黑高减 1，破坏“所有路径黑节点数相等”的核心性质。这种不平衡会沿树向上传播，修复逻辑必须处理四种兄弟情形（brother 是红/黑，且其子节点颜色组合不同），每种都需要特定的旋转+变色组合。
实践中最常卡住的是“兄弟为黑，且两个侄子都黑”的情况：此时要把兄弟涂红，再以父节点为当前节点向上递归修复——但若父节点原为红，涂红后变成双红，就得立刻按插入规则处理；若父为黑，继续上推。这意味着删除修复函数里可能嵌套调用插入风格的颜色修正，边界条件极多。
真正棘手的不是代码量，而是测试覆盖：仅靠手动构造几个 case 很难暴露指针未清空、父指针未更新、或黑高计算错误的问题。建议在每个修复分支末尾加断言：assert(check_black_height(root) == true)，并配合随机插入+删除+验证的 fuzz 测试。
