因为新节点默认涂红,仅此处可能引发连续红节点冲突,且失衡仅沿父链向上传播,故必须从新节点向上修复;修复终止于当前节点为根或父节点为黑,最终根必涂黑。

红黑树插入后为什么必须从新节点开始向上修复?
因为只有新插入的 node 违反了红黑树性质(默认涂红),它可能引发「连续两个红节点」的冲突,而该冲突只可能沿父链向上传播——祖父、曾祖父等节点是否失衡,完全取决于当前子树的局部结构变化。从叶子向上修正是唯一能覆盖所有传播路径的方式。
常见错误是试图“从根开始重平衡”,这既无依据又低效;还有人漏掉对 parent == nullptr 的边界判断,导致空指针解引用。
- 新节点初始颜色必须为
RED(否则必然破坏黑高性质) - 修复循环的终止条件是:当前节点为根,或父节点为
BLACK - 若父节点为
nullptr,说明当前就是根,直接涂黑并跳出
什么时候该左旋?什么时候该右旋?关键看叔节点颜色和插入路径
旋转不是独立操作,它总嵌套在「叔节点为黑」的分支里,且旋转方向由当前节点与其父节点的相对位置决定:如果 node 是 parent 的右孩子,先左旋 parent,再把 node 指向 parent(即换角色);反之亦然。本质是把「之字形」拉直成「直线形」,为后续变色+单旋铺路。
容易踩的坑是混淆旋转对象:不是旋祖父,而是旋父节点;也有人在双红冲突时未先变色就强行旋转,导致颜色逻辑错乱。
立即学习“C++免费学习笔记(深入)”;
- 叔节点
uncle != nullptr && uncle->color == RED→ 只变色(父/叔涂黑,祖父涂红),node = grandparent继续向上 - 叔节点为
nullptr或为BLACK→ 进入旋转分支 - 若
node == parent->right && parent == grandparent->left,先左旋parent,再把node设为原parent
rotate_left 和 rotate_right 实现中哪些指针必须提前保存?
以 rotate_left 为例:若不提前保存 root->right(即新根),后续修改 root->right->left 时会丢失原左子树。旋转本质是三节点关系重连,任何一步覆盖都不可逆。
典型错误包括忘记更新 parent 指针(尤其当 root 原来是某子树的左/右孩子时),或漏掉对 root->right->left 的父指针修正。
- 必须提前存:
new_root = root->right、new_root->left(即原右子树的左孩子) -
root->right = new_root->left后,要补上if (new_root->left) new_root->left->parent = root - 若
root原有父节点,需更新其对应子指针:if (root->parent) { if (root == root->parent->left) root->parent->left = new_root; else root->parent->right = new_root; }
插入后根节点颜色必须强制设为 BLACK 吗?
是。这是红黑树定义的硬性要求(性质2:根为黑),但不必在每次插入后单独写一句 root->color = BLACK——只要修复循环正确退出(即 node 成为根),就在循环末尾统一涂黑。否则可能覆盖掉本该保持红色的中间节点。
更隐蔽的问题是:若使用哨兵节点(NIL),必须确保所有空指针访问都路由到该哨兵,且哨兵颜色恒为 BLACK;否则 uncle->color 可能读到随机值。
- 修复循环结束时,
node必定指向某个节点(可能是原新节点,也可能是向上跳转后的祖父等) - 仅当
node == root时才执行node->color = BLACK,不能无条件执行 - 哨兵节点的
parent、left、right都应指向自身或置空,避免野指针
valgrind 跑半天。


















