左旋操作必须更新父节点指针,否则树结构断裂;本质是将node的右子节点right提升为新子树根,node变为其左孩子,并需同步修正所有相关父子指针及root指向。

左旋操作必须更新父节点指针,否则树结构断裂
左旋本质是把 node 的右子节点 right 提升为新子树根,node 变为其左孩子。关键在于:若 node 原本是某个节点的左/右孩子,旋转后必须让其父节点的对应指针指向 right,否则该子树会从整棵树中“消失”。
-
right的左子树(原right->left)要接给node作右子树 -
node的父节点指针必须重定向——这是最容易漏掉的一步,尤其当node是根节点时需同步更新树的root指针 - 旋转前后所有非空指针(
node->parent,right->parent,node->right,right->left)都需显式赋值,不能依赖构造函数或默认值
右旋时要注意 child 指针与 parent 指针的双向同步
右旋是左旋的镜像,但新手常在指针修正顺序上出错:比如先改 node->left->parent,再改 node->left,结果用到了已被覆盖的旧指针。正确做法是先保存关键引用,再批量更新。
- 务必先缓存
left = node->left和left_right = left->right,避免后续修改覆盖原始连接 -
left->right = node之后,立刻设置node->parent = left;否则node的父指针仍指向旧位置,破坏向上路径 - 若
node是根节点(node->parent == nullptr),右旋后要将left设为新根,并置left->parent = nullptr
红黑树旋转变体必须配合颜色翻转,否则违反性质 4
单纯复用 AVL 的旋转逻辑会导致红黑树染色失衡。例如左旋后,原 node 和 right 的颜色若不变,可能产生连续红节点(违反性质 4)。标准实现中,旋转变体本身不改颜色,但调用它的修复函数(如 insert_fixup)必须紧随其后做颜色调整。
- 旋转函数只负责拓扑结构调整,颜色操作应隔离在修复逻辑中
- 常见错误:在
rotate_left内部直接交换node->color和right->color—— 这仅适用于特定 case(如插入后双红),不是通用行为 - 真正需要颜色翻转的位置通常在旋转**之后**,且取决于祖父/叔父节点颜色,例如插入修复中“叔父为红”分支不旋转,而“叔父为黑”分支才旋转+ recolor
测试旋转是否生效,最直接的方式是检查 parent 指针链和子树高度
光看中序遍历结果一致不能说明旋转正确——指针关系可能已损坏,只是恰好没触发崩溃。必须验证父子双向链接。
- 写一个辅助函数
verify_parent_links(Node* root),递归检查每个非空子节点的parent是否反向指向自身 - 对旋转前后的子树分别调用
height(),左旋不应改变以right为根的子树高度,但会降低原node子树的高度(除非right->left高度接近node原高度) - 在单元测试里构造最小可复现 case:单个节点带右孩子再左旋,断言旋转后原节点是否成为新根的左孩子,且新根的
parent为nullptr
红黑树的旋转本身不复杂,但嵌入到完整插入/删除流程中时,指针更新顺序、颜色决策时机、以及与父/祖父/叔父节点状态的耦合,才是真正容易出问题的地方。别只盯着旋转函数内部,多花时间检查它被谁调用、在什么条件下触发、调用前后有哪些变量状态必须保持一致。
C++免费学习笔记(深入):立即使用
在学习笔记中,你将探索 C++ 的入门与实战技巧!











